Question

Is this representation of "Einstein's riddle" correct?

score 114 · Answer 1 · 2022-02-21 12:47:02

114

Views

Is this representation of "Einstein's riddle" correct?

Published on 21 Feb 2022 - 12:47

score 371 · Answer 2 · 2022-03-03 20:33:26

371

Views

Translate English into first order logic: there are an infinite number of something

Published on 03 Mar 2022 - 20:33

score 784 · Answer 3 · 2022-03-19 08:40:49

784

Views

‘If there exists some $x$ such that $P(x)$ is true, then for (the same) $x,\,Q(x)$ is also true’

Published on 19 Mar 2022 - 8:40

score 149 · Answer 4 · 2022-04-04 11:20:18

149

Views

$\exists x\,\big( x >0 → x^3 < 0\big)$

Published on 04 Apr 2022 - 11:20

score 165 · Answer 5 · 2022-04-10 15:27:32

165

Views

Translating "there exists an element that comes after all others"

Published on 10 Apr 2022 - 15:27

score 701 · Answer 6 · 2022-04-15 14:59:14

701

Views

There is a student in this class who has been in every room of at least one building on campus

Published on 15 Apr 2022 - 14:59

score 120 · Answer 7 · 2022-05-07 10:31:16

120

Views

How to Translating sentences from English into predicate logic

Published on 07 May 2022 - 10:31

score 60 · Answer 8 · 2022-05-11 18:54:44

60

Views

Predicate logic: Symbolize this categorical statement.

Published on 11 May 2022 - 18:54

score 552 · Answer 9 · 2022-05-18 02:57:12

552

Views

$A$ says "I am a knight" and $B$ says "$A$ is a Knave?" therefore what is $A$ and $B$?

Published on 18 May 2022 - 2:57

score 419 · Answer 10 · 2022-05-28 06:56:26

419

Views

Learning to translate natural-language phrases to formal logic

Published on 28 May 2022 - 6:56

score 271 · Answer 11 · 2022-05-29 17:00:11

271

Views

Is it possible to simplify: $[\forall x (Px\to Qx)]\lor [\forall x(Px\to Rx)]$?

Published on 29 May 2022 - 17:00

score 97 · Answer 12 · 2022-06-01 22:06:40

97

Views

Word-by-word translation into formal logic: "For all $x$ ($Px$ implies that $Qx$ is constant)"

Published on 01 Jun 2022 - 22:06

score 145 · Answer 13 · 2022-06-16 10:20:14

145

Views

Existential conditional on aspects of forall

Published on 16 Jun 2022 - 10:20

score 415 · Answer 14 · 2022-06-30 13:01:55

415

Views

If the cat is on the mat then that cat exists

Published on 30 Jun 2022 - 13:01

score 705 · Answer 15 · 2022-07-01 09:36:19

705

Views

How do we tell whether ‘some’ means Exactly one or At least one?

Published on 01 Jul 2022 - 9:36

List Question

Is this representation of "Einstein's riddle" correct?

Translate English into first order logic: there are an infinite number of something

‘If there exists some $x$ such that $P(x)$ is true, then for (the same) $x,\,Q(x)$ is also true’

$\exists x\,\big( x >0 → x^3 < 0\big)$

Translating "there exists an element that comes after all others"

There is a student in this class who has been in every room of at least one building on campus

How to Translating sentences from English into predicate logic

Predicate logic: Symbolize this categorical statement.

$A$ says "I am a knight" and $B$ says "$A$ is a Knave?" therefore what is $A$ and $B$?

Learning to translate natural-language phrases to formal logic

Is it possible to simplify: $[\forall x (Px\to Qx)]\lor [\forall x(Px\to Rx)]$?

Word-by-word translation into formal logic: "For all $x$ ($Px$ implies that $Qx$ is constant)"

Existential conditional on aspects of forall

If the cat is on the mat then that cat exists

How do we tell whether ‘some’ means Exactly one or At least one?

Trending Questions

Popular # Hahtags

Popular Questions