Question

Prove $\;\big((p\rightarrow q) \lor (p \rightarrow r)\big) \rightarrow (q\lor r)\equiv p \lor q \lor r$ without use of a truth table.

score 195 · Answer 1 · 2014-10-17 10:55:57

Prove $\;\big((p\rightarrow q) \lor (p \rightarrow r)\big) \rightarrow (q\lor r)\equiv p \lor q \lor r$ without use of a truth table.

score 114 · Answer 2 · 2014-10-17 11:17:23

114

Views

show that $(p \to q) \vee (p \to r) \to (q \vee r)$ and $p\vee q\vee r$ are logically equivalent

Published on 17 Oct 2014 - 11:17

score 426 · Answer 3 · 2014-10-18 16:03:05

426

Views

prove $[¬p\land (p\lor q)]→q ≡ T$ without using the truth table

Published on 18 Oct 2014 - 16:03

score 126 · Answer 4 · 2014-10-19 09:37:53

126

Views

Simplify a logic expression

Published on 19 Oct 2014 - 9:37

score 79 · Answer 5 · 2014-10-19 10:34:55

79

Views

Simplify a logic expression

Published on 19 Oct 2014 - 10:34

score 412 · Answer 6 · 2014-10-19 13:33:29

412

Views

Propositional Logic meta-variable notation abuse

Published on 19 Oct 2014 - 13:33

score 1.3k · Answer 7 · 2014-10-19 14:11:15

1.3k

Views

Proof that expression is a tautology

Published on 19 Oct 2014 - 14:11

score 89 · Answer 8 · 2026-03-25 07:42:39

89

Views

Why do you only need to show validity in one world when using trees in institutionist/constructivist logic?

Published on 25 Mar 2026 - 7:42

score 48 · Answer 9 · 2014-10-20 15:47:35

48

Views

What operation is done first in the following exercise...

Published on 20 Oct 2014 - 15:47

score 140 · Answer 10 · 2026-03-29 20:28:46

140

Views

Prove that John is not a light sleeper

Published on 29 Mar 2026 - 20:28

score 615 · Answer 11 · 2026-03-29 20:36:50

615

Views

Translate the following sentence into conjunctive normal form

Published on 29 Mar 2026 - 20:36

score 376 · Answer 12 · 2014-10-21 03:25:51

376

Views

Properties that can be proven with induction on wff's?

Published on 21 Oct 2014 - 3:25

score 52 · Answer 13 · 2014-10-22 05:19:07

52

Views

Inference Lemma Proof?

Published on 22 Oct 2014 - 5:19

score 1k · Answer 14 · 2014-10-22 06:08:20

1k

Views

Proof of Soundness Lemma

Published on 22 Oct 2014 - 6:08

score 1.3k · Answer 15 · 2014-10-22 07:12:21

1.3k

Views

propositional-calculus/logic riddle

Published on 22 Oct 2014 - 7:12

List Question

Prove $\;\big((p\rightarrow q) \lor (p \rightarrow r)\big) \rightarrow (q\lor r)\equiv p \lor q \lor r$ without use of a truth table.

show that $(p \to q) \vee (p \to r) \to (q \vee r)$ and $p\vee q\vee r$ are logically equivalent

prove $[¬p\land (p\lor q)]→q ≡ T$ without using the truth table

Simplify a logic expression

Simplify a logic expression

Propositional Logic meta-variable notation abuse

Proof that expression is a tautology

Why do you only need to show validity in one world when using trees in institutionist/constructivist logic?

What operation is done first in the following exercise...

Prove that John is not a light sleeper

Translate the following sentence into conjunctive normal form

Properties that can be proven with induction on wff's?

Inference Lemma Proof?

Proof of Soundness Lemma

propositional-calculus/logic riddle

Trending Questions

Popular # Hahtags

Popular Questions