Truth-Functional Logic sample

proof exercises
Chapter 15, Exercise C
Give a proof for each of the following arguments:

1. J → ¬J ∴ ¬J

1 J → ¬J

2 J
3 ¬J →E 1, 2
4 ⊥ ¬E 2, 3
5 ¬J ¬I 2–4

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

CHECK PROOF START OVER

2. Q → (Q ∧ ¬Q ) ∴ ¬Q

1 Q → (Q ∧ ¬Q )

2 Q
3 Q ∧ ¬Q →E 1, 2
4 ¬Q ∧E 3
5 ⊥ ¬E 2, 4
6 ¬Q ¬I 2–5

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

CHECK PROOF START OVER

3. A → (B → C ) ∴ (A ∧ B ) → C
1 A → (B → C )
2 A ∧B
3 A ∧E 2
4 B ∧E 2
5 B →C →E 1, 3
6 C →E 4, 5
7 (A ∧ B ) → C →I 2–6

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

CHECK PROOF START OVER

4. K ∧ L ∴ K ↔ L

1 K ∧L

2 K
3 L ∧E 1

4 L
5 K ∧E 1
6 K ↔L ↔I 2–3, 4–5

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

CHECK PROOF START OVER

5. (C ∧ D ) ∨ E ∴ E ∨ D

1 (C ∧ D ) ∨ E

2 C ∧D
3 D ∧E 2
4 E ∨D ∨I 3

5 E
6 E ∨D ∨I 5
7 E ∨D ∨E 1, 2–4, 5–6

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.
CHECK PROOF START OVER

6. A ↔ B , B ↔ C ∴ A ↔ C
1 A ↔B
2 B ↔C

3 A
4 B ↔E 1, 3
5 C ↔E 2, 4

6 C
7 B ↔E 2, 6
8 A ↔E 1, 7
9 A ↔C ↔I 3–5, 6–8

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

CHECK PROOF START OVER

7. ¬F → G , F → H ∴ G ∨ H

1 ¬F → G
2 F →H

3 ¬(G ∨ H )
4 ¬G ∧ ¬H DeM 3
5 ¬G ∧E 4
6 ¬H ∧E 4
7 ¬¬F MT 1, 5
8 ¬F MT 2, 6
9 ⊥ ¬E 7, 8
10 ¬¬(G ∨ H ) ¬I 3–9
11 G ∨H DNE 10

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

 CHECK PROOF START OVER

8. (Z ∧ K ) ∨ (K ∧ M ), K → D ∴ D
1 (Z ∧ K ) ∨ (K ∧ M )
2 K →D

3 Z ∧K
4 K ∧E 3

5 K ∧M
6 K ∧E 5
7 K ∨E 1, 3–4, 5–6
8 D →E 2, 7

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

CHECK PROOF START OVER

9. P ∧ (Q ∨ R ), P → ¬R ∴ Q ∨ E

1 P ∧ (Q ∨ R )
2 P → ¬R
3 P ∧E 1
4 Q ∨R ∧E 1

5 Q
6 Q ∨E ∨I 5

7 R
8 ¬R →E 2, 3
9 ⊥ ¬E 7, 8
10 Q ∨E X9
11 Q ∨E ∨E 4, 5–6, 7–10

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

CHECK PROOF START OVER
10. S ↔ T ∴ S ↔ (T ∨ S )

1 S ↔T

2 S
3 T ↔E 1, 2
4 T ∨S ∨I 3

5 T ∨S

6 T
7 S ↔E 1, 6

8 S
9 S R8
10 S ∨E 5, 6–7, 8–9
11 S ↔ (T ∨ S ) ↔I 2–4, 5–10

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

CHECK PROOF START OVER

11. ¬(P → Q ) ∴ ¬Q
1 ¬(P → Q )

2 Q

3 P
4 Q R2
5 P →Q →I 3–4
6 ⊥ ¬E 1, 5
7 ¬Q ¬I 2–6

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

CHECK PROOF START OVER

12. ¬(P → Q ) ∴ P
1 ¬(P → Q )

2 ¬P
3 P
4 ⊥ ¬E 2, 3
5 Q X4
6 P →Q →I 3–5
7 ⊥ ¬E 1, 6
8 P IP 2–7

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

CHECK PROOF START OVER

Chapter 17, Exercise B

Prove proofs to show each of the following:

1. C → (E ∧ G ), ¬C → G ⊢ G

1 C → (E ∧ G )
2 ¬C → G

3 C
4 E ∧G →E 1, 3
5 G ∧E 4

6 ¬C
7 G →E 2, 6
8 G LEM 3–5, 6–7

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

CHECK PROOF START OVER

2. M ∧ (¬N → ¬M ) ⊢ (N ∧ M ) ∨ ¬M

1 M ∧ (¬N → ¬M )
2 M ∧E 1
3 ¬N → ¬M ∧E 1

4 ¬N
5 ¬M →E 3, 4
6 ⊥ ¬E 2, 5
7 N IP 4–6
8 N ∧M ∧I 2, 7
9 (N ∧ M ) ∨ ¬M ∨I 8

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

CHECK PROOF START OVER

3. (Z ∧ K ) ↔ (Y ∧ M ), D ∧ (D → M ) ⊢ Y → Z

1 (Z ∧ K ) ↔ (Y ∧ M )
2 D ∧ (D → M )
3 D ∧E 2
4 D →M ∧E 2
5 M →E 3, 4

6 Y
7 Y ∧M ∧I 5, 6
8 Z ∧K ↔E 1, 7
9 Z ∧E 8
10 Y →Z →I 6–9

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

CHECK PROOF START OVER

4. (W ∨ X ) ∨ (Y ∨ Z ), X → Y , ¬Z ⊢ W ∨ Y

1 (W ∨ X ) ∨ (Y ∨ Z )
2 X →Y
3 ¬Z

4 W ∨X

5 W
6 W ∨Y ∨I 5

7 X
 8 Y →E 2, 7
9 W ∨Y ∨I 8
10 W ∨Y ∨E 4, 5–6, 7–9

11 Y ∨Z

12 Y
13 W ∨Y ∨I 12

14 Z
15 ⊥ ¬E 3, 14
16 W ∨Y X 15
17 W ∨Y ∨E 11, 12–13, 14–16
18 W ∨Y ∨E 1, 4–10, 11–17

NEW LINE NEW SUBPROOF

☺ Congratulations! This proof is correct.

CHECK PROOF START OVER

Return to main demo page.