Question

Predicate logic claim

score 82 · Answer 1 · 2019-10-18 21:36:22

82

Views

Predicate logic claim

Published on 18 Oct 2019 - 21:36

score 57 · Answer 2 · 2019-10-19 07:13:59

57

Views

(∃a)(∀b)(∃c)(∀d)(a · c = d · b) as 2 equal formulas using only one type of quantifier

Published on 19 Oct 2019 - 7:13

score 51 · Answer 3 · 2019-10-21 07:31:33

51

Views

Everyone has exactly 1 favorite book (z)

Published on 21 Oct 2019 - 7:31

score 408 · Answer 4 · 2019-10-21 13:46:49

408

Views

Is it possible to define functions with infinitely many variables, using relations?

Published on 21 Oct 2019 - 13:46

score 50 · Answer 5 · 2019-10-21 19:23:09

50

Views

What property holds for $\mathbb{R}$, but not for $\mathbb{Q}$ when we can use just multiplication and equal sign?

Published on 21 Oct 2019 - 19:23

score 81 · Answer 6 · 2019-10-21 23:18:27

81

Views

What is the relationship regarding a condtional worded as "not a necessary condition"

Published on 21 Oct 2019 - 23:18

score 149 · Answer 7 · 2019-10-23 15:07:40

149

Views

How to visualize arbitrary arity predicates (ternary, quaternary…)?

Published on 23 Oct 2019 - 15:07

score 1.1k · Answer 8 · 2026-03-28 03:02:20

1.1k

Views

When the occurrence of a variable is said bound or free in a quantified statement?

Published on 28 Mar 2026 - 3:02

score 955 · Answer 9 · 2026-03-09 05:47:50

955

Views

Is a variable/arbitrary element a precisely defined mathematical object?

Published on 09 Mar 2026 - 5:47

score 60 · Answer 10 · 2026-03-28 02:59:32

60

Views

Interpretation for the predicate formula

Published on 28 Mar 2026 - 2:59

score 75 · Answer 11 · 2019-10-27 21:41:10

75

Views

How can I write the axioms for a semiring of sets in formal logic?

Published on 27 Oct 2019 - 21:41

score 246 · Answer 12 · 2026-03-26 10:56:26

246

Views

Concise introduction to first-order deductive system with free-variable formulas

Published on 26 Mar 2026 - 10:56

score 27 · Answer 13 · 2019-10-29 09:59:22

Interpretation of negation when translating a sentence to propositional logic (outside bracket vs. applied to each proposition inside bracket)

score 112 · Answer 14 · 2026-03-29 23:40:47

112

Views

Primitive formulae and Q.E.

Published on 29 Mar 2026 - 23:40

score 146 · Answer 15 · 2026-03-28 02:59:40

146

Views

Negating a quantified predicate

Published on 28 Mar 2026 - 2:59

List Question

Predicate logic claim

(∃a)(∀b)(∃c)(∀d)(a · c = d · b) as 2 equal formulas using only one type of quantifier

Everyone has exactly 1 favorite book (z)

Is it possible to define functions with infinitely many variables, using relations?

What property holds for $\mathbb{R}$, but not for $\mathbb{Q}$ when we can use just multiplication and equal sign?

What is the relationship regarding a condtional worded as "not a necessary condition"

How to visualize arbitrary arity predicates (ternary, quaternary…)?

When the occurrence of a variable is said bound or free in a quantified statement?

Is a variable/arbitrary element a precisely defined mathematical object?

Interpretation for the predicate formula

How can I write the axioms for a semiring of sets in formal logic?

Concise introduction to first-order deductive system with free-variable formulas

Interpretation of negation when translating a sentence to propositional logic (outside bracket vs. applied to each proposition inside bracket)

Primitive formulae and Q.E.

Negating a quantified predicate

Trending Questions

Popular # Hahtags

Popular Questions