Question

Difference between $(\exists z)[z > 0 ∧ z^2 = 2]$ and $(\exists z )[z > 0 \Rightarrow z^2 = 2]$

score 92 · Answer 1 · 2026-03-30 14:43:33

92

Views

Difference between $(\exists z)[z > 0 ∧ z^2 = 2]$ and $(\exists z )[z > 0 \Rightarrow z^2 = 2]$

Published on 30 Mar 2026 - 14:43

score 68 · Answer 2 · 2015-06-17 02:47:23

68

Views

Using predicate logic to see if P(X) holds

Published on 17 Jun 2015 - 2:47

score 341 · Answer 3 · 2026-03-30 14:43:32

341

Views

Determining if all integers of the polynomial form $n^2+21n+1$ are prime

Published on 30 Mar 2026 - 14:43

score 518 · Answer 4 · 2015-06-17 18:59:30

518

Views

Semi decision procedures for Peano arithmetic?

Published on 17 Jun 2015 - 18:59

score 820 · Answer 5 · 2015-06-21 12:27:48

820

Views

Introduction to Symbolic Logic: 'Understanding Symbolic Logic, 2nd Edition,' by Virginia Klenk, Page 294

Published on 21 Jun 2015 - 12:27

score 185 · Answer 6 · 2026-02-23 13:45:59

185

Views

Explanation on the symmetry between identity axiom and cut rule

Published on 23 Feb 2026 - 13:45

score 176 · Answer 7 · 2015-06-22 11:20:06

176

Views

Finite extension of decidable theory is decidable

Published on 22 Jun 2015 - 11:20

score 116 · Answer 8 · 2015-06-22 12:50:10

116

Views

$\{(\forall(x))P(x) \implies(\forall(x))Q(x)\} \implies (\forall(x))(P(x) \implies Q(x))$

Published on 22 Jun 2015 - 12:50

score 311 · Answer 9 · 2015-06-22 20:07:23

311

Views

Predicate logic by resolution

Published on 22 Jun 2015 - 20:07

score 65 · Answer 10 · 2015-06-23 14:33:56

65

Views

Very Basic Logic Question

Published on 23 Jun 2015 - 14:33

score 433 · Answer 11 · 2015-06-23 17:14:25

433

Views

Another basic Logic Question

Published on 23 Jun 2015 - 17:14

score 131 · Answer 12 · 2026-03-30 14:40:19

131

Views

Nested Quantifiers Doubt: "If $xy$ is equal to $x$ for all $y$, then $x=0$"

Published on 30 Mar 2026 - 14:40

score 1.5k · Answer 13 · 2015-06-26 13:18:34

1.5k

Views

Can I prove set propositions using first-order logic?

Published on 26 Jun 2015 - 13:18

score 794 · Answer 14 · 2015-06-26 16:48:13

794

Views

How to prove this is a tautology

Published on 26 Jun 2015 - 16:48

score 77 · Answer 15 · 2015-06-27 03:50:34

77

Views

Confused on negation?

Published on 27 Jun 2015 - 3:50

List Question

Difference between $(\exists z)[z > 0 ∧ z^2 = 2]$ and $(\exists z )[z > 0 \Rightarrow z^2 = 2]$

Using predicate logic to see if P(X) holds

Determining if all integers of the polynomial form $n^2+21n+1$ are prime

Semi decision procedures for Peano arithmetic?

Introduction to Symbolic Logic: 'Understanding Symbolic Logic, 2nd Edition,' by Virginia Klenk, Page 294

Explanation on the symmetry between identity axiom and cut rule

Finite extension of decidable theory is decidable

$\{(\forall(x))P(x) \implies(\forall(x))Q(x)\} \implies (\forall(x))(P(x) \implies Q(x))$

Predicate logic by resolution

Very Basic Logic Question

Another basic Logic Question

Nested Quantifiers Doubt: "If $xy$ is equal to $x$ for all $y$, then $x=0$"

Can I prove set propositions using first-order logic?

How to prove this is a tautology

Confused on negation?

Trending Questions

Popular # Hahtags

Popular Questions