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:
[quote]
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)
[/quote]
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]
