
Originalmente inviato da
Singular
Buon giorno professore ho visto che ha messo le soluzioni on Line!
Volevo portare alla sua attenzione la correzione di questa tavoladi verità!
Secondo lei dovrebbe essere una Tautologia!
Ma dopo averla fatta svariate volte, nel connettivo principale rimane sempre uno zero.
Che ci sia qualche errore?
(α E ¬ (β > γ)) > ¬(α > (β > α))
( 1 0 0 (1 1 1)) 1 0(1 1 (1 1 1))
( 1 1 1 (1 0 0)) 0 0(1 1 (1 1 1))
(1 0 0 (0 1 1)) 1 0(1 1 (0 1 1))
(1 0 0(0 1 0)) 1 0(1 1 (0 1 1))
(0 0 0(1 1 1)) 1 0(0 1 (1 0 0))
(0 0 1(1 0 0)) 1 0(0 1 (1 0 0))
(0 0 0(0 1 1)) 1 0(0 1 (0 1 0))
(0 0 0(0 1 0)) 1 0(0 1 (0 1 0))
Grazie dell'attenzione i suoi studenti!
*****
Risposta Prof!
L'errore c'è, ma è nel testo. Nelle mie intenzioni, il gamma, infatti, avebbe dovuto essere alfa, e quindi la tavola, con alfa al posto di gamma, sarebbe risultata una tautologia come indicato nella soluzione. Evidentemente, nella trascrizione, è scappato un gamma al posto di un alfa,cosa di cui mi accorgo solo ora. In ogni caso, però la tavola che mi ha mandato è comunque sbagliata, perché avrebbe dovuto avere sedici righe e non otto.
*****
Risposta mia!
Perchè 16 righe?
(α E ¬ (β > γ)) > ¬(α > (β > α))
secondo il testo dell'esame, che è questo!
Gli elementi sono solo tre!
alfa gamma e beta
2^3 = 8 righe!
Quindi credo che le 16 righe ci sarebbero dovute essere solo nel caso in cui intende lei!.
Ad ogni modo perdoni l'anonimato, ma l'email è rappresentativa di tutti gli studenti!
Grazie dell'attenzione i Suoi studenti!
Attendiamo risposta!
********
Vediamo che dice!