Question

Instantiation and Negation

score 664 · Answer 1 · 2016-10-17 03:51:01

664

Views

Instantiation and Negation

Published on 17 Oct 2016 - 3:51

score 54 · Answer 2 · 2016-10-17 18:40:17

54

Views

How can I show that $(R \lor P ) \implies (R \lor Q)$ is equivalent to $R \lor (P \implies Q)$

Published on 17 Oct 2016 - 18:40

score 637 · Answer 3 · 2016-10-17 21:54:03

How can I prove that $\forall x \in D (P(x)\implies Q(X))$ is not equivalent to $(\forall x \in D, P(x))\implies (\forall x \in D, Q(X))$?

score 571 · Answer 4 · 2016-10-18 00:25:10

571

Views

Prove that semantic equivalence is reflexive, symmetric and transitive.

Published on 18 Oct 2016 - 0:25

score 139 · Answer 5 · 2026-03-25 17:19:21

139

Views

Predicate logic : translate Everyone knows some hard-working people

Published on 25 Mar 2026 - 17:19

score 231 · Answer 6 · 2016-10-19 11:35:05

231

Views

Prove that sentence is not tautology. Check if contradiction this one has finite model.

Published on 19 Oct 2016 - 11:35

score 156 · Answer 7 · 2016-10-19 21:04:37

156

Views

Prove that $\left\{\neg(\forall x \in M:a(x))\right\}\Leftrightarrow \left\{\exists x \in M: \neg a(x)\right\}$

Published on 19 Oct 2016 - 21:04

score 269 · Answer 8 · 2016-10-20 09:42:09

269

Views

Predicate into clause form

Published on 20 Oct 2016 - 9:42

score 130 · Answer 9 · 2016-10-20 17:01:14

130

Views

Operator Precedence in naive mathematical logic

Published on 20 Oct 2016 - 17:01

score 133 · Answer 10 · 2016-10-20 17:11:02

133

Views

Proof that $\forall x \in \Omega: \neg a(x) \Leftrightarrow \neg(\exists x \in \Omega: a(x))$

Published on 20 Oct 2016 - 17:11

score 197 · Answer 11 · 2016-10-21 02:36:16

197

Views

Hoare triple: Are those hoare triples are correct?

Published on 21 Oct 2016 - 2:36

score 3.3k · Answer 12 · 2016-10-21 14:03:38

3.3k

Views

Prove that $\neg(p \wedge q) \Leftrightarrow \neg p \vee \neg q$ using truth table

Published on 21 Oct 2016 - 14:03

score 83 · Answer 13 · 2016-10-21 15:31:16

83

Views

Show that $\neg(\forall x \in S: f(x)) \Leftrightarrow \exists x \in S: \neg f(x)$

Published on 21 Oct 2016 - 15:31

score 39 · Answer 14 · 2026-03-25 03:01:23

39

Views

Logical equivalence of a given formula

Published on 25 Mar 2026 - 3:01

score 374 · Answer 15 · 2026-04-01 06:33:30

374

Views

Does $ \mathfrak{A} \models (\exists x) \phi $ imply that $ \phi[x / t] $ for some term $ t $?

Published on 01 Apr 2026 - 6:33

List Question

Instantiation and Negation

How can I show that $(R \lor P ) \implies (R \lor Q)$ is equivalent to $R \lor (P \implies Q)$

How can I prove that $\forall x \in D (P(x)\implies Q(X))$ is not equivalent to $(\forall x \in D, P(x))\implies (\forall x \in D, Q(X))$?

Prove that semantic equivalence is reflexive, symmetric and transitive.

Predicate logic : translate Everyone knows some hard-working people

Prove that sentence is not tautology. Check if contradiction this one has finite model.

Prove that $\left\{\neg(\forall x \in M:a(x))\right\}\Leftrightarrow \left\{\exists x \in M: \neg a(x)\right\}$

Predicate into clause form

Operator Precedence in naive mathematical logic

Proof that $\forall x \in \Omega: \neg a(x) \Leftrightarrow \neg(\exists x \in \Omega: a(x))$

Hoare triple: Are those hoare triples are correct?

Prove that $\neg(p \wedge q) \Leftrightarrow \neg p \vee \neg q$ using truth table

Show that $\neg(\forall x \in S: f(x)) \Leftrightarrow \exists x \in S: \neg f(x)$

Logical equivalence of a given formula

Does $ \mathfrak{A} \models (\exists x) \phi $ imply that $ \phi[x / t] $ for some term $ t $?

Trending Questions

Popular # Hahtags

Popular Questions