Question

Prove $(((p\land q)\to r)\land(p \to q))\to (p \to r)$ is satisfiable.

score 99 · Answer 1 · 2019-05-12 20:43:19

99

Views

Prove $(((p\land q)\to r)\land(p \to q))\to (p \to r)$ is satisfiable.

Published on 12 May 2019 - 20:43

score 118 · Answer 2 · 2019-05-12 20:53:34

118

Views

Prove that the set $\{((p\to q)\lor r),(p\lor(q\lor s))\}$ is satisfiable?

Published on 12 May 2019 - 20:53

score 711 · Answer 3 · 2026-03-25 12:23:53

711

Views

Natural Deduction Proof: A ↔ B |- (C → A) → (C → B)

Published on 25 Mar 2026 - 12:23

score 277 · Answer 4 · 2026-03-26 20:57:48

277

Views

Semantics of exclusive or

Published on 26 Mar 2026 - 20:57

score 66 · Answer 5 · 2019-05-14 17:26:50

66

Views

Is the " contrapositive relation" rigorously symmetric? What is rigorously the contrapositive of : ~X --> ~ Y?

Published on 14 May 2019 - 17:26

score 358 · Answer 6 · 2019-05-15 15:17:50

358

Views

Graph Coloring in Propositional Logic

Published on 15 May 2019 - 15:17

score 713 · Answer 7 · 2019-05-18 05:12:30

713

Views

Why are there several axiom systems for propositional logic?

Published on 18 May 2019 - 5:12

score 87 · Answer 8 · 2019-05-18 12:28:26

87

Views

How to prove $\vdash p\to\neg\neg p$ in this system?

Published on 18 May 2019 - 12:28

score 39 · Answer 9 · 2019-05-19 12:01:41

39

Views

Usage of adjective and imperative in statement logic

Published on 19 May 2019 - 12:01

score 117 · Answer 10 · 2019-05-19 15:16:24

117

Views

Logical Equivalences with English Statements

Published on 19 May 2019 - 15:16

score 62 · Answer 11 · 2026-03-25 13:52:55

62

Views

How to derive ~ ( P&Q) from ~ P using natural deduction?

Published on 25 Mar 2026 - 13:52

score 238 · Answer 12 · 2026-03-25 14:26:12

238

Views

Natural deduction proof: $C, (C \land D)↔F \vdash (D \land E) \to F$

Published on 25 Mar 2026 - 14:26

score 74 · Answer 13 · 2026-03-28 08:08:46

74

Views

How to transform a sequent notation to rule form?

Published on 28 Mar 2026 - 8:08

score 100 · Answer 14 · 2019-05-20 19:36:36

100

Views

Syntactic use of " false" . After " false" can I write anything I want? ( Not a semantic question on " ex falso sequitur quodlibet")

Published on 20 May 2019 - 19:36

score 254 · Answer 15 · 2026-03-25 21:48:56

254

Views

How to prove this propositional tautology using only axioms from Mendelson's "Introduction to Mathematical Logic"

Published on 25 Mar 2026 - 21:48

List Question

Prove $(((p\land q)\to r)\land(p \to q))\to (p \to r)$ is satisfiable.

Prove that the set $\{((p\to q)\lor r),(p\lor(q\lor s))\}$ is satisfiable?

Natural Deduction Proof: A ↔ B |- (C → A) → (C → B)

Semantics of exclusive or

Is the " contrapositive relation" rigorously symmetric? What is rigorously the contrapositive of : ~X --> ~ Y?

Graph Coloring in Propositional Logic

Why are there several axiom systems for propositional logic?

How to prove $\vdash p\to\neg\neg p$ in this system?

Usage of adjective and imperative in statement logic

Logical Equivalences with English Statements

How to derive ~ ( P&Q) from ~ P using natural deduction?

Natural deduction proof: $C, (C \land D)↔F \vdash (D \land E) \to F$

How to transform a sequent notation to rule form?

Syntactic use of " false" . After " false" can I write anything I want? ( Not a semantic question on " ex falso sequitur quodlibet")

How to prove this propositional tautology using only axioms from Mendelson's "Introduction to Mathematical Logic"

Trending Questions

Popular # Hahtags

Popular Questions