Question

what is the difference between formula and the abbrevation of a formula?

score 215 · Answer 1 · 2026-04-08 23:14:19

215

Views

what is the difference between formula and the abbrevation of a formula?

Published on 08 Apr 2026 - 23:14

score 1.4k · Answer 2 · 2026-04-09 01:23:23

1.4k

Views

Trivial question about nested quantifiers.

Published on 09 Apr 2026 - 1:23

score 298 · Answer 3 · 2026-04-11 10:12:30

298

Views

Translating statements into Predicate Logic

Published on 11 Apr 2026 - 10:12

score 576 · Answer 4 · 2026-04-11 17:55:08

576

Views

First order logic - how to prove a specific part of the completeness theorem?

Published on 11 Apr 2026 - 17:55

score 4k · Answer 5 · 2026-04-10 09:56:49

4k

Views

The truth value of quantified statements

Published on 10 Apr 2026 - 9:56

score 5k · Answer 6 · 2026-04-08 18:17:14

5k

Views

Translating a sentence into symbolic form.

Published on 08 Apr 2026 - 18:17

score 129 · Answer 7 · 2026-04-12 02:30:53

129

Views

Translation Sentence with Four Predicates

Published on 12 Apr 2026 - 2:30

score 2.4k · Answer 8 · 2013-03-02 20:16:34

2.4k

Views

What does it mean that a set S tautologically implies wff $\tau$

Published on 02 Mar 2013 - 20:16

score 2.5k · Answer 9 · 2013-03-06 03:24:22

2.5k

Views

Prove for all sequences $\{a_n\}$ and $\{b_n\}$, if $\lim a_n = a$ and $\lim b_n = b$, then $\lim a_n + b_n = a+b$ entirely in first-order logic

Published on 06 Mar 2013 - 3:24

score 367 · Answer 10 · 2026-04-02 19:15:31

367

Views

Help understanding $\exists x \exists y (x\neq y \wedge \forall z ((z=y)\vee (z=x)))$

Published on 02 Apr 2026 - 19:15

score 1.9k · Answer 11 · 2026-04-02 19:14:11

1.9k

Views

Difference between "There is one" vs "there is at least one"

Published on 02 Apr 2026 - 19:14

score 3.5k · Answer 12 · 2026-04-12 04:25:12

3.5k

Views

Translation of : The disjunction of two contingencies can be a tautology.

Published on 12 Apr 2026 - 4:25

score 337 · Answer 13 · 2026-04-11 08:41:27

337

Views

Are Horn clauses always universally quantified?

Published on 11 Apr 2026 - 8:41

score 1.6k · Answer 14 · 2026-04-02 19:13:29

1.6k

Views

$\forall m \exists n$, $mn = n$ True or False

Published on 02 Apr 2026 - 19:13

score 61 · Answer 15 · 2013-03-13 22:00:46

61

Views

Proving that it is not the case that a one-place predicate is not derivable from an infinite set

Published on 13 Mar 2013 - 22:00

List Question

what is the difference between formula and the abbrevation of a formula?

Trivial question about nested quantifiers.

Translating statements into Predicate Logic

First order logic - how to prove a specific part of the completeness theorem?

The truth value of quantified statements

Translating a sentence into symbolic form.

Translation Sentence with Four Predicates

What does it mean that a set S tautologically implies wff $\tau$

Prove for all sequences $\{a_n\}$ and $\{b_n\}$, if $\lim a_n = a$ and $\lim b_n = b$, then $\lim a_n + b_n = a+b$ entirely in first-order logic

Help understanding $\exists x \exists y (x\neq y \wedge \forall z ((z=y)\vee (z=x)))$

Difference between "There is one" vs "there is at least one"

Translation of : The disjunction of two contingencies can be a tautology.

Are Horn clauses always universally quantified?

$\forall m \exists n$, $mn = n$ True or False

Proving that it is not the case that a one-place predicate is not derivable from an infinite set

Trending Questions

Popular # Hahtags

Popular Questions