Question

Prove propositional formulas using Natural Deduction

score 63 · Answer 1 · 2026-03-25 05:59:01

Prove propositional formulas using Natural Deduction

Published on 25 Mar 2026 - 5:59

score 50 · Answer 2 · 2018-12-23 10:57:02

Propositional Logic: find sets $\emptyset \neq K_1 \subseteq K_2 \subseteq K_3 \subsetneq A$ such that $K_1, K_3$ are definable, and $K_2$ isn't

score 1.6k · Answer 3 · 2018-12-26 00:10:54

1.6k

Views

Can any proof by contrapositive be rephrased into a proof by contradiction?

Published on 26 Dec 2018 - 0:10

score 348 · Answer 4 · 2026-03-25 07:49:06

348

Views

Trouble understanding proof to $\vdash ((\neg(\phi\rightarrow \psi))\rightarrow\phi)$?

Published on 25 Mar 2026 - 7:49

score 193 · Answer 5 · 2018-12-26 21:25:09

193

Views

Are True or False themselves propositions?

Published on 26 Dec 2018 - 21:25

score 952 · Answer 6 · 2026-03-29 13:46:59

952

Views

Why do we even need first order logic?

Published on 29 Mar 2026 - 13:46

score 118 · Answer 7 · 2026-03-25 06:04:21

118

Views

In Discrete Mathematics, is there a difference between $(\neg P \wedge \neg Q)$ and $\neg (P \wedge Q)$?

Published on 25 Mar 2026 - 6:04

score 132 · Answer 8 · 2018-12-28 14:28:14

132

Views

As I got the contrapositive of this statement, how does e) necessarily follows from this?

Published on 28 Dec 2018 - 14:28

score 211 · Answer 9 · 2026-03-25 06:06:56

211

Views

Natural deduction proof of $(A \to \lnot B \lor C), ((\lnot D \land A) \to B), (\lnot E \to A) \vdash D \lor (C \lor E)$

Published on 25 Mar 2026 - 6:06

score 56 · Answer 10 · 2019-01-02 13:54:03

56

Views

In the last statement, can i prove the contrapositive of it to be true to prove the statement?

Published on 02 Jan 2019 - 13:54

score 312 · Answer 11 · 2026-03-25 08:03:38

312

Views

Turn into Proposition logic

Published on 25 Mar 2026 - 8:03

score 60 · Answer 12 · 2019-01-05 12:41:41

Why $p \lor (\lnot p \land q)$ is not equal to $(p \lor \lnot p) \land q$ ? I had trying making Truth Table but, still can't figure it out?

score 634 · Answer 13 · 2026-03-25 08:09:01

634

Views

Show that the proof rule is not sound and proof question

Published on 25 Mar 2026 - 8:09

score 50 · Answer 14 · 2019-01-10 09:20:08

50

Views

Transform several disjunctions to implications

Published on 10 Jan 2019 - 9:20

score 3.4k · Answer 15 · 2019-01-10 11:26:50

3.4k

Views

Prove $p ↔ q$ and $(p ∧ q) ∨ (¬p ∧ ¬q)$ are equivalent using logic laws

Published on 10 Jan 2019 - 11:26

List Question

Prove propositional formulas using Natural Deduction

Propositional Logic: find sets $\emptyset \neq K_1 \subseteq K_2 \subseteq K_3 \subsetneq A$ such that $K_1, K_3$ are definable, and $K_2$ isn't

Can any proof by contrapositive be rephrased into a proof by contradiction?

Trouble understanding proof to $\vdash ((\neg(\phi\rightarrow \psi))\rightarrow\phi)$?

Are True or False themselves propositions?

Why do we even need first order logic?

In Discrete Mathematics, is there a difference between $(\neg P \wedge \neg Q)$ and $\neg (P \wedge Q)$?

As I got the contrapositive of this statement, how does e) necessarily follows from this?

Natural deduction proof of $(A \to \lnot B \lor C), ((\lnot D \land A) \to B), (\lnot E \to A) \vdash D \lor (C \lor E)$

In the last statement, can i prove the contrapositive of it to be true to prove the statement?

Turn into Proposition logic

Why $p \lor (\lnot p \land q)$ is not equal to $(p \lor \lnot p) \land q$ ? I had trying making Truth Table but, still can't figure it out?

Show that the proof rule is not sound and proof question

Transform several disjunctions to implications

Prove $p ↔ q$ and $(p ∧ q) ∨ (¬p ∧ ¬q)$ are equivalent using logic laws

Trending Questions

Popular # Hahtags

Popular Questions