Recent questions tagged well-formed-formula

0 0 votes
1 1 answer
510
510 views
A $WFF$ that is equivalent to the $WFF$ $x= y$ is :$y=>x$~$y=>x$~$y=>$ ~$x$$y=>$ ~$x$
2 2 votes
3 answers 3 answers
2.5k
2.5k views
Equivalent logical expression for the Well Formed Formula $(WFF)$,$\sim(\forall x) F\left[x\right]$is$\forall x (\sim F\left[x\right])$$\sim (\exists x) F\left[x\right]$$...
To see more, click for the full list of questions or popular tags.