Question

Consistency definition

score 174 · Answer 1 · 2020-02-15 13:55:30

174

Views

Consistency definition

Published on 15 Feb 2020 - 13:55

score 215 · Answer 2 · 2020-02-16 05:58:16

215

Views

Completeness theorem for Predicate logic with uncountable sentences?

Published on 16 Feb 2020 - 5:58

score 37 · Answer 3 · 2020-02-18 07:31:40

37

Views

Conceptual question about the definition of "The Image of $S$ under the map $f$"

Published on 18 Feb 2020 - 7:31

score 198 · Answer 4 · 2026-03-25 19:04:35

198

Views

The definition of truth in First Order Logic

Published on 25 Mar 2026 - 19:04

score 62 · Answer 5 · 2020-02-19 11:52:53

62

Views

Are my formulas correct and are there any tips and tricks to find them faster?

Published on 19 Feb 2020 - 11:52

score 190 · Answer 6 · 2020-02-21 11:56:56

190

Views

Syntax and semantic in classical logic

Published on 21 Feb 2020 - 11:56

score 43 · Answer 7 · 2020-02-21 17:24:44

43

Views

Equivalence of a statement and its complement (Logic)

Published on 21 Feb 2020 - 17:24

score 33 · Answer 8 · 2020-02-23 04:08:20

33

Views

Doubt in the answer for a Predicate logic question for the zoo example

Published on 23 Feb 2020 - 4:08

score 45 · Answer 9 · 2026-03-28 13:22:44

45

Views

Should I use an existential quantifier here?

Published on 28 Mar 2026 - 13:22

score 271 · Answer 10 · 2026-03-28 11:34:25

271

Views

Translating "at most $n$ other people" / "exactly $n$ other people" (besides possibly himself) into predicate formulas

Published on 28 Mar 2026 - 11:34

score 104 · Answer 11 · 2020-02-24 18:20:53

104

Views

Show that if $\Gamma \models^v \varphi$ then $\Gamma^{\forall} \cup \{ \neg(\varphi^{\forall}) \}$ is not satisfiable

Published on 24 Feb 2020 - 18:20

score 200 · Answer 12 · 2020-02-25 17:06:40

200

Views

What is the existential quantification of a proposition in which the quantified variable does not occur free? Is it even defined?

Published on 25 Feb 2020 - 17:06

score 191 · Answer 13 · 2020-02-25 17:09:29

191

Views

Writing predicate formulas on $\mathbb{N}$ using only the given predicates

Published on 25 Feb 2020 - 17:09

score 95 · Answer 14 · 2026-03-25 07:43:10

95

Views

Necessary and sufficient conditions on antecedent for deduction theorem

Published on 25 Mar 2026 - 7:43

score 424 · Answer 15 · 2020-02-28 15:40:18

424

Views

is saying: (p→q)→(q→p) equivalent to saying p→q, q ∴ p?

Published on 28 Feb 2020 - 15:40

List Question

Consistency definition

Completeness theorem for Predicate logic with uncountable sentences?

Conceptual question about the definition of "The Image of $S$ under the map $f$"

The definition of truth in First Order Logic

Are my formulas correct and are there any tips and tricks to find them faster?

Syntax and semantic in classical logic

Equivalence of a statement and its complement (Logic)

Doubt in the answer for a Predicate logic question for the zoo example

Should I use an existential quantifier here?

Translating "at most $n$ other people" / "exactly $n$ other people" (besides possibly himself) into predicate formulas

Show that if $\Gamma \models^v \varphi$ then $\Gamma^{\forall} \cup \{ \neg(\varphi^{\forall}) \}$ is not satisfiable

What is the existential quantification of a proposition in which the quantified variable does not occur free? Is it even defined?

Writing predicate formulas on $\mathbb{N}$ using only the given predicates

Necessary and sufficient conditions on antecedent for deduction theorem

is saying: (p→q)→(q→p) equivalent to saying p→q, q ∴ p?

Trending Questions

Popular # Hahtags

Popular Questions