Dla kujonów, oto jak argument wygląda w symbolicznym zapisie logicznym:
1. p q
2. q r
3. ¬ r
4. (w domyśle, bo nie ma jej w filmie) ¬ q (Modus Tollendo Tollens z 3 oraz 2)
_____________
5. ¬ p (MTT z 4 oraz 1)

Tłumaczenie - Łukasz Wybrańczyk
__________________________________________
Linki:
Facebook - https://www.facebook.com/smiem.watpic.yt
Twitter - https://twitter.com/smiemwatpic
Youtube - https://www.youtube.com/channel/UC-Q7kWPVNqMsCyy4ZgGE6MA
Smiem.watpic.yt.gmail.com