Konjunktion (Logik)

Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier.
Eine Konjunktion bezeichnet in der Logik die Verknüpfung von Aussage a mit Aussage b so dass Konjunktion genau dann wahr ist wenn sowohl als auch b wahr sind.

Das heißt:

Ist a wahr und ist b wahr ist die Konjunktion wahr sonst ist sie

Ist die Konjunktion wahr so sind a und b wahr.

Ist die Konjunktion falsch so sind

a falsch und b falsch oder

a falsch und b richtig oder

a richtig und b falsch

Schreibweise dafür:

a∧b

Sprechweise dafür:

a und b

Eine Konjunktion selbst ist ein Boolescher Ausdruck . In der Digitaltechnik werden konjunktiv verknüpfte Variablen auch Produktterm genannt.

Es gilt die De Morgansche Regel :

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

Auf Teilmengen der natürlichen Zahlen kann man die Konjunktion als Maximum definieren. Für die Zahlen {0 1} die Konjunktion mit der Maximumsfunktion identisch .

Siehe auch:

Aussagenlogik

Bücher zum Thema Konjunktion (Logik)

Dieser Artikel von Wikipedia unterliegt der GNU FDL.

Impressum • Lesezeichen setzen • Seite versenden • Seite drucken

HTML-Code zum Verweis auf diese Seite:
<a href="http://www.uni-protokolle.de/Lexikon/Konjunktion_(Logik).html">Konjunktion (Logik) </a>