Howtosignalprocessing
Was ist Vereinfachung in der Inferenzregel?
In der Aussagelogik ist die Beseitigung der Konjunktion (auch genannt und Eliminierung, ∧ Eliminierung oder Vereinfachung) eine gültige unmittelbare Folgerung, Argumentform und Inferenzregel, die die Schlussfolgerung macht, dass A, wenn die Konjunktion a und b wahr ist, wahr ist. und B ist wahr.
