logisch wahre Formel

logisch wahre Formel lat.-deu.

Abweichend findet sich bei Hans Reichenbach auch ‚logische Formel‘ als Kurzform für ‚logisch wahre Formel‘, also eine notwendig wahre Formel, deren Wahrheit nicht von der Interpretation der nicht-logischen Konstanten abhängig ist (siehe auch Tautologie (Logik)).^[1]^[2]

Einzelnachweise

↑ So wohl Hans Reichenbach, Grundzüge der symbolischen Logik (1999), S. 35. Solche Formeln mit nur einer Aussagenvariablen oder -konstanten identifiziert Reichenbach mit den Denkgesetzen der traditionellen Logik.
↑ Q.: Logikformel

[1] So wohl Hans Reichenbach, Grundzüge der symbolischen Logik (1999), S. 35. Solche Formeln mit nur einer Aussagenvariablen oder -konstanten identifiziert Reichenbach mit den Denkgesetzen der traditionellen Logik.

[2] Q.: Logikformel

[1]

[2]