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

Wikibooks, manuali e libri di testo liberi.
Jump to navigation Jump to search

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