Question

A question about $(\exists x: p(x) \supset q(x)) \equiv ((\forall x: p(x)) \supset (\exists x: q(x)))$

score 52 · Answer 1 · 2015-02-28 10:12:31

52

Views

A question about $(\exists x: p(x) \supset q(x)) \equiv ((\forall x: p(x)) \supset (\exists x: q(x)))$

Published on 28 Feb 2015 - 10:12

score 92 · Answer 2 · 2015-02-28 14:01:43

92

Views

Equality of nested quantified proposition

Published on 28 Feb 2015 - 14:01

score 2.1k · Answer 3 · 2015-03-01 06:08:43

2.1k

Views

Equivalence of first order logic formulas

Published on 01 Mar 2015 - 6:08

score 6k · Answer 4 · 2015-03-01 21:01:57

6k

Views

Proof: if $R$ is symmetric then so is $R^{-1}$

Published on 01 Mar 2015 - 21:01

score 183 · Answer 5 · 2015-03-02 11:37:09

183

Views

Is my interpretation of the definition of free variable correct?

Published on 02 Mar 2015 - 11:37

score 520 · Answer 6 · 2015-03-02 19:09:40

520

Views

semantic consequence in first order logic

Published on 02 Mar 2015 - 19:09

score 2.6k · Answer 7 · 2015-03-03 09:07:07

2.6k

Views

Substituting two variables in a first order logic formula (free and bounded variables)

Published on 03 Mar 2015 - 9:07

score 245 · Answer 8 · 2015-03-03 19:52:24

245

Views

Derive $\forall x (P(x) \to Q(x)) \to (\exists x P(x) \to \exists x Q(x))$

Published on 03 Mar 2015 - 19:52

score 207 · Answer 9 · 2015-03-04 08:53:01

207

Views

Is the following propositional function well defined?

Published on 04 Mar 2015 - 8:53

score 137 · Answer 10 · 2015-03-04 16:04:57

137

Views

Bernard has a younger brother in logic

Published on 04 Mar 2015 - 16:04

score 89 · Answer 11 · 2026-03-30 11:20:27

89

Views

$(\forall (x,y) \in F\times G, \phi(x) \lor \psi(y) ) \Leftrightarrow (\forall x\in F, \phi(x)) \lor (\forall y\in G, \psi(y))$?

Published on 30 Mar 2026 - 11:20

score 4.4k · Answer 12 · 2026-03-30 11:18:04

4.4k

Views

Is $\exists x(P(x) \to Q(x)) \equiv (\exists xP(x) \to \exists xQ(x))$?

Published on 30 Mar 2026 - 11:18

score 31 · Answer 13 · 2015-03-09 02:29:55

31

Views

Predicative logic implication, is it true?

Published on 09 Mar 2015 - 2:29

score 247 · Answer 14 · 2015-03-10 22:51:30

247

Views

Is there a concise second-order logic tutorial available online?

Published on 10 Mar 2015 - 22:51

score 112 · Answer 15 · 2015-03-12 18:46:05

112

Views

Infinity of every ZF model

Published on 12 Mar 2015 - 18:46

List Question

A question about $(\exists x: p(x) \supset q(x)) \equiv ((\forall x: p(x)) \supset (\exists x: q(x)))$

Equality of nested quantified proposition

Equivalence of first order logic formulas

Proof: if $R$ is symmetric then so is $R^{-1}$

Is my interpretation of the definition of free variable correct?

semantic consequence in first order logic

Substituting two variables in a first order logic formula (free and bounded variables)

Derive $\forall x (P(x) \to Q(x)) \to (\exists x P(x) \to \exists x Q(x))$

Is the following propositional function well defined?

Bernard has a younger brother in logic

$(\forall (x,y) \in F\times G, \phi(x) \lor \psi(y) ) \Leftrightarrow (\forall x\in F, \phi(x)) \lor (\forall y\in G, \psi(y))$?

Is $\exists x(P(x) \to Q(x)) \equiv (\exists xP(x) \to \exists xQ(x))$?

Predicative logic implication, is it true?

Is there a concise second-order logic tutorial available online?

Infinity of every ZF model

Trending Questions

Popular # Hahtags

Popular Questions