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à dell’implicazione congiunzione (⇒), della doppia implicazione (⇔) e della negazione non (¬) sono rispettivamente:
Qual è la tavola di verità della proposizione P: (¬A ⇔ B) ⇒ A)?
Per costruire la tavola di verità dalla (¬A ⇔ B) ⇒ A, INIZIAMO PER GRADI affiancando inizialmente alla tavola i valori di ¬A e B per poi operare la doppia implicazione (¬A ⇔B)
Come secondo passaggio operiamo l’ implicazione tra (¬A ⇔ B ) e A
(Per un approfondimento di teoria vedi il Grande Manuale di Logica PITEST, capitolo LV3.4 a pag 251)
Nota:
Il testo del quiz riporta alcune inesattezze.
1. Il termine congiunzione deve essere tolto: << ... dell’implicazione congiunzione(⇒) ... >>. Si tratta probabilmente di un refuso proveniente dal simile test di ammissione di veterinaria 2018 - quiz 21.
2. Nella scrittura formale della proposizione P la parentesi finale è di troppo. andrebbe scritta così: (¬A ⇔ B) ⇒ A
