Tautologies and the matrix method. (Q2603375)

Verf. hält Tautologien und Kontradiktionen \(f(p,q,\dots)\) nicht für Wahrheitsfunktionen, da eine Aussage, die aus ihnen durch eine Einsetzung von Aussagen für \(p\), \(q\),\dots entsteht, nicht wahr (bzw. falsch) ist in dem Sinne, daß sie etwas über die wirkliche Welt aussagt. Deshalb soll auf sie die Matrixmethode nicht in gewöhnlicher Bedeutung anwendbar sein. -- Da \((p\and q)\lor p\) im Sinne des Verf. eine Wahrheitsfunktion zu sein scheint, ist das auf S.~202, Z.~27ff. gegebene Kriterium für Wahrheitsfunktionen nicht notwendig.