New answers tagged first-order-logic
2
I'm not sure how general this type of problem is so I can't tell you if this will always be the best approach, but in this case you can move the negation to the top for more clarity.
$$\forall x\ \exists y\ \exists t\ [\neg F(x,y,t)]\equiv \forall x\ \exists y\ [\neg\ \forall t F(x,y,t)]\equiv \forall x\ [\neg\ \forall y\ \forall t F(x,y,t)]\equiv \neg [\...
Top 50 recent answers are included
