Question

Why is $\exists y \in B, \ \forall x \in A, \ P(x,y) $ stronger than $\forall x \in A,\ \exists y \in B, \ P(x,y)$

score 1.1k · Answer 1 · 2026-03-27 06:09:13

1.1k

Views

Why is $\exists y \in B, \ \forall x \in A, \ P(x,y) $ stronger than $\forall x \in A,\ \exists y \in B, \ P(x,y)$

Published on 27 Mar 2026 - 6:09

score 1k · Answer 2 · 2026-03-25 09:18:26

1k

Views

First-Order Logic: Formalisation of the phrase "Not all that glitters is gold"

Published on 25 Mar 2026 - 9:18

score 2k · Answer 3 · 2026-03-28 16:28:23

2k

Views

Predicate logic: Formalisation of the quote by Abraham Lincoln

Published on 28 Mar 2026 - 16:28

score 106 · Answer 4 · 2026-03-25 09:16:59

106

Views

There is a natural number, whose every divisor is smaller than 147. How to write formally?

Published on 25 Mar 2026 - 9:16

score 159 · Answer 5 · 2026-03-25 15:51:00

159

Views

Natural deduction proof of $p \lor (p\implies q)$ with propositional calculus

Published on 25 Mar 2026 - 15:51

score 63 · Answer 6 · 2019-08-11 08:49:54

63

Views

The principle of finite choice for a single set family (ZF)

Published on 11 Aug 2019 - 8:49

score 166 · Answer 7 · 2026-03-30 06:32:14

166

Views

Infinite choice (ZF)

Published on 30 Mar 2026 - 6:32

score 183 · Answer 8 · 2026-03-27 19:33:25

183

Views

In $(\mathbb{Z},<)$ is it possible to define the operation of addition?

Published on 27 Mar 2026 - 19:33

score 255 · Answer 9 · 2026-03-27 07:49:23

255

Views

First Order Logic: Diffrence b/w $\{\forall x P(x) \implies Q(x) \}$ and $\{ (\forall x P(x)) \implies Q(x)) \}$

Published on 27 Mar 2026 - 7:49

score 68 · Answer 10 · 2026-03-27 19:33:21

68

Views

Why is the value group of a $C$-minimal field $O$-minimal?

Published on 27 Mar 2026 - 19:33

score 109 · Answer 11 · 2026-03-27 19:31:37

109

Views

How to prove the equivalent condition for QE?

Published on 27 Mar 2026 - 19:31

score 108 · Answer 12 · 2026-03-25 05:06:56

108

Views

-rule in semantic tableaux of first-order logic

Published on 25 Mar 2026 - 5:06

score 203 · Answer 13 · 2026-03-28 16:25:50

203

Views

What rule of inference is used in the following example? "All cows are black", "the cow is in the cage" therefore "the cow in the cage is black"

Published on 28 Mar 2026 - 16:25

score 210 · Answer 14 · 2019-08-18 16:48:29

210

Views

Is the theory of real numbers for the language $\{0,1,+,-,\cdot\}$ decidable?

Published on 18 Aug 2019 - 16:48

score 61 · Answer 15 · 2019-08-19 13:07:47

61

Views

Is the following argument invalid or how do we call this type of argument with contradictory truth values of its premises?

Published on 19 Aug 2019 - 13:07

List Question

Why is $\exists y \in B, \ \forall x \in A, \ P(x,y) $ stronger than $\forall x \in A,\ \exists y \in B, \ P(x,y)$

First-Order Logic: Formalisation of the phrase "Not all that glitters is gold"

Predicate logic: Formalisation of the quote by Abraham Lincoln

There is a natural number, whose every divisor is smaller than 147. How to write formally?

Natural deduction proof of $p \lor (p\implies q)$ with propositional calculus

The principle of finite choice for a single set family (ZF)

Infinite choice (ZF)

In $(\mathbb{Z},<)$ is it possible to define the operation of addition?

First Order Logic: Diffrence b/w $\{\forall x P(x) \implies Q(x) \}$ and $\{ (\forall x P(x)) \implies Q(x)) \}$

Why is the value group of a $C$-minimal field $O$-minimal?

How to prove the equivalent condition for QE?

-rule in semantic tableaux of first-order logic

What rule of inference is used in the following example? "All cows are black", "the cow is in the cage" therefore "the cow in the cage is black"

Is the theory of real numbers for the language $\{0,1,+,-,\cdot\}$ decidable?

Is the following argument invalid or how do we call this type of argument with contradictory truth values of its premises?

Trending Questions

Popular # Hahtags

Popular Questions