List questions from propositional-calculus

Published on 25 Mar 2026 - 23:09

76

Views

On the Idea of a "Validity Calculus" Analogous to Probability Calculus

Published on 30 Oct 2019 - 21:35

161

Views

conjunctive normal form distribution over logical or?

Published on 30 Mar 2026 - 23:45

190

Views

How can I prove $B ∨ ¬B$ without using assumption and contradiction?

Published on 26 Mar 2026 - 11:06

23

Views

Is this minimal complete system?

Published on 01 Nov 2019 - 0:59

36

Views

The set of formulas that can be proved by a set P.

Published on 01 Nov 2019 - 1:11

117

Views

Prove $\models_{S_5}\square(\square P\to\square Q)\lor\square(\square Q\to \square P)$ with natural deduction

Published on 25 Mar 2026 - 14:26

389

Views

Is there a complete set of equivalence principles for first-order logic?

Published on 30 Mar 2026 - 11:57

60

Views

Converting Natural Language Problem to CNF

Published on 01 Apr 2026 - 16:26

32

Views

Logical Connectives.

Published on 03 Nov 2019 - 15:25

141

Views

Prove or disprove $p\wedge(q\rightarrow r) \Longleftrightarrow (p\rightarrow q)\rightarrow r$ using logical equivalences

Published on 03 Nov 2019 - 20:27

75

Views

Model in proposional logic

Published on 03 Nov 2019 - 21:29

43

Views

Is this logical deduction valid?

Published on 04 Nov 2019 - 3:50

875

Views

Prove or disprove $x∧(¬y↔z)\leftrightarrow ((x→y)∨ ¬z)→(x∧ ¬(y→z))$ using logical equivalence

Published on 30 Mar 2026 - 17:11

995

Views

Nested implications vs. two implications with conjunction

Published on 25 Mar 2026 - 12:21

List Question

Formal proof by natural deduction

On the Idea of a "Validity Calculus" Analogous to Probability Calculus

conjunctive normal form distribution over logical or?

How can I prove $B ∨ ¬B$ without using assumption and contradiction?

Is this minimal complete system?

The set of formulas that can be proved by a set P.

Prove $\models_{S_5}\square(\square P\to\square Q)\lor\square(\square Q\to \square P)$ with natural deduction

Is there a complete set of equivalence principles for first-order logic?

Converting Natural Language Problem to CNF

Logical Connectives.

Prove or disprove $p\wedge(q\rightarrow r) \Longleftrightarrow (p\rightarrow q)\rightarrow r$ using logical equivalences

Model in proposional logic

Is this logical deduction valid?

Prove or disprove $x∧(¬y↔z)\leftrightarrow ((x→y)∨ ¬z)→(x∧ ¬(y→z))$ using logical equivalence

Nested implications vs. two implications with conjunction

Trending Questions

Popular # Hahtags

Popular Questions