New posts in first-order-logic

Problems teaching introductory logic. Is this a statement? "If x is an integer, then..."

logic first-order-logic predicate-logic quantifiers

Why does Skolemming not preserve validity?

logic first-order-logic satisfiability

What's the point of allowing only quantification of variables in first-order logic.

first-order-logic formal-languages

Tessellated space defines a recursive set?

geometry first-order-logic recursion computability

Relationship between propositional logic, first-order logic, second-order logic higher-order logic, and type theory

logic propositional-calculus first-order-logic type-theory higher-order-logic

Constructing a sequence up to infinity

logic set-theory first-order-logic foundations

Quantification and the existence of a function

elementary-set-theory first-order-logic

Question About Null Quantification Equivalences

logic first-order-logic predicate-logic

Represent the definition of elementary substructure in FOL

logic first-order-logic model-theory

First Order Logic: Prove that the infinitely many twin primes conjecture is equivalent to existence of infinite primes

number-theory model-theory first-order-logic prime-twins

First order logic issue with the truth and scope of quantifiers

logic first-order-logic quantifiers

Prove if a = b, then f(a) = f(b) for any function f (with natural deduction)

functions first-order-logic natural-deduction

Definition of Predicate Calculus.

logic first-order-logic

Find a L-sentence which is true in a structure $M$ iff the universe $A$ of $M$ consists of exactly two elements

logic predicate-logic first-order-logic

Proof of $x=y \rightarrow [P(x) \rightarrow P(y)]$

logic proof-explanation first-order-logic

Is there a definition for free and bound variables in logic?

logic first-order-logic predicate-logic

Is there a difference between using two vs one universal quantifier for two variables?

logic first-order-logic relations quantifiers

ultrafilters as linear orders

logic first-order-logic order-theory model-theory filters

Finitely generated monoids - how to show that there is not first order set axiomatizing them.

logic first-order-logic monoid

Which logical rules are used in combining universal quantifiers with same conditional

logic first-order-logic predicate-logic quantifiers