Showing the following sequents are not valid
-
04-11-2019 - |
Question
$\lnot \forall x P(x) \models \forall x \lnot P(x)$
$P(x) : x$ is divisible by 2
or $P(x) : x$ is a dog.
or $P(x) can be anything.
I want to show the following sequents are not valid ..Isn't the following sequents equal or the first sequent the whole negation of the statement and the second sequent is the negation of the $P(x)$ .. Can anybody explain this with examples?
No correct solution
Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange