Question

Definability in the signature of first-order logic with identity

score 323 · Answer 1 · 2026-03-30 08:33:09

323

Views

Definability in the signature of first-order logic with identity

Published on 30 Mar 2026 - 8:33

score 32 · Answer 2 · 2026-03-28 01:13:44

32

Views

Predicate Logic: Finding languages $L_i$ to fulfill well formed formula

Published on 28 Mar 2026 - 1:13

score 161 · Answer 3 · 2019-12-17 06:43:03

161

Views

Predicate logic: Finding a domain for every interpretation

Published on 17 Dec 2019 - 6:43

score 33 · Answer 4 · 2019-12-17 07:32:18

33

Views

Predicate for a simple statement

Published on 17 Dec 2019 - 7:32

score 416 · Answer 5 · 2026-03-26 00:53:58

416

Views

Everyone loves all lovers, Romeo loves Juliet $\vdash$ I love you (Natural deduction proof)

Published on 26 Mar 2026 - 0:53

score 114 · Answer 6 · 2019-12-20 17:18:02

114

Views

Is there a sentence $\phi$ that is entailed by all sentences with the same properties as $\phi$? Does $\phi$ entail all of these sentences?

Published on 20 Dec 2019 - 17:18

score 179 · Answer 7 · 2026-03-26 04:16:09

179

Views

Predicate Logic Proof $\forall x\neg P(x) ⊢\neg \exists xP(x)$

Published on 26 Mar 2026 - 4:16

score 390 · Answer 8 · 2019-12-21 05:31:59

390

Views

draw a venn diagram mixing predicates and relations

Published on 21 Dec 2019 - 5:31

score 54 · Answer 9 · 2019-12-23 01:42:24

54

Views

How to interpret the "there is some non P" existential graph

Published on 23 Dec 2019 - 1:42

score 60 · Answer 10 · 2019-12-23 03:31:45

60

Views

Is this a valid Existential Graph?

Published on 23 Dec 2019 - 3:31

score 115 · Answer 11 · 2026-03-30 08:36:45

115

Views

Is the axiomatisation of the first-order theory $Σ$ of ordered fields in the language $L := \lbrace+, ·; <; 0, 1\rbrace$ maximal consistent?

Published on 30 Mar 2026 - 8:36

score 144 · Answer 12 · 2019-12-25 04:50:08

144

Views

Is $\exists x,y \in \mathbb{R}$ the same statement as $\exists x \in \mathbb{R} ∃y \in \mathbb{R}$? Etc.

Published on 25 Dec 2019 - 4:50

score 201 · Answer 13 · 2026-03-28 07:53:23

201

Views

Distributive property conjunction / existential quantifier

Published on 28 Mar 2026 - 7:53

score 102 · Answer 14 · 2019-12-30 13:54:41

102

Views

How do I prove that the following argument is valid for any finite universe of discourse?

Published on 30 Dec 2019 - 13:54

score 84 · Answer 15 · 2026-03-25 13:51:58

84

Views

Notation – existential quantificator for more elements

Published on 25 Mar 2026 - 13:51

List Question

Definability in the signature of first-order logic with identity

Predicate Logic: Finding languages $L_i$ to fulfill well formed formula

Predicate logic: Finding a domain for every interpretation

Predicate for a simple statement

Everyone loves all lovers, Romeo loves Juliet $\vdash$ I love you (Natural deduction proof)

Is there a sentence $\phi$ that is entailed by all sentences with the same properties as $\phi$? Does $\phi$ entail all of these sentences?

Predicate Logic Proof $\forall x\neg P(x) ⊢\neg \exists xP(x)$

draw a venn diagram mixing predicates and relations

How to interpret the "there is some non P" existential graph

Is this a valid Existential Graph?

Is the axiomatisation of the first-order theory $Σ$ of ordered fields in the language $L := \lbrace+, ·; <; 0, 1\rbrace$ maximal consistent?

Is $\exists x,y \in \mathbb{R}$ the same statement as $\exists x \in \mathbb{R} ∃y \in \mathbb{R}$? Etc.

Distributive property conjunction / existential quantifier

How do I prove that the following argument is valid for any finite universe of discourse?

Notation – existential quantificator for more elements

Trending Questions

Popular # Hahtags

Popular Questions