Practice Propostions - GATE - CSIT, DSAI & Interview Preparation Offered by Unacademy

Propostions

The predicate statement $\neg \forall z[P(z) \rightarrow(\neg Q(z) \rightarrow P(z))]$ is _______

Satisfiable

Contradiction

Tautology

None of these