New posts in Predicate Logic

Proof of Decidability of Monadic First Order Logic

What will be the negation of this statement:

How to convert numerical claims to first order logic?

Classes, sets and Russell's paradox

Is "you know everything" the (using sentential logic) logical negation of "you know nothing"?

Why does what I've written fail to define truth?

Please explain, "Asymmetric is stronger than simply not symmetric".

Proof that there exist no finite axiomatic system with Compactness Theorem

**Ended Competition:** What is the shortest proof of $\exists x \forall y (D(x) \to D(y)) $?

Mixing and Distributing Qualifiers ($\forall x$, $\exists x$)