esercizio sulla semplificazione dell'and - spiegazione della soluzione
Inviato: 29/10/2016, 15:37
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.
(;
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.
(;