Logica matematica/Calcolo delle proposizioni/Esercizi su tavole di verità

Indice del libro

Calcolare con le tavole di verità le seguenti proposizioni:


(A ∨ B) → A

(A → A) → (B → C)

A → (A ∧ B)

(A → B) → (A → B)


Provare con le tavole di verità i seguenti teoremi:

(A → B) → (B → A) regola di contrapposizione.


(A ∨ B) ↔ (A ∧ B) deMorgan per la disgiunzione.

(A ∧ B) ↔ (A ∨ B) deMorgan per la congiunzione.

A B
Vero Vero Falso Falso Vero Falso Falso Vero
Vero Falso Falso Vero Falso Vero Vero Vero
Falso Vero Vero Falso Falso Vero Vero Vero
Falso Falso Vero Vero Falso Vero Vero Vero

((A → B) ∧ (C → D)) → ((A ∧ C) → (B ∧ D)) preclarum theorema.

A → A