List questions from predicate-logic | MathQA

How to choose between p->q and p^q

Published on 15 Apr 2026 - 5:49

Sets with same members are member of same sets? Seeking deeper insights on link between extensionality and set equality, with or without FOL equality.

Published on 15 Apr 2026 - 2:10

If $\Delta \vDash \exists x.p(x)$, then $\Delta \vDash p(\tau)$ for some ground term $\tau$. Why is this false?

Published on 14 Apr 2026 - 12:56

What is the signficance and intended purpose of variable assignments in first order logic?

Published on 11 Apr 2026 - 6:02