Estratto del documento
LE TAVOLE DI VERITA’
Il significato dei vari connettivi logici descritto dalle tavole di verità: si introducono due oggetti V e F che denotano il vero e il falso e per ogni connettivo si crea una tabella che lo caratterizza completamente.
La tavola di verità di ¬ è
A ¬A F V V FLa tavola di verità di ∧ è
A B A ∧ B F F F V F F F V F V V VLa tavola di verità per ∨ è
A B A ∨ B F F F V F V F V V V V VLa tavola di verità per l’implicazione è:
A B A → B F F V V F F F V V V V VLE TAVOLE DI VERITA’
Il significato dei vari connettivi logici descritto dalle tavole di verità: si introducono due oggetti V e F che denotano il vero e il falso e per ogni connettivo si crea una tabella che lo caratterizza completamente.
La tavola di verità di ¬ è
- A ¬A
- F V
- V F
La tavola di verità di ∧ è
- A B A ∧ B
- F F F
- V F F
- F V F
- V V V
La tavola di verità per ∨ è
- A B A ∨ B
- F F F
- V F V
- F V V
- V V V
La tavola di verità per l’implicazione è:
- A B A → B
- F F V
- V F F
- F V V
- V V V
Anteprima
Vedrai una selezione di 1 pagina su 2
Dettagli
SSD
Scienze matematiche e informatiche
MAT/01 Logica matematica
I contenuti di questa pagina costituiscono rielaborazioni personali del
Publisher icaf di informazioni
apprese con la frequenza delle lezioni
di Matematica logica e studio autonomo di eventuali libri di riferimento in preparazione
dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale
dell'università Università degli studi di Torino o del prof Andretta Alessandro.
Recensioni
9 Febbraio 2025
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo
Appunto