Logica matematica/Calcolo delle proposizioni/Esercizi su tavole di verità: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
mNessun oggetto della modifica |
mNessun oggetto della modifica |
||
Riga 75:
((A → B) ∧ (C → D)) → ((A ∧ C) → (B ∧ D)) preclarum theorema.
A → <math>\neg</math><math>\neg</math>A
{{cassetto
|titolo=Soluzione es n°8
|testo=
{{{!}} {{prettytable}}
!A
!<math>\neg</math>A
!<math>\neg\neg</math>A
! A → <math>\neg\neg</math>A
{{!}}-
{{!}}Vero
{{!}}F
{{!}}T
{{!}}T
{{!}}-
{{!}}Falso
{{!}}T
{{!}}F
{{!}}T
{{!}}-
{{!}}}
La formula è una tautologia.
}}
|