List questions from propositional-calculus

Published on 26 Mar 2026 - 20:38

297

Views

Logic Invalidity

Published on 11 Apr 2026 - 0:39

526

Views

How can it be that $(P \rightarrow Q) \vee (Q \rightarrow P)$ is a tautology?

Published on 03 Feb 2015 - 13:34

192

Views

The cases when "A implies B" is true

Published on 03 Feb 2015 - 14:19

263

Views

Exactly how does it mean to negate a statement?

Published on 12 Apr 2026 - 7:55

1.2k

Views

How to prove this distributive law using natural deduction

Published on 11 Apr 2026 - 3:44

1.1k

Views

equivalence laws example proof

Published on 13 Apr 2026 - 10:22

124

Views

Prove/disprove if $a,b\Rightarrow c$ then $(a\Rightarrow c) \vee (b\Rightarrow c)$ and vice versa

Published on 04 Feb 2015 - 18:56

6.9k

Views

Disjunctive normal form (BOTH dnf and cnf) example help

Published on 25 Mar 2026 - 14:00

196

Views

Prove/disprove if $a\vee b \Rightarrow c$ then $a\Rightarrow c$ or $b\Rightarrow c$ and vice versa

Published on 05 Feb 2015 - 16:03

5.8k

Views

When proving the Hypothetical Syllogism inference rule, why must you assume that p is true?

Published on 13 Apr 2026 - 10:03

532

Views

Why isn't Modus Ponens valid here

Published on 13 Apr 2026 - 2:50

1.7k

Views

Modus tollens - Negations on the implication

Published on 12 Apr 2026 - 14:49

33

Views

Proving $a\equiv b \iff F_a=F_b$, $F_a=\{c\mid a\vDash c\}$

Published on 06 Feb 2015 - 10:08

88

Views

Finding a formula in intuitionist logic

Published on 26 Mar 2026 - 20:38

List Question

Online tools for checking validity of classical, intuitionistic, ... logic formulas?

Logic Invalidity

How can it be that $(P \rightarrow Q) \vee (Q \rightarrow P)$ is a tautology?

The cases when "A implies B" is true

Exactly how does it mean to negate a statement?

How to prove this distributive law using natural deduction

equivalence laws example proof

Prove/disprove if $a,b\Rightarrow c$ then $(a\Rightarrow c) \vee (b\Rightarrow c)$ and vice versa

Disjunctive normal form (BOTH dnf and cnf) example help

Prove/disprove if $a\vee b \Rightarrow c$ then $a\Rightarrow c$ or $b\Rightarrow c$ and vice versa

When proving the Hypothetical Syllogism inference rule, why must you assume that p is true?

Why isn't Modus Ponens valid here

Modus tollens - Negations on the implication

Proving $a\equiv b \iff F_a=F_b$, $F_a=\{c\mid a\vDash c\}$

Finding a formula in intuitionist logic

Trending Questions

Popular # Hahtags

Popular Questions