esercizio sulla semplificazione dell'and - spiegazione della soluzione

Rispondi
Avatar utente
InformateciBot
Messaggi: 314
Iscritto il: 30/09/2018, 16:33

Dalla seconda esercitazione della professoressa Levi, primo esercizio: http://pages.di.unipi.it/levi/Esercitaz ... 6_2sol.pdf

Indicare il connettivo logico corretto da sostituire a ? applicando il Principio di Sostituzione dell'Implicazione.
[math]
[math]
[math]

Siccome mi fa fatica scrivere, chiamo A la forumla
[math]

La soluzione proposta a mio avviso non è molto chiara, in particolare la parte in cui tira in ballo il fatto che A occorre negativamente, perché sembra che sia una formula data per scontata che vada solamente applicata.
Quindi provo a scrivere una mia soluzione, nel caso fosse utile a qualcuno:

per il principio della sostituzione dell'and, sappiamo che:
[math]
E dobbiamo trovare quale connettivo logico va al posto di ? nella formula
[math]
[math]
[math]

La contronominale di [math] è [math].
Assumendo [math] è immediato verificare che [math] implica [math], per la transitività dell'implicazione:
[math]

Quindi il connettore che va al posto di ? è [math].
Se ci si accorgeva della contronominale l'esercizio diventava semplicissimo.
(;
Rispondi

Torna a “[LPP] Logica per la programmazione”