Question

Logic Inference Challenge

score 97 · Answer 1 · 2014-07-19 02:38:50

97

Views

Logic Inference Challenge

Published on 19 Jul 2014 - 2:38

score 91 · Answer 2 · 2014-07-20 17:13:26

91

Views

How do I notate that $1/2$ children do not exist

Published on 20 Jul 2014 - 17:13

score 74 · Answer 3 · 2014-07-21 18:43:20

74

Views

Represent "No naive is bad" using the first order logic.

Published on 21 Jul 2014 - 18:43

score 774 · Answer 4 · 2026-03-26 02:53:59

774

Views

Can universal instantiation be used more than once?

Published on 26 Mar 2026 - 2:53

score 744 · Answer 5 · 2014-07-28 13:08:54

744

Views

Two-place position predicate problem

Published on 28 Jul 2014 - 13:08

score 637 · Answer 6 · 2014-07-29 08:53:41

637

Views

Conjuctive Normal Form

Published on 29 Jul 2014 - 8:53

score 140 · Answer 7 · 2014-08-07 14:17:18

140

Views

Using expressions like $ \langle x,y \rangle$ in predicate logic formulas

Published on 07 Aug 2014 - 14:17

score 6.4k · Answer 8 · 2014-08-07 14:36:19

6.4k

Views

What is the position of "exclusive or" in order of precedence for logical connectives?

Published on 07 Aug 2014 - 14:36

score 189 · Answer 9 · 2014-08-07 21:32:29

189

Views

Where do the topics covered in Lewis Carroll's 1896 book "Symbolic logic" fit in the modern mathematical curriculum?

Published on 07 Aug 2014 - 21:32

score 1.1k · Answer 10 · 2026-03-29 06:55:42

1.1k

Views

Proof that there exist no finite axiomatic system with Compactness Theorem

Published on 29 Mar 2026 - 6:55

score 620 · Answer 11 · 2026-03-27 14:57:15

620

Views

Universal and existential quantifiers

Published on 27 Mar 2026 - 14:57

score 168 · Answer 12 · 2026-03-27 15:05:33

168

Views

Translating to English: $\forall x ¬(\forall y P(x, y)) \rightarrow \forall x \forall y ¬P(x, y)$

Published on 27 Mar 2026 - 15:05

score 70 · Answer 13 · 2014-08-13 17:02:52

70

Views

How to convert a sentence into first order logic?

Published on 13 Aug 2014 - 17:02

score 76 · Answer 14 · 2014-08-17 03:05:34

Have I proven this simple limit correctly? (trying a method that is new to me, using predicate calculus...but not yet "watertight")

score 403 · Answer 15 · 2014-08-17 18:27:20

403

Views

Doing a "harder" limit question from Stewart's Calculus using some predicate logic. Does my method work?

Published on 17 Aug 2014 - 18:27

List Question

Logic Inference Challenge

How do I notate that $1/2$ children do not exist

Represent "No naive is bad" using the first order logic.

Can universal instantiation be used more than once?

Two-place position predicate problem

Conjuctive Normal Form

Using expressions like $ \langle x,y \rangle$ in predicate logic formulas

What is the position of "exclusive or" in order of precedence for logical connectives?

Where do the topics covered in Lewis Carroll's 1896 book "Symbolic logic" fit in the modern mathematical curriculum?

Proof that there exist no finite axiomatic system with Compactness Theorem

Universal and existential quantifiers

Translating to English: $\forall x ¬(\forall y P(x, y)) \rightarrow \forall x \forall y ¬P(x, y)$

How to convert a sentence into first order logic?

Have I proven this simple limit correctly? (trying a method that is new to me, using predicate calculus...but not yet "watertight")

Doing a "harder" limit question from Stewart's Calculus using some predicate logic. Does my method work?

Trending Questions

Popular # Hahtags

Popular Questions