Ansetzungsform: | Aussagenlogik |
---|---|
SWD: | 4136098-9 |
GND: | 4136098-9 |
PPN (SWB): | 105660078 |
Quelle: | B 1986 |
SWD-Systematiknummer: | 4.3;28 |
Notation DDC: | 160;511.3 |
Alternativformen: | Propositional logic Lógica proposicional Logica proposizionale Logique propositionnelle Lógica proposicional |
Verweisungsformen allg.: | Junktorenlogik Propositionale Logik |
Übergeordnete Bezeichnung: | Mathematische Logik |
Verwandter Begriff: | Mathematische Logik |