Disjunktion

In der Biologie siehe Disjunktion (Biologie)

In der Logik eine Verknüpfung von Aussage a mit Aussage b sodass die schon dann wahr ist wenn mindestens eine Aussagen a oder b wahr sind (Die wird manchmal auch Alternative genannt wobei die resultierende Aussage auch wahr ist wenn beide Aussagen a und wahr sind.)

Das heißt:

• Ist a falsch und ist b so ist die Disjunktion falsch sonst ist wahr.
• Ist die Disjunktion falsch so sind falsch und b falsch.
• Ist die Disjunktion wahr so sind
  • a richtig und b richtig oder
  • a falsch und b richtig oder
  • a richtig und b falsch

Schreibweise dafür:

<math> a \or b </math>

Sprechweise dafür:

a oder b

Eine Disjunktion selbst ist ein Boolescher Ausdruck .

Es gilt die De Morgansche Regel :

¬ (a∨b) = ( ¬a ) ∧ ( ¬b )

Siehe auch:

• Aussagenlogik
  • Äquivalenz
  • Negation
  • Implikation
  • Konjunktion
  • Kontravalenz

Bücher zum Thema Disjunktion

Dieser Artikel von Wikipedia unterliegt der GNU FDL.