6.2.2 Aussagenvariablen und einfache Wahrheitstafeln

[gesichtete Version][gesichtete Version]
Keine Bearbeitungszusammenfassung
Zeile 22: Zeile 22:


<br />
<br />
=== Junktoren ===
<p>
Ein Junktor ist eine logische Verknüpfung von einer oder mehreren Aussagen in der Aussagenlogik. Hier eine unvollständige Liste von Junktoren:
</p>
<p>
* Negation (<math>\not</math>)
* Konjunktion (<math>\land</math>)
* Disjunktion (<math>\lor</math>)
* Implikation (<math>\rightarrow</math>)
* Replikation (<math>\leftarrow</math>)
* Äquivalenz (<math>\leftrightarrow</math>)
</p>
<p>
Auf den folgenden Seiten finden sich erläuternde Videos zu den hier genannten Junktoren. Darüber hinaus gibt es noch einige weitere Junktoren, die an dieser Stelle aber nicht näher betrachtet werden.
</p>

Version vom 7. Oktober 2014, 08:05 Uhr

Aussagenvariablen und einfache Wahrheitstafeln


Aussagenvariablen


Aussagenlogik: Einfache Wahrheitstafel