Scribd
Upload
5 views5 pages

Logic Homeworkw

The document contains a series of logic homework problems and their solutions, focusing on various logical deductions and proofs. Each problem includes premises and steps leading to conclusions using logical rules such as Modus Ponens, Modus Tollens, and hypothetical syllogism. The solutions demonstrate the application of logical reasoning to derive results from given statements.

Uploaded by

jackgangem
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
5 views5 pages

Logic Homeworkw

The document contains a series of logic homework problems and their solutions, focusing on various logical deductions and proofs. Each problem includes premises and steps leading to conclusions using logical rules such as Modus Ponens, Modus Tollens, and hypothetical syllogism. The solutions demonstrate the application of logical reasoning to derive results from given statements.

Uploaded by

jackgangem
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 5

Jack Gangemi

Logic
Homework

7.) ~( ~Q -> ~P)


1. P -> Q
2. (P->R) -> ~S
3. Q -> R
4. (~Q -> ~P) -> S
5. P -> R HS 1,3
6. ~S MP 5,2
7. ~( ~Q -> ~P) MT 4,6

12.) ~Q
1. ~ (P ^ S)
2. ~R
3. ~P -> (P v ( Q -> R))
4. P -> (P^S)
5. ~P MT 1,4
6. (P v ( Q -> R)) MP 3,5
7. (Q -> R) DS 5,6
8. ~Q MT 2,7

19.) ~R
1. R -> S
2. (Q -> S) -> ~P
3. ~P -> (( Q -> R) -> (L v ~S))
4. Q -> R
5. ~L
6. Q -> S HS 1,4
7. ~P MP 2,6
8. ( Q -> R) -> (L v ~S) MP 3,7
9. L v ~S MP 4,8
10. ~S DS 5,9
11. ~R MT 1,10

20.) ~P
1. (P -> S) -> ~Q
2. P ->R
3. (P -> R) -> (R -> Q)
4. (P -> Q) -> (R -> S)
5. R -> Q MP 2,3
6. P -> Q HS 2,5
7. R -> S MP 4,6
8. P -> S HS 2,7
9. ~Q MP 1,8
10. ~P MT 6,9

10.) L
1. ~ (Q ^ R)
2. P v S
3. (P -> (Q ^ R)) ^ (S -> L)
4. S
5. S -> L SIMP 3
6. L MP 4,5

19.) ( ~L ^ M ) ^ ~L
1. ( R v S ) v ( ~L ^ M )
2. ( P ^ Q ) -> ~ ( R v S )
3. ~L
4. ( ~L v M ) -> (P ^ Q)
5. P^Q MP 3,4
6. ~ (R v S) MP 2,5
7. (~L ^ M) DS 1,6
8. ( ~L ^ M ) ^ ~L Conj 3,7

26.) M
1. R -> ~S
2. ( ~Q ^ ~S ) -> L
3. P
4. P -> ~Q
5. ( R ^ L ) -> M
6. R
7. ~ S MP 1,6
8. ~Q MP 3,4
9. ~S ^ ~Q Conj 7,8
10. L MP 2,9
11. R ^ L Conj 6,10
12. M MP 5,11

28.) L -> S
1.( Q ^ R ) v ~P
2. R -> S
3. ( ~P ^ ~( Q ^ R )) -> ( L -> ~Q)
4. ~ (Q ^ R) -> ( ~Q -> R)
5. ~(Q ^ R) ^ ~M
6. ~(Q ^ R) Simp 5
7. ~P DS 1,6
8. ( ~P ^ ~( Q ^ R )) Conj 6,7
9. L -> ~Q MP 3,8
10. ~Q -> R 4,6
11. L -> R MP 9,10
12. L -> S HS 2,11

14.) 1. (( S v R ) -> Q) v ~(( ~P v L) -> K )


2. ~(( ~P v L) -> K ) v (( S v R ) -> Q) Comm 1

20.) ~M v L
1. ~R
2. (Q -> R) ^ ( S -> L )
3. Q
4. R v L CD 2
5. L DS 1,4
6. ~M v L Add 5

28.) Q v M
1. P -> Q
2. R v P
3. S -> ( L v ~R )
4. S ^ ~L
5. S Simp 4
6. ~L Simp 4
7. L v ~R MP 3,5
8. ~R DS 6,7
9. P DS 2,8
10. Q MP 1,9
11. Q v M Add 10

32.) N ^ S
1. ( P v Q ) -> ~R
2. P ^ ( S v R )
3. ( N ^ M ) ^ L
4. N ^ M Simp 3
5. N Simp 4
6. P Simp 2
7. P v Q Add 6
8. ~ R MP 1,7
9. S v R Simp 2
10. S DS 8,9
11. N ^ S Conj 5,10

You might also like