Deduzione

E1

Trovare una prova di ((A ∨ B) ⇒ C) ≡ ((A ⇒ C) ∧ (B ⇒ C)).

 
(A∨B) ⇒ C
       
A
A ∨ B
C
A ⇒ C
       
 
(A∨B) ⇒ C
       
B
A ∨ B
C
B ⇒ C
(A ⇒ C) ∧ (B ⇒ C)
       
 
 
 
A ∨ B
       
(A ⇒ C) ∧ (B ⇒ C)
A ⇒ C
       
 
A
C
       
(A ⇒ C) ∧ (B ⇒ C)
B ⇒ C
       
 
B
C
       
C
(A ∨ B) ⇒ C
((A ∨ B) ⇒ C) ≡ ((A ⇒ C) ∧ (B ⇒ C))

E2

Trovare una prova di (A ⇒ B) ⇒ (B ⇒ A).

Non esiste tale prova: la formula non è una tautologia.

E3

Trovare una prova di A ⇒ ¬¬A.

A         ¬ A
False
¬¬A
A ⇒ ¬¬A

E4*

Trovare una prova di A ⇒ (A ∧A).

A         A
A ∧ A
A ⇒ (A ∧ A)

E5*

Trovare una prova di ((A ∨ B) ∧ (A ⇒ B)) ⇒ B.

 
A∨B
       
A⇒B         A
B
       
 
B
B
((A ∨ B) ∧ (A ⇒ B)) ⇒ B

*E6

Trovare una prova di (A ∨ B) ⇒ ((A ⇒ C) ⇒ ((B ⇒ C) ⇒ C)).

 
A∨B
       
A⇒C         A
C
       
B⇒C         B
C
C
(B ⇒ C) ⇒ C
(A ⇒ C) ⇒ ((B ⇒ C) ⇒ C)
(A ∨ B) ⇒ ((A ⇒ C) ⇒ ((B ⇒ C) ⇒ C))

E7*

Trovare una prova di ((A ∧ B) ∧ C) ⇒ (A ∧ (B ∧ C)).

(A ∧ B) ∧ C
A ∧ B
A
       
(A ∧ B) ∧ C
A ∧ B
B
       
(A ∧ B) ∧ C
C
B ∧ C
A ∧ (B ∧ C)
((A ∧ B) ∧ C) ⇒ (A ∧ (B ∧ C))

*E8

Trovare una prova di ((A ⇒ C) ∧ (B ⇒ C)) ⇒ ((A ∨ B) ⇒ C).

 
A∨B
       
(A ⇒ C) ∧ (B ⇒ C)
A⇒C
        A
C
       
(A ⇒ C) ∧ (B ⇒ C)
B⇒C
        B
C
C
(A ∨ B) ⇒ C
((A ⇒ C) ∧ (B ⇒ C)) ⇒ ((A ∨ B) ⇒ C)

E9*

Trovare una prova di ((A ∨ B) ∧ (A ∨ ¬B)) ⇒ A.

 
 
 
(A ∨ B) ∧ (A ∨ ¬B)
A ∨ B
       
 
 
 
 
A
       
 
(A ∨ B) ∧ (A ∨ ¬B)
A ∨ ¬B
       
 
 
A
       
¬B         B
False
A
A
A
((A ∨ B) ∧ (A ∨ ¬B)) ⇒ A

E10*

Trovare una prova di ((A ∨ ¬B) ∧ B) ⇒ A.

 
(A ∨ ¬B) ∧ B
A ∨ ¬B
       
 
 
A
       
¬B         B
False
A
A
((A ∨ ¬B) ∧ B) ⇒ A

E11*

Trovare una prova di ((A ⇒ B) ∧ (B ⇒ ¬A)) ⇒ ¬A.

 
 
(A ⇒ B) ∧ (B ⇒ ¬A)
B ⇒ ¬ A
       
 
(A ⇒ B) ∧ (B ⇒ ¬A)
A ⇒ B
       
 
 
A
B
¬A
       
 
 
 
 
A
False
¬A
((A ⇒ B) ∧ (B ⇒ ¬A)) ⇒ ¬A

E12*

Trovare una prova di ((A ⇒ ¬B) ∧ B) ⇒ ¬A.

 
 
(A ⇒ ¬B) ∧ B
A ⇒ ¬ B
       
 
 
 
A
¬B
       
 
 
 
 
B
False
¬A
((A ⇒ ¬B) ∧ B) ⇒ ¬A

E13

Trovare una prova di ¬¬A ⇒ A.

¬A         ¬¬ A
False
A
¬¬A ⇒ A

E14

Trovare una prova di ((A ⇒ B) ⇒ A) ⇒ A.

A         ¬ A
False
B
A ⇒ B
       
A ⇒ B         (A ⇒ B) ⇒ A
A
       
 
¬A
False
¬(A ⇒ B)
False
A
((A ⇒ B) ⇒ A) ⇒ A

E15

Trovare una prova di ((A ⇒ B) ∨ C) ⇒ ((A ⇒ C) ∨ B).

 
 
 
 
 
 
 
 
 
(A ⇒ B) ∨ C
       
A⇒B         A
B
(A ⇒ C) ∨ B
       
 
 
¬((A ⇒ C) ∨ B)
False
C
A⇒C
       
 
A ⇒ C
(A ⇒ C) ∨ B
       
 
 
 
¬((A ⇒ C) ∨ B)
False
¬(A⇒C)
False
(A ⇒ C) ∨ B
       
 
 
 
 
 
 
C
A ⇒ C
(A ⇒C) ∨ B
(A ⇒ C) ∨ B
((A ⇒ B) ∨ C) ⇒ ((A ⇒ C) ∨ B)


Laurent Théry
Last modified: Tue Apr 30 01:42:15 MEST 2002