List questions from propositional-calculus

Published on 01 Jul 2019 - 23:56

1k

Views

Can an implication be a tautology?

Published on 02 Jul 2019 - 10:05

340

Views

DNF and CNF look the same?

Published on 27 Mar 2026 - 10:34

11.5k

Views

Prove that (A ∩ B) ⊆ A, when A and B are sets.

Published on 03 Jul 2019 - 8:40

110

Views

Is it possible to transform a propositional logic formula so that every propositions appear only once?

Published on 03 Jul 2019 - 11:12

372

Views

Difference between $\to$, $\models$ and $\implies$

Published on 05 Jul 2019 - 8:30

5.2k

Views

Given one of De Morgan's laws, prove the other from it using equivalences.

Published on 28 Mar 2026 - 21:34

3.9k

Views

Are there any programs on the internet that show step by step how to convert a formula to Conjunctive Normal Form?

Published on 25 Mar 2026 - 15:47

102

Views

Frege's logic: implication question, erratum?

Published on 29 Mar 2026 - 5:11

216

Views

Natural deduction rules for $\top$

Published on 07 Jul 2019 - 18:02

58

Views

What falsifies a node in a semantic tree?

Published on 26 Mar 2026 - 20:38

137

Views

Does disjunction elim require subproofs or can it use implications?

Published on 09 Jul 2019 - 23:13

105

Views

Propositional Logic Exercise

Published on 10 Jul 2019 - 15:19

73

Views

Definition of $\lnot P$ versus treating it as an inference rule?

Published on 25 Mar 2026 - 15:52

203

Views

De Morgan's Law - The answer is with square brackets or without square brackets?

Published on 11 Jul 2019 - 19:06

List Question

Was this solved correctly? (resolution method)

Can an implication be a tautology?

DNF and CNF look the same?

Prove that (A ∩ B) ⊆ A, when A and B are sets.

Is it possible to transform a propositional logic formula so that every propositions appear only once?

Difference between $\to$, $\models$ and $\implies$

Given one of De Morgan's laws, prove the other from it using equivalences.

Are there any programs on the internet that show step by step how to convert a formula to Conjunctive Normal Form?

Frege's logic: implication question, erratum?

Natural deduction rules for $\top$

What falsifies a node in a semantic tree?

Does disjunction elim require subproofs or can it use implications?

Propositional Logic Exercise

Definition of $\lnot P$ versus treating it as an inference rule?

De Morgan's Law - The answer is with square brackets or without square brackets?

Trending Questions

Popular # Hahtags

Popular Questions