definition:
- not operator
E exist quantor
A all quantor

ich möchte:
A x - (E y A z P(x,y,z))

in worten:
für alle x gilt nicht, dass ein y existiert und für alle z P(x,y,z) gilt.

auflösen sodass die klammern weg sind.
welche rechenregeln wende ich an und was ist das ergebnis?

mfg,
skull

das mit dem ersetzen kapier ich:

A x - (E y -E z -P(x,y,z))

und dann weiter?

mfg,
skull

kann geclosed werden, hab nen alternativen weg gefunden.

mfg,
skull