Logica matematica/Calcolo delle proposizioni/Esercizi su tavole di verità: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Annullata la modifica 217728 di 87.8.84.56 (discussione) |
Ho aggiunto la tavola di verità di deMorgan per la congiunzione, appena ho tempo aggiungo le restanti. |
||
Riga 271:
<math>\neg</math>(A ∧ B) ↔ (<math>\neg</math>A ∨ <math>\neg</math>B) deMorgan per la congiunzione.
{| class="wikitable sortable mw-collapsible"
|+
!A
!B
!<math>\urcorner(A)</math>
!<math>\urcorner(B)</math>
!<math>(A \and B)</math>
!<math>\urcorner(A \and B)</math>
!<math>(\urcorner A \or \urcorner B)</math>
!<math>\urcorner(A \and B)\Longleftrightarrow (\urcorner A \or \urcorner B)</math>
|-
!''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.
| |||