New posts in predicate-logic

Using $\bigvee$ and $\bigwedge$ instead $\exists$ and $\forall$

notation predicate-logic

Why is quantifier elimination desirable for a given theory?

first-order-logic predicate-logic model-theory quantifiers quantifier-elimination

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

logic examples-counterexamples predicate-logic quantifiers

How to prove non-equality using Peano axioms?

logic first-order-logic predicate-logic peano-axioms

Basic question about proofs with the goal $\exists x P(x)$

logic predicate-logic quantifiers

Any branch of math can be expressed within set theory, is the reverse true?

elementary-set-theory logic math-history predicate-logic foundations

Can all math results be formalized and checked by a computer?

logic predicate-logic first-order-logic foundations proof-theory

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

logic reference-request predicate-logic first-order-logic axioms

Two styles of semantics for a first-order language: what's to choose?

logic predicate-logic

Intuitive Reason that Quantifier Order Matters

quantifiers predicate-logic

Symbolize the following sentences with the given symbolization key

logic predicate-logic quantifiers logic-translation

How to convert numerical claims to first order logic?

logic first-order-logic predicate-logic quantifiers logic-translation

Difference due to scope of quantifiers

logic predicate-logic

Does there exist a formula of first-order logic that is satisfiable only on structures with infinite domains? [closed]

logic predicate-logic first-order-logic

Difference between biconditional and logical equivalence

logic terminology propositional-calculus predicate-logic

Looking for help in understanding a proof of the fixed point lemma in mathematical logic.

logic first-order-logic predicate-logic fixed-point-theorems

What's the difference between $∀x\,∃y\,L(x, y)$ and $∃y\,∀x\,L(x, y)$?

predicate-logic quantifiers

Given ∃x.¬p(x), use the Fitch System to prove ¬∀x.p(x).

logic predicate-logic first-order-logic natural-deduction formal-proofs

Proof of transitivity in Hilbert Style

logic predicate-logic formal-proofs

Give an equational proof $ \vdash (\forall x)(A \rightarrow B) \equiv ((\exists x) A) \rightarrow B$

predicate-logic