„p ∙ q ⌵ ~q” sagt dasselbe wie „p ∙ r ⌵ ~r” – was immer q und r besagen mag –: Alle Tautologien besagen dasselbe. (Nämlich Nichts) [[d|D]ie beiden Beispiele sind untereinander zu schreiben]