Question

Questions about first-order formulas of set theory

score 47 · Answer 1 · 2020-01-09 16:02:20

Questions about first-order formulas of set theory

Published on 09 Jan 2020 - 16:02

score 52 · Answer 2 · 2020-01-09 19:48:23

Difference between $(\forall x.\rm{Cat}(x))\rightarrow(\forall y.\rm{Loves}(y,y))$ and $\forall x.\forall y.(\rm{Cat}(x)\rightarrow\rm{Loves}(y, y))$?

score 565 · Answer 3 · 2020-01-09 22:15:17

565

Views

How to translate “no two robots love exactly the same set of cats.” to first-order logic?

Published on 09 Jan 2020 - 22:15

score 426 · Answer 4 · 2026-03-31 18:21:45

426

Views

How to prove "If H is a hereditary set, then ℘(H) is also a hereditary set."?

Published on 31 Mar 2026 - 18:21

score 127 · Answer 5 · 2020-01-10 16:16:42

127

Views

Justifying lines in proof: why $\neg (a=b) \Leftrightarrow a<b \vee a>b$

Published on 10 Jan 2020 - 16:16

score 822 · Answer 6 · 2026-03-30 10:21:11

822

Views

The theory of connected graphs is not axiomatizable at the first order

Published on 30 Mar 2026 - 10:21

score 191 · Answer 7 · 2026-03-30 10:21:12

191

Views

Application of the compactness theorem to the theory of graphs

Published on 30 Mar 2026 - 10:21

score 89 · Answer 8 · 2026-02-23 08:42:04

89

Views

How to prove (and which deduction systems are necessary/sufficient) the formula $\forall x\exists y f(x)=y$

Published on 23 Feb 2026 - 8:42

score 140 · Answer 9 · 2026-03-28 09:44:13

140

Views

Predicate Logic: Being Careful with Parentheses

Published on 28 Mar 2026 - 9:44

score 131 · Answer 10 · 2026-03-31 05:21:52

131

Views

What kind of logic do i need to understand math definitions/theorems etc?

Published on 31 Mar 2026 - 5:21

score 63 · Answer 11 · 2026-03-31 03:13:57

63

Views

Is the statement $(\exists x\psi(x)\rightarrow\forall x\theta(x))\vdash \forall x(\psi(x)\rightarrow\theta(x))$ true in intuitionistic/minimal logic?

Published on 31 Mar 2026 - 3:13

score 578 · Answer 12 · 2026-03-31 05:25:33

578

Views

Are $(\exists x)(\exists y)$ and $(\forall x)(\forall y)$ equivalent to $(\exists y)(\exists x)$ and $(\forall y)(\forall x)$ respectively?

Published on 31 Mar 2026 - 5:25

score 59 · Answer 13 · 2026-03-26 14:27:44

59

Views

Can this function be described by a formula?

Published on 26 Mar 2026 - 14:27

score 351 · Answer 14 · 2026-03-31 05:00:51

351

Views

How can I learn to read predicate logic sentences?

Published on 31 Mar 2026 - 5:00

score 949 · Answer 15 · 2026-03-26 12:35:38

949

Views

Is spending a long time to understand logic very well worth it to learn math better?

Published on 26 Mar 2026 - 12:35

List Question

Questions about first-order formulas of set theory

Difference between $(\forall x.\rm{Cat}(x))\rightarrow(\forall y.\rm{Loves}(y,y))$ and $\forall x.\forall y.(\rm{Cat}(x)\rightarrow\rm{Loves}(y, y))$?

How to translate “no two robots love exactly the same set of cats.” to first-order logic?

How to prove "If H is a hereditary set, then ℘(H) is also a hereditary set."?

Justifying lines in proof: why $\neg (a=b) \Leftrightarrow a<b \vee a>b$

The theory of connected graphs is not axiomatizable at the first order

Application of the compactness theorem to the theory of graphs

How to prove (and which deduction systems are necessary/sufficient) the formula $\forall x\exists y f(x)=y$

Predicate Logic: Being Careful with Parentheses

What kind of logic do i need to understand math definitions/theorems etc?

Is the statement $(\exists x\psi(x)\rightarrow\forall x\theta(x))\vdash \forall x(\psi(x)\rightarrow\theta(x))$ true in intuitionistic/minimal logic?

Are $(\exists x)(\exists y)$ and $(\forall x)(\forall y)$ equivalent to $(\exists y)(\exists x)$ and $(\forall y)(\forall x)$ respectively?

Can this function be described by a formula?

How can I learn to read predicate logic sentences?

Is spending a long time to understand logic very well worth it to learn math better?

Trending Questions

Popular # Hahtags

Popular Questions