Konjunktion

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein binärer logischer Junktor (geschrieben ∧), der genau dann wahr ist, wenn beide Operandenformeln wahr sind; repräsentiert das logische 'und' in der Aussagenlogik.