Beiträge von: j.s.

Wo kommt nach Existenz-, bzw. Allbeseitigung (bei neg. Allaussage, bzw. neg. Existenzsaussagen) und mehreren Quantoren das Negationszeichen zu liegen? Wird aus: ¬∀x∀y(Pxy→¬Ryx) ¬∀y(Pay→¬Rya) oder ∀y¬(Pay→¬Rya)? Vielen Dank und lieber Gruss