Newbetuts
.
New posts in predicate-logic
Please explain, "Asymmetric is stronger than simply not symmetric".
predicate-logic
Does the unique existential quantifier commute with the existential quantifier?
logic
propositional-calculus
predicate-logic
quantifiers
**Ended Competition:** What is the shortest proof of $\exists x \forall y (D(x) \to D(y)) $?
logic
first-order-logic
predicate-logic
alternative-proof
natural-deduction
"If everyone in front of you is bald, then you're bald." Does this logically mean that the first person is bald?
logic
predicate-logic
quantifiers
What an implication means when stating the solutions of an equation?
discrete-mathematics
logic
propositional-calculus
first-order-logic
predicate-logic
Using "implies" to refer to material conditional
logic
terminology
definition
propositional-calculus
predicate-logic
Predicate logic: How do you self-check the logical structure of your own arguments?
logic
predicate-logic
Why is this true? $(\exists x)(P(x) \Rightarrow (\forall y) P(y))$
logic
quantifiers
predicate-logic
What's the difference between predicate and propositional logic?
logic
predicate-logic
Prev