Question

FOL formula and check valididty of this?

score 64 · Answer 1 · 2026-04-13 02:33:01

64

Views

FOL formula and check valididty of this?

Published on 13 Apr 2026 - 2:33

score 29 · Answer 2 · 2026-04-12 14:11:41

29

Views

About equal substitutions

Published on 12 Apr 2026 - 14:11

score 2.1k · Answer 3 · 2026-03-27 14:59:09

2.1k

Views

Prove by Natural deduction that $\lnot\exists xP(x)\rightarrow\forall x\lnot P(x)$

Published on 27 Mar 2026 - 14:59

score 152 · Answer 4 · 2026-04-08 17:30:10

152

Views

Proof Using Natural Deduction (including '=' rules)

Published on 08 Apr 2026 - 17:30

score 189 · Answer 5 · 2015-05-28 07:13:45

189

Views

Determine under which conditions the formula $\phi[t/x]\leftrightarrow \forall x ((x=t)\rightarrow \phi)$ is logically true

Published on 28 May 2015 - 7:13

score 215 · Answer 6 · 2026-04-04 13:10:06

215

Views

Prove or disprove wether the sentence $\exists x\forall y Q(x,y)\to \forall y\exists x Q(x,y)$ is logically true

Published on 04 Apr 2026 - 13:10

score 208 · Answer 7 · 2015-05-30 10:15:37

208

Views

if skolem($\alpha$) is valid then $\alpha$ is valid

Published on 30 May 2015 - 10:15

score 234 · Answer 8 · 2015-05-30 11:47:02

234

Views

Find a first order sentence satisfied by models with square domain.

Published on 30 May 2015 - 11:47

score 101 · Answer 9 · 2026-04-12 22:58:43

101

Views

Writing a sentence that is true in one model and false in the other

Published on 12 Apr 2026 - 22:58

score 116 · Answer 10 · 2026-04-09 15:20:28

116

Views

Hilbert Calculus, Formal Proof Converse

Published on 09 Apr 2026 - 15:20

score 424 · Answer 11 · 2015-06-05 04:27:44

424

Views

Prove disconnectedness of a graph is not generalized first-order logic definable

Published on 05 Jun 2015 - 4:27

score 1.2k · Answer 12 · 2026-04-11 04:47:33

1.2k

Views

The problem of Free Variables in natural deduction rules ($\forall$, $\exists$, =).

Published on 11 Apr 2026 - 4:47

score 271 · Answer 13 · 2026-04-11 06:55:32

271

Views

confusion about 2 first order logic wff's - they seem not equal, but instructor says they are =

Published on 11 Apr 2026 - 6:55

score 495 · Answer 14 · 2026-04-10 16:48:58

495

Views

How do we know that our definitions/axioms are not contradictory?

Published on 10 Apr 2026 - 16:48

score 107 · Answer 15 · 2026-04-11 21:20:09

107

Views

How to show that a logical argument is valid?

Published on 11 Apr 2026 - 21:20

List Question

FOL formula and check valididty of this?

About equal substitutions

Prove by Natural deduction that $\lnot\exists xP(x)\rightarrow\forall x\lnot P(x)$

Proof Using Natural Deduction (including '=' rules)

Determine under which conditions the formula $\phi[t/x]\leftrightarrow \forall x ((x=t)\rightarrow \phi)$ is logically true

Prove or disprove wether the sentence $\exists x\forall y Q(x,y)\to \forall y\exists x Q(x,y)$ is logically true

if skolem($\alpha$) is valid then $\alpha$ is valid

Find a first order sentence satisfied by models with square domain.

Writing a sentence that is true in one model and false in the other

Hilbert Calculus, Formal Proof Converse

Prove disconnectedness of a graph is not generalized first-order logic definable

The problem of Free Variables in natural deduction rules ($\forall$, $\exists$, =).

confusion about 2 first order logic wff's - they seem not equal, but instructor says they are =

How do we know that our definitions/axioms are not contradictory?

How to show that a logical argument is valid?

Trending Questions

Popular # Hahtags

Popular Questions