The Logical Song

Ecco una bella cover del famosissimo brano The Logical Song, da Breakfast in America dei Supertramp. L’aspetto rilevante, da un punto di vista nerdico, è che, nel video, “logical” è stato preso in maniera letterale, per cui sulla lavagna si trova un’interessante lista di esercizi di calcolo proposizionale, che sono riuscito a ricostruire qui di seguito:


If p is true and q is true, state the truth for:

1. ((~p∧q)→(q∨p))↔(~(p→(p∨q)))
2. (~p∨~q)↔(p∨(~p∧q))
3. (~p∨q)↔(~p→~(p∧q))
4. (p→q)↔(~(p→q))
5. (~(p→(p∨~q)))↔(~p→q)

Qui sotto le mie soluzioni (col beneficio di inventario, è un po’ di tempo che non rispolvero il calcolo proposizionale).

[spoiler]
1. false
2. false
3. true
4. false
5. false
[/spoiler]

Il Parco Accessibile LEGO®: il sogno di Michele Cocco
Il Parco Accessibile LEGO®: il sogno di Michele Cocco
“Dopo Harry Potter abbiamo capito che è arrivato il momento di raccontare le nostre storie” dichiarano i MinaLima
“Dopo Harry Potter abbiamo capito che è arrivato il momento di raccontare le nostre storie” dichiarano i MinaLima
La NASA è in competizione con la Cina per l'acqua lunare
La NASA è in competizione con la Cina per l'acqua lunare
Il giorno si trasforma in notte: ecco lo scatto scelto dalla Nasa
Il giorno si trasforma in notte: ecco lo scatto scelto dalla Nasa
Storia dell'Origami: quando sono stati inventati e perché?
Storia dell'Origami: quando sono stati inventati e perché?
Antibiotici: l'uso eccessivo aumenta il rischio di tumore al colon
Antibiotici: l'uso eccessivo aumenta il rischio di tumore al colon
KMSPico Activator Scarica per PC Windows (7/10/11)
KMSPico Activator Scarica per PC Windows (7/10/11)