Wikibooks

Logica matematica/Calcolo delle proposizioni/Esercizi su tavole di verità: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 3:
(A ∨ B) → A [[Logica/Calcolo delle proposizioni/SolEse1|soluzione]]
 
(A → A) → (B → C) [[Logica/Calcolo delle proposizioni/SolEse3|soluzione]]
 
A → (A ∨ B)
Riga 9:
Provare con le tavole di verità i seguenti teoremi:
 
(A → B) → (<math>\neg</math>B → <math>\neg</math>A) regola di contrapposizione. [[Logica/Calcolo delle proposizioni/SolEse4|soluzione]]
 
(A ∨ B) =↔ (<math>\neg</math>A ∧ <math>\neg</math>B) deMorgan per la disgiunzione.
 
(A ∧ B) =↔ (<math>\neg</math>A ∨ <math>\neg</math>B) deMorgan per la congiunzione.
 
((A → B) ∧ (C → D)) → ((A ∧ C) → (B ∧ D)) preclarum theorema.
 
A → <math>\neg</math><math>\neg</math>A [[Logica/Calcolo delle proposizioni/SolEse2|soluzione]]
Estratto da "https://it.wikibooks.org/wiki/Logica_matematica/Calcolo_delle_proposizioni/Esercizi_su_tavole_di_verità"