Zum Inhalt springen

Äquivalenz

aus Wikipedia, der freien Enzyklopädie
Dies ist eine alte Version dieser Seite, zuletzt bearbeitet am 17. August 2002 um 11:27 Uhr durch Hannes Hirzel (Diskussion | Beiträge). Sie kann sich erheblich von der aktuellen Version unterscheiden.

Eine Äquivalenz (v. lat.: aequus gleich, valere wert sein) bezeichnet


  • bildungsspr. die Gleichwertigkeit verschiedener Dinge

  • mathematisch die Gleichwertigkeit zweier Mengen, sofern es sich um Mengen gleicher Mächtigkeit handelt.

  • logisch 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: