Erklärungen:
Junktoren:
Logische Verknüpfung zweier Aussagen
Identität:
Zwei Aussagen sind identisch, wenn es zwischen ihnen keinen Unterschied gibt.
Negation:
Verneinung einer Aussage.
Konjunktion:
Eine „UND“ – Verknüpfung.
Disjunktion:
Dabei handelt es sich um eine „ODER“ – Verknüpfung.
Implikation:
Ist eine „WENN“ / „DANN“ – Verknüpfung. Sie ist genau dann falsch, wenn die Bedingung wahr und die Schlussfolgerung falsch ist. In allen anderen Fällen ist sie wahr.
Äquivalenz:
Es besteht nur dann Äquivalenz zwischen zwei Aussagen (A und B oder umgekehrt zwischen B und A), wenn entweder, beide Aussagen falsch oder beide Aussagen richtig sind. Ist eine der beiden Aussagen wahr und die andere falsch, so liegt keine Äquivalenz vor.