Le tavole di verità sono tabelle usate nella logica per determinare se, attribuiti i valori di verità alle proposizioni che la compongono, una determinata proposizione è vera o falsa.
Le tavole di verità della disgiunzione (˅), della doppia implicazione (⇔ ) e della negazione (¬) sono rispettivamente:
Qual è la tavola di verità della proposizione P: (A ∨ (¬B)) ⇔ B?
Per costruire la tavola di verità dalla proposizione (A ∨ (¬B)) ⇔ B , INIZIAMO PER GRADI affiancando inizialmente alla tavola i valori di A e ¬B per poi operare la disgiunzione A ∨ (¬B)
Come secondo passaggio operiamo la doppia implicazione tra A ∨ (¬B) e B
(Per un approfondimento di teoria vedi il Grande Manuale di Logica PITEST, capitolo LV3.4 a pag 251)
Vuoi provare un QUIZ simile?
Vuoi leggere la teoria di base delle tavole di verità?
