Question

Ehrenfeucht–Fraı̈ssé-like characterization of equivalence in stationary logic

score 78 · Answer 1 · 2026-04-11 21:26:09

78

Views

Ehrenfeucht–Fraı̈ssé-like characterization of equivalence in stationary logic

Published on 11 Apr 2026 - 21:26

score 80 · Answer 2 · 2026-04-16 07:09:16

80

Views

How exactly do casinos come up with their probabilities?

Published on 16 Apr 2026 - 7:09

score 154 · Answer 3 · 2026-04-14 20:19:34

154

Views

Is $(R;+,-,\times,<,=,\exp,0,1)$ decidable assuming Schanuel's conjecture? (note, there is $=$ too)

Published on 14 Apr 2026 - 20:19

score 43 · Answer 4 · 2026-04-15 08:00:29

43

Views

Proving $\forall a\;\exists b\;\forall c,d$ such that $|c-d|≤b ∨|c^2-d^2|>a$ (with all values positive reals)

Published on 15 Apr 2026 - 8:00

score 71 · Answer 5 · 2026-04-11 08:52:15

71

Views

Can't figure out logic proof

Published on 11 Apr 2026 - 8:52

score 43 · Answer 6 · 2026-04-17 13:47:37

43

Views

Proving $\forall s\in\mathbb{N},(\exists x \in\mathbb{N},s^2=3x)∨(\exists y\in\mathbb{N},s^2=3y-2)$

Published on 17 Apr 2026 - 13:47

score 45 · Answer 7 · 2026-04-12 11:12:56

45

Views

Simplifying Gates

Published on 12 Apr 2026 - 11:12

score 57 · Answer 8 · 2026-04-16 12:18:35

57

Views

using quantifiers for predicates, prenex normal form

Published on 16 Apr 2026 - 12:18

score 65 · Answer 9 · 2026-04-17 10:09:50

65

Views

Odd numbers and 0

Published on 17 Apr 2026 - 10:09

score 92 · Answer 10 · 2026-04-11 10:46:46

92

Views

Motivations for using Strong-K3 in Sentential Logic.

Published on 11 Apr 2026 - 10:46

score 132 · Answer 11 · 2026-04-17 17:53:00

132

Views

Set Theory: Conventions Dealing with Quantifiers and Set Builder

Published on 17 Apr 2026 - 17:53

score 132 · Answer 12 · 2026-04-13 20:38:22

132

Views

How sequent calculus are connected with the usual notion of satisfiability or validitiy of formula?

Published on 13 Apr 2026 - 20:38

score 61 · Answer 13 · 2026-04-14 04:43:12

61

Views

Understanding the selection of $r$ as $r=q\wedge\neg p$ in a proof that $q$ is an atom

Published on 14 Apr 2026 - 4:43

score 616 · Answer 14 · 2026-04-13 17:33:03

616

Views

Quantifier order for prenex normal form

Published on 13 Apr 2026 - 17:33

score 335 · Answer 15 · 2026-04-09 20:39:44

335

Views

Independency of Hilbert system's axioms

Published on 09 Apr 2026 - 20:39

List Question

Ehrenfeucht–Fraı̈ssé-like characterization of equivalence in stationary logic

How exactly do casinos come up with their probabilities?

Is $(R;+,-,\times,<,=,\exp,0,1)$ decidable assuming Schanuel's conjecture? (note, there is $=$ too)

Proving $\forall a\;\exists b\;\forall c,d$ such that $|c-d|≤b ∨|c^2-d^2|>a$ (with all values positive reals)

Can't figure out logic proof

Proving $\forall s\in\mathbb{N},(\exists x \in\mathbb{N},s^2=3x)∨(\exists y\in\mathbb{N},s^2=3y-2)$

Simplifying Gates

using quantifiers for predicates, prenex normal form

Odd numbers and 0

Motivations for using Strong-K3 in Sentential Logic.

Set Theory: Conventions Dealing with Quantifiers and Set Builder

How sequent calculus are connected with the usual notion of satisfiability or validitiy of formula?

Understanding the selection of $r$ as $r=q\wedge\neg p$ in a proof that $q$ is an atom

Quantifier order for prenex normal form

Independency of Hilbert system's axioms

Trending Questions

Popular # Hahtags

Popular Questions