The Stack Overflow podcast is back! Listen to an interview with our new CEO.

New answers tagged

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