List questions from propositional-calculus

Published on 17 Oct 2019 - 13:08

66

Views

Show $P, Q \vdash P \wedge Q$

Published on 17 Oct 2019 - 18:42

361

Views

Proving that a set of formulas are closed under logical consequence

Published on 23 Feb 2026 - 2:56

78

Views

Simple statements in logic? ( How do we know that " A implies B" is the same as such and such?)

Published on 18 Oct 2019 - 17:57

4.8k

Views

Simple Fitch proof of De Morgan law

Published on 25 Mar 2026 - 23:16

1.2k

Views

Does the order matter with and statements?

Published on 18 Oct 2019 - 20:34

96

Views

Prove proposition using three axioms

Published on 26 Mar 2026 - 10:56

84

Views

Logic riddle about pizza.

Published on 19 Oct 2019 - 21:15

73

Views

Prove $(p \lor q) \land (\neg p \lor r) \to (q \lor r)$ is a tautology

Published on 21 Oct 2019 - 8:48

1k

Views

A reduction of 3-CNF down to 2-CNF for boolean satisfiability

Published on 30 Mar 2026 - 15:32

56

Views

show this statement is a tautology using conditional statements

Published on 30 Mar 2026 - 15:28

156

Views

using modus ponens to deduce $(\neg A \rightarrow \neg B) \rightarrow ((\neg A \rightarrow B) \rightarrow A)$

Published on 23 Feb 2026 - 3:00

49

Views

Inferences, basic inference rules and substitution

Published on 22 Oct 2019 - 10:51

59

Views

Help on a set proof using propositional logic.

Published on 23 Oct 2019 - 7:23

889

Views

Two statements are equivalent if...

Published on 23 Oct 2019 - 16:28

List Question

Show $P \vdash \sim \sim P$

Show $P, Q \vdash P \wedge Q$

Proving that a set of formulas are closed under logical consequence

Simple statements in logic? ( How do we know that " A implies B" is the same as such and such?)

Simple Fitch proof of De Morgan law

Does the order matter with and statements?

Prove proposition using three axioms

Logic riddle about pizza.

Prove $(p \lor q) \land (\neg p \lor r) \to (q \lor r)$ is a tautology

A reduction of 3-CNF down to 2-CNF for boolean satisfiability

show this statement is a tautology using conditional statements

using modus ponens to deduce $(\neg A \rightarrow \neg B) \rightarrow ((\neg A \rightarrow B) \rightarrow A)$

Inferences, basic inference rules and substitution

Help on a set proof using propositional logic.

Two statements are equivalent if...

Trending Questions

Popular # Hahtags

Popular Questions