Welche der folgenden Formeln ist äquivalent zu '∃x(P(x) ∧ Q(x))'?
∀x(P(x) ∨ Q(x))
∀x(P(x)) -> ∃x(Q(x))
Overlook minor misbehaviors
Impose harsh punishments for any infraction

Logik Übungen werden geladen ...