Quantorenlogik
31Widersprüchlichkeit — Kontradiktorisch (widersprüchlich) wird eine Beziehung zweier logischer Aussagen genannt, bei der von der Wahrheit der einen Aussage auf die Falschheit der anderen geschlossen werden kann und – das ist wichtig – von der Falschheit der einen… …
32⊥ — Kontradiktorisch (widersprüchlich) wird eine Beziehung zweier logischer Aussagen genannt, bei der von der Wahrheit der einen Aussage auf die Falschheit der anderen geschlossen werden kann und – das ist wichtig – von der Falschheit der einen… …
33Logik — Folgerichtigkeit; logische Korrektheit; Übereinstimmung; Stimmigkeit; Dialektik; Analytik; Gesetzmäßigkeit; Vernunft; Konsequenz * * * Lo|gik [ lo:gɪk], die; : 1 …
34Church — I Church, Turing Maschine. II Church [tʃəːtʃ], 1) Alonzo, amerikanischer Mathematiker und Logiker, * Washington (D. C.) 14. 6. 1903, ✝ Hudson (Ohio) 11. 8. 1995; seit 1939 Professor an der Pr …
35Craigs Lemma — Craigs Lẹmma [kreɪgz ; nach dem amerikanischen Philosophen W. Craig, 20. Jahrhundert], ein in der Quantorenlogik und Beweistheorie verwendetes Lemma; besagt, dass es zu jeder ableitbaren Formel A → C eine Formel B gibt von der Art, dass auch… …