Äquivalenz

Eine Äquivalenz ist eine Aussage über zwei Aussagen a und b. Sie ist die Verknüfung von Aussage a mit Aussage b, sodass b und a den gleichen Wahrheitswert haben.

Das heißt:

• Ist a wahr, so ist auch b wahr.

• Ist a falsch, so ist auch b falsch.

• Ist b wahr, so ist auch a wahr.

• Ist b falsch, so ist auch a falsch.

Schreibweise dafür:

a≍b

oder

a=b

Sprechweise dafür:

a äquivalent zu b

oder

a gleich b

Es gilt:

(a=b)=((a⊢b)∧(b⊢a))

Eine Äquivalenz selbst ist ein Boole'scher Ausdruck.

Siehe auch:

• Implikation

• Negation

• Konjunktion

• Disjunktion