Question

Is relation "xRy iff x^2 + y^2 is odd or y < 0" correct?

score 44 · Answer 1 · 2020-04-13 12:23:29

44

Views

Is relation "xRy iff x^2 + y^2 is odd or y < 0" correct?

Published on 13 Apr 2020 - 12:23

score 53 · Answer 2 · 2020-04-13 13:12:27

53

Views

The complete set of R on the subset of Z when y < 0

Published on 13 Apr 2020 - 13:12

score 50 · Answer 3 · 2020-04-16 18:33:15

50

Views

Logical statement limiting number of variables that can be true at the same time

Published on 16 Apr 2020 - 18:33

score 46 · Answer 4 · 2026-03-27 01:00:05

46

Views

Find the mistake on the "proof" that $\exists x(\neg p(x)\land\neg q(x))\implies\exists x\,\neg p(x)\land\exists x\,\neg q(x)$

Published on 27 Mar 2026 - 1:00

score 264 · Answer 5 · 2026-03-25 15:52:36

264

Views

How to translate English phrase "One can..." into FOL

Published on 25 Mar 2026 - 15:52

score 770 · Answer 6 · 2020-04-22 17:29:33

770

Views

Double negation of existential/universal quantifier $\lnot(\exists x(\lnot A(x))$

Published on 22 Apr 2020 - 17:29

score 272 · Answer 7 · 2020-04-24 05:30:33

272

Views

Proving and disproving statements involving quantifiers

Published on 24 Apr 2020 - 5:30

score 220 · Answer 8 · 2026-03-25 19:07:12

220

Views

How to express ''there exists a subset $X$ of $\Delta$ which is such that at least $50$ percent of $X$ satisfy a property''

Published on 25 Mar 2026 - 19:07

score 890 · Answer 9 · 2026-03-25 15:52:34

890

Views

Converting English statements into symbolic form and then negating them

Published on 25 Mar 2026 - 15:52

score 49 · Answer 10 · 2026-03-27 02:35:51

49

Views

Find the mistake: $A=\emptyset\land B=\emptyset\leftrightarrow A\times B=\emptyset$

Published on 27 Mar 2026 - 2:35

score 99 · Answer 11 · 2020-04-30 17:13:39

99

Views

Quantifiers and Negation

Published on 30 Apr 2020 - 17:13

score 54 · Answer 12 · 2020-05-05 03:17:22

54

Views

Help With Predicate Logic Proof $(\exists x)[R(x) \vee S(x)] \rightarrow (\exists x)R(x) \vee (\exists x)S(x)$

Published on 05 May 2020 - 3:17

score 291 · Answer 13 · 2026-03-25 15:55:47

291

Views

Translation of $[\forall xP(x) \rightarrow (\forall x) Q(x)] \rightarrow (\forall x) [P(x) \rightarrow Q(x)]$ to English

Published on 25 Mar 2026 - 15:55

score 61 · Answer 14 · 2026-03-25 09:38:09

61

Views

Non-existence of a dischargeable hypothesis

Published on 25 Mar 2026 - 9:38

score 976 · Answer 15 · 2026-03-26 12:08:30

976

Views

Given $∃y.∀x.p(x,y)$, use the Fitch system to prove $∀x.∃y.p(x,y)$

Published on 26 Mar 2026 - 12:08

List Question

Is relation "xRy iff x^2 + y^2 is odd or y < 0" correct?

The complete set of R on the subset of Z when y < 0

Logical statement limiting number of variables that can be true at the same time

Find the mistake on the "proof" that $\exists x(\neg p(x)\land\neg q(x))\implies\exists x\,\neg p(x)\land\exists x\,\neg q(x)$

How to translate English phrase "One can..." into FOL

Double negation of existential/universal quantifier $\lnot(\exists x(\lnot A(x))$

Proving and disproving statements involving quantifiers

How to express ''there exists a subset $X$ of $\Delta$ which is such that at least $50$ percent of $X$ satisfy a property''

Converting English statements into symbolic form and then negating them

Find the mistake: $A=\emptyset\land B=\emptyset\leftrightarrow A\times B=\emptyset$

Quantifiers and Negation

Help With Predicate Logic Proof $(\exists x)[R(x) \vee S(x)] \rightarrow (\exists x)R(x) \vee (\exists x)S(x)$

Translation of $[\forall xP(x) \rightarrow (\forall x) Q(x)] \rightarrow (\forall x) [P(x) \rightarrow Q(x)]$ to English

Non-existence of a dischargeable hypothesis

Given $∃y.∀x.p(x,y)$, use the Fitch system to prove $∀x.∃y.p(x,y)$

Trending Questions

Popular # Hahtags

Popular Questions