Question

Predicate logic: "Everybody knows somebody who knows Alice"

score 2.8k · Answer 1 · 2013-11-17 21:08:24

2.8k

Views

Predicate logic: "Everybody knows somebody who knows Alice"

Published on 17 Nov 2013 - 21:08

score 2k · Answer 2 · 2013-11-20 15:16:46

2k

Views

Using variables and brackets in Predicate Logic

Published on 20 Nov 2013 - 15:16

score 202 · Answer 3 · 2013-11-21 13:13:09

202

Views

Correct interpretation of Kleene (Intro to Metamathematics) symbol $\vdash^x$ in Predicate Calculus

Published on 21 Nov 2013 - 13:13

score 330 · Answer 4 · 2026-04-01 05:52:20

330

Views

Is the following expression a tautology?

Published on 01 Apr 2026 - 5:52

score 1k · Answer 5 · 2013-11-22 17:49:24

1k

Views

Predicate Logic: Factoring of Quantifiers (Clarification of Concept)

Published on 22 Nov 2013 - 17:49

score 6.6k · Answer 6 · 2026-02-23 10:01:15

6.6k

Views

Substitution To Find Most General Unifier

Published on 23 Feb 2026 - 10:01

score 184 · Answer 7 · 2013-11-23 07:18:55

184

Views

Logical Equivalence Of Quantified Implications

Published on 23 Nov 2013 - 7:18

score 589 · Answer 8 · 2013-11-24 06:34:55

589

Views

An issue of understanding the inductive step in proof by induction

Published on 24 Nov 2013 - 6:34

score 228 · Answer 9 · 2026-03-26 12:40:50

228

Views

Translate informal math expressions into predicate logic

Published on 26 Mar 2026 - 12:40

score 778 · Answer 10 · 2013-11-24 19:43:05

778

Views

Arbitrary meaning two different things in two different settings

Published on 24 Nov 2013 - 19:43

score 97 · Answer 11 · 2013-11-26 00:38:32

97

Views

$\forall x,y,z \in \mathbb{R} (x\cdot 0 + y \cdot 0 + z \cdot 0=0) \to (x=y=z=0)$

Published on 26 Nov 2013 - 0:38

score 76 · Answer 12 · 2026-04-01 05:50:50

76

Views

Are these equivalent?

Published on 01 Apr 2026 - 5:50

score 154 · Answer 13 · 2013-11-26 21:20:25

154

Views

Proof that a statement involving quantifiers is false

Published on 26 Nov 2013 - 21:20

score 8.2k · Answer 14 · 2013-11-26 22:00:31

8.2k

Views

Help with 'If, then'- and 'Only if'-sentences in Predicate Logic

Published on 26 Nov 2013 - 22:00

score 365 · Answer 15 · 2026-03-30 14:53:04

365

Views

Type Theory (Proof tree)

Published on 30 Mar 2026 - 14:53

List Question

Predicate logic: "Everybody knows somebody who knows Alice"

Using variables and brackets in Predicate Logic

Correct interpretation of Kleene (Intro to Metamathematics) symbol $\vdash^x$ in Predicate Calculus

Is the following expression a tautology?

Predicate Logic: Factoring of Quantifiers (Clarification of Concept)

Substitution To Find Most General Unifier

Logical Equivalence Of Quantified Implications

An issue of understanding the inductive step in proof by induction

Translate informal math expressions into predicate logic

Arbitrary meaning two different things in two different settings

$\forall x,y,z \in \mathbb{R} (x\cdot 0 + y \cdot 0 + z \cdot 0=0) \to (x=y=z=0)$

Are these equivalent?

Proof that a statement involving quantifiers is false

Help with 'If, then'- and 'Only if'-sentences in Predicate Logic

Type Theory (Proof tree)

Trending Questions

Popular # Hahtags

Popular Questions