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 ▼
▲(A ∨ B) → A
{{cassetto
|titolo=Soluzione es n°1
Riga 42:
(A → A) → (B → C)
{{cassetto
|titolo=Soluzione es n°2
Line 117 ⟶ 116:
A → (A ∧ B)
{{cassetto
|titolo=Soluzione es n°3
Line 148 ⟶ 146:
{{!}}}
A non è sufficiente ad implicare A e B.
}}
Line 163 ⟶ 162:
A → <math>\neg</math><math>\neg</math>A
{{cassetto
|titolo=Soluzione es n°8
|