List questions from propositional-calculus

Published on 26 Mar 2026 - 5:55

429

Views

What is the proof of reductio ad absurdum (RAA) in a Łukasiewicz axiom system for propositional logic with only modus ponens?

Published on 23 Feb 2026 - 4:59

271

Views

Inference rules and tautologies relationship

Published on 05 Mar 2020 - 11:31

335

Views

Proving axioms in Hilbert system of inference with Suppes

Published on 05 Mar 2020 - 12:57

125

Views

how is $p\to{\sim} p$ not a contradiction??

Published on 05 Mar 2020 - 15:19

184

Views

How to prove $((P \Rightarrow Q) \Rightarrow P) \Rightarrow P$

Published on 05 Mar 2020 - 17:59

61

Views

Tautology and logical consequence

Published on 06 Mar 2020 - 13:03

232

Views

Two ways to prove the completeness theorem from corollary

Published on 30 Mar 2026 - 17:00

80

Views

Using an inference in an inference

Published on 29 Mar 2026 - 4:48

62

Views

Testing logical validity

Published on 31 Mar 2026 - 12:10

97

Views

Logical expressions

Published on 09 Mar 2020 - 15:14

305

Views

Is "only if" different from "if and only if"?

Published on 09 Mar 2020 - 15:58

39

Views

How to prove this logical equivalence with laws?

Published on 10 Mar 2020 - 17:24

51

Views

Equivalence of logic statements and iff

Published on 10 Mar 2020 - 18:13

76

Views

What is the logic symbol to write: $D$ only when $P$

Published on 12 Mar 2020 - 20:49

List Question

Proving $(A \lor ¬B) \rightarrow (A \rightarrow B)$ is a tautology with Fitch-style deduction

What is the proof of reductio ad absurdum (RAA) in a Łukasiewicz axiom system for propositional logic with only modus ponens?

Inference rules and tautologies relationship

Proving axioms in Hilbert system of inference with Suppes

how is $p\to{\sim} p$ not a contradiction??

How to prove $((P \Rightarrow Q) \Rightarrow P) \Rightarrow P$

Tautology and logical consequence

Two ways to prove the completeness theorem from corollary

Using an inference in an inference

Testing logical validity

Logical expressions

Is "only if" different from "if and only if"?

How to prove this logical equivalence with laws?

Equivalence of logic statements and iff

What is the logic symbol to write: $D$ only when $P$

Trending Questions

Popular # Hahtags

Popular Questions