~∀z[P(z)→(~Q(z)→P(z))]
you are solving problem in your ways (by creating new thing). when you propagate negation then why doing partiality with inside expression.
when you propagate negation then why doing partiality with inside expression.
~ ∀z[ some thing]
what you are solving is
~ ∀z[P(z)]→(~Q(z)→P(z))
Hope you got it.
64.3k questions
77.9k answers
244k comments
80.0k users