New posts in predicate-logic

The truth value of $(P):(\exists m \in \mathbb{Z}) (\forall y\in \mathbb{Q}) : my\in\mathbb{N}$

discrete-mathematics logic solution-verification propositional-calculus predicate-logic

Proving $\forall x[p\vee\Phi(x)]\Longleftrightarrow [p\vee\forall x[\Phi(x)]$, where $p$ does not contain $x$ as a free variable

logic first-order-logic predicate-logic quantifiers

When do free variables occur? Why allow them? What is the intuition behind them?

logic predicate-logic first-order-logic

What are the rules for the use of dots rather than parentheses in logical formulae?

logic propositional-calculus predicate-logic logic-translation

Founding mathematics from a set of axioms.

logic predicate-logic foundations

In what sense is propositional logic "zeroth-order logic?"

logic propositional-calculus predicate-logic first-order-logic

Completeness and Incompleteness

logic predicate-logic first-order-logic

Kees Doets's definitions of logical consequence

logic first-order-logic predicate-logic model-theory satisfiability

Equivalent categories are elementarily equivalent: Formalization?

category-theory predicate-logic first-order-logic

Need to translate into symbols "Someone in this class has done Data Structures”?

discrete-mathematics logic propositional-calculus predicate-logic

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

logic first-order-logic predicate-logic quantifiers

Is the "domain of discourse" in axiomatic set theory also a "set"?

logic set-theory predicate-logic axioms

Question About Null Quantification Equivalences

logic first-order-logic predicate-logic

Nested Quantifiers true or false

predicate-logic

Converting to Prenex Normal Form

logic predicate-logic

Natural deduction from non-first-order premises

logic predicate-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

Theory of definitions

discrete-mathematics logic definition predicate-logic

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

logic first-order-logic predicate-logic

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

logic first-order-logic predicate-logic quantifiers