Example image of eyePlorer eyePlorer-Ergebnisse für 'Junktor': Aussagenlogik Latein Operator (Mathematik) Konstante (Logik) Konjunktion (Logik) Programmiersprache Logischer Operator Wahrheitswert Extensionalitätsprinzip Wahrheitstabelle Stelligkeit Prinzip der Zweiwertigkeit Klassische Logik Negation Disjunktion Implikation Henry Maurice Sheffer NAND Peirce-Funktion Logische Äquivalenz Modallogik Intuitionismus Saul Aaron Kripke Kontravalenz Negator (Logik) Subjunktion Atomare Aussage Aussagenverknüpfung Bikonditional Jean Nicod Quantor Belegung (Logik) Dialogische Logik LRR1 Allan Marquand Polnische Notation Prädikatenlogik Pränexform Aussageschema Konjunktion (Wortart) Kalkül Dreiwertige Logik Wahrheitswertefunktion Systeme natürlichen Schließens Aussageform Gentzenscher Hauptsatz Satz vom ausgeschlossenen Dritten Gödelscher Vollständigkeitssatz Signatur (Modelltheorie) Baumkalkül
Disclaimer