Question

We can express predicate $x = \alpha$ in the interpretation $(\mathbb{R}, +, =, >, \cdot, 0, 1)$ iff $\alpha$ is algebraic.

score 46 · Answer 1 · 2026-03-28 03:02:24

46

Views

We can express predicate $x = \alpha$ in the interpretation $(\mathbb{R}, +, =, >, \cdot, 0, 1)$ iff $\alpha$ is algebraic.

Published on 28 Mar 2026 - 3:02

score 722 · Answer 2 · 2026-03-27 18:07:01

722

Views

How does substitution work in predicate logic?

Published on 27 Mar 2026 - 18:07

score 52 · Answer 3 · 2019-10-30 14:02:23

52

Views

Show the following derivability fact: $\exists x : (P(x) \land x = c),\quad \forall x(P(x) \implies Q(x)) \vdash Q(c)$

Published on 30 Oct 2019 - 14:02

score 99 · Answer 4 · 2019-10-30 22:12:42

99

Views

Universal Quantifier on Same Propositional Functions with Different Scopes

Published on 30 Oct 2019 - 22:12

score 52 · Answer 5 · 2019-10-31 10:22:37

52

Views

Disjunctive introduction rule ( i.e OR intro ) for predicate logic :freely introducing OR inside a quantified sentence?

Published on 31 Oct 2019 - 10:22

score 50 · Answer 6 · 2019-10-31 11:40:39

50

Views

Is this move legal in predicate logic ( quantifying universally over a variable about which one has no information)

Published on 31 Oct 2019 - 11:40

score 47 · Answer 7 · 2019-10-31 22:04:15

47

Views

Confused as to why these two statements would not be equal

Published on 31 Oct 2019 - 22:04

score 70 · Answer 8 · 2026-03-28 02:59:44

70

Views

Quantifiers implication question

Published on 28 Mar 2026 - 2:59

score 105 · Answer 9 · 2019-11-01 04:33:48

105

Views

Proof for intersection.

Published on 01 Nov 2019 - 4:33

score 1.8k · Answer 10 · 2026-03-28 02:59:41

1.8k

Views

What is null quantification?

Published on 28 Mar 2026 - 2:59

score 388 · Answer 11 · 2019-11-01 18:54:00

388

Views

Is there a complete set of equivalence principles for first-order logic?

Published on 01 Nov 2019 - 18:54

score 89 · Answer 12 · 2019-11-01 23:08:26

89

Views

Mathematical logic help

Published on 01 Nov 2019 - 23:08

score 559 · Answer 13 · 2019-11-01 23:27:46

559

Views

Predicate logic in set theory: what components can we write in an expression?

Published on 01 Nov 2019 - 23:27

score 110 · Answer 14 · 2026-03-28 03:03:11

110

Views

Is somebody no ones cousin or is somebody not a cousin to everybody?

Published on 28 Mar 2026 - 3:03

score 67 · Answer 15 · 2019-11-05 10:27:08

67

Views

Help solving a negate and simplify problem

Published on 05 Nov 2019 - 10:27

List Question

We can express predicate $x = \alpha$ in the interpretation $(\mathbb{R}, +, =, >, \cdot, 0, 1)$ iff $\alpha$ is algebraic.

How does substitution work in predicate logic?

Show the following derivability fact: $\exists x : (P(x) \land x = c),\quad \forall x(P(x) \implies Q(x)) \vdash Q(c)$

Universal Quantifier on Same Propositional Functions with Different Scopes

Disjunctive introduction rule ( i.e OR intro ) for predicate logic :freely introducing OR inside a quantified sentence?

Is this move legal in predicate logic ( quantifying universally over a variable about which one has no information)

Confused as to why these two statements would not be equal

Quantifiers implication question

Proof for intersection.

What is null quantification?

Is there a complete set of equivalence principles for first-order logic?

Mathematical logic help

Predicate logic in set theory: what components can we write in an expression?

Is somebody no ones cousin or is somebody not a cousin to everybody?

Help solving a negate and simplify problem

Trending Questions

Popular # Hahtags

Popular Questions