Logica matematica/Calcolo delle proposizioni/Esercizi su tavole di verità: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 1:
Calcolare con le tavole di verità le seguenti proposizioni:
(A ∨ B) → A [[Logica/Calcolo delle proposizioni/SolEse1|soluzione es. 1]]
(A → A) → (B → C) [[Logica/Calcolo delle proposizioni/SolEse3|soluzione es. 2]]
A → (A ∨ B)
Riga 17:
((A → B) ∧ (C → D)) → ((A ∧ C) → (B ∧ D)) preclarum theorema.
A → <math>\neg</math><math>\neg</math>A [[Logica/Calcolo delle proposizioni/SolEse2|soluzione es. 8]]
| |||