0
   

logic homework help

 
 
Reply Wed 8 Dec, 2010 06:17 pm
I have to construct deductions using group I and group II rules can anyone help me

1.)

1. P v Q
2. R & ~Q /.Razz


2.)

1. T v P
2. P --> S /.:~T-->S


3.)

1. Q v ~S
2. Q --> P /.:S --> P



4.)

1. ~S v ~R
2. P --> (S & R) /.:~P


5.)

1. P v (S & R)
2. T --> (~P & ~R) /.:~T

  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 1,394 • Replies: 3
No top replies

 
bartolmarin
 
  1  
Reply Thu 23 Dec, 2010 04:54 pm
@irock323,
2.)
* 1. T v P a.
* 2. P--> S a.
** 3. ~T a. (for i -->)

(first lemma)
*** 4. T a. (for elimination v)
**** 5. ~S a.
**** 6. T & ~T i &/3,4
*** 7. ~~S i ~/ 5-6
*** 8. S e ~/7

(second lemma)
*** 9. P a. (for elimination v)
*** 10. S e -->/2,9

**11. S e v/1, 4-8, 9-10
*12. ~T --> S i -->/3-11
0 Replies
 
bartolmarin
 
  1  
Reply Thu 23 Dec, 2010 05:33 pm
@irock323,
5.)

*1. P v (S & R).........................a.
*2. T --> (~P & ~R) ................a.
**3. T.....................................a. (for reductio)
**4. (~P & ~R).......................2,3/e -->

(first lemma)
***5. P..................................a.
***6. ~P...............................4/e &
***7. contradiction...............5-6/ i contradiction

(second lemma)
***8. S & R............................a.
***9. R..................................8/e &
***10. ~R..............................4/e &
***11. contradiction..............9-10/ i contradiction

**12. contradiction ................1, 5-7 (first lemma), 8-11 (second lemma)/ e v
*13. ~T...................................3-11/ i ~
0 Replies
 
kennethamy
 
  1  
Reply Fri 24 Dec, 2010 06:38 pm
@irock323,
irock323 wrote:

I have to construct deductions using group I and group II rules can anyone help me

1.)

1. P v Q
2. R & ~Q /.Razz


2.)

1. T v P
2. P --> S /.:~T-->S


3.)

1. Q v ~S
2. Q --> P /.:S --> P



4.)

1. ~S v ~R
2. P --> (S & R) /.:~P


5.)

1. P v (S & R)
2. T --> (~P & ~R) /.:~T




1. T v P
2. P --> S /.:~T-->S

3. ~T>P (From 1. material imp.)
4. ~T>S (From 3 and 2. hypothetical syllogism).
0 Replies
 
 

Related Topics

How can we be sure? - Discussion by Raishu-tensho
Proof of nonexistence of free will - Discussion by litewave
morals and ethics, how are they different? - Question by existential potential
Destroy My Belief System, Please! - Discussion by Thomas
Star Wars in Philosophy. - Discussion by Logicus
Existence of Everything. - Discussion by Logicus
Is it better to be feared or loved? - Discussion by Black King
 
  1. Forums
  2. » logic homework help
Copyright © 2020 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.04 seconds on 10/01/2020 at 07:23:30