Seminar 9

Semnificatie, existenta, adevar. Marian Călborean –13.12.2021 – mc@filos.ro

Exercitii logica propozitionala

(Forbes95) A & (B V C) ⊢ (A & B) V (A & C)

1 1 A & (B V C) Pr
1 2 A E& 1
1 3 BVC E& 1
4 4 B As
1,4 5 A& B I & 2,4
1,4 6 (A & B) V (A & C) IV5
7 7 C As
1,7 8 A& C I& 2,7
1,7 9 (A & B) V (A & C) IV8
1 10 (A & B) V (A & C) EV 3,4,6,7,9
//am terminat

2. ⊢ A V ~A

1 1 ~(A V ~A) As
2 2 ~A As
2 3 A V ~A IV 2
1,2 4 λ E~ 1,3
1 5 ~~A I~ 2,4
1 6 A DN 5
1 7 A V ~A IV 6
1 8 λ E~ 1,7
9 ~~(A V ~A) I~ 1,8
10 A V ~A DN 9

1
3. (Forbes101.4) (A V B) <-> A ⊢ B -> A

1 1 (A V B) <-> A Pr
2 2 B As
1 3 ((A V B) -> A) & (A -> (A V B)) E<-> 1
1 4 (A V B) -> A E& 3
2 5 AV B IV 2
1,2 6 A E-> 4,5
1 7 B -> A I-> 2,6

4. (Forbes10.10) (A V B) V C, B <-> C ⊢ C V A

1 1 (A V B) V C Pr
2 2 B <-> C Pr
2 3 (B -> C) & (C -> B) E<-> 2
2 4 B -> C E& 3
2 5 C -> B E& 3
6 6 C As
6 7 C VA IV 6
8 8 AV B As
9 9 A As
9 10 C VA IV 9
11 11 B As
2,11 12 C E-> 4,11
2,11 13 C VA IV 12
8,2 14 C VA EV
8,9,10,11,13
1,2 CVA EV
1,8,14,6,7

5. ~(A->B) ⊢ A & ~B

1 1 ~(A->B) Pr
2 2 A As
3 3 B As

2
4 4 A -> B I-> 2,3
1,3 5 λ E~ 1,4
1 6 ~B I~ 3,5
7 7 ~A As
7 8 A -> B PIM 7
1,7 9 λ E~ 1,7
1 10 ~~A I~ 7,9
1 11 A DN 10
1 12 A & ~B I& 6,11

6. (Forbes109.4) ~B -> A ⊢ (B -> A) -> A

1 1 ~B -> A Pr
2 2 B -> A As
3 B V ~B LTE
4 4 B As
2,4 5 A E-> 2,4
6 6 ~B As
1,6 7 A E-> 1,6
1,2 8 A EV
3,4,5,6,7
1 9 (B->A) ->A I-> 2,8

7. (Forbes90.18) (A & ~B) -> ~A ⊢ A -> B

1 1 (A & ~B) -> ~A Pr

2 2 A As
3 3 ~B As
2,3 4 A & ~B I& 2,3
1,2,3 5 ~A E-> 1,4
1,2,3 6 λ E~ 2,5
1,2 7 ~~B I~ 3,6
1,2 8 B DN 7
1 9 A -> B I-> 2,8

3
8. (Forbes90.8) ⊢ (A & ~A) -> B

1 1 A & ~A As
1 2 A E& 1
1 3 ~A E& 1
1 4 λ E~ 2,3
5 5 ~B As
1 6 ~~B I~ 4,5
1 7 B DN 7
8 (A & ~A) -> B I-> 1,7

9. (Forbes90.1) A-> ~B ⊢ B -> ~A

1 1 A->~B Pr
2 2 B As
3 3 A As
1,3 4 ~B E-> 1,3
1,2,3 5 λ E~ 2,4
1,2 6 ~A I~ 3,5
1 7 B -> ~A I-> 2,6