List questions from propositional-calculus

Published on 17 May 2018 - 2:18

477

Views

Proving one compactness theorem from the other

Published on 28 Mar 2026 - 6:39

203

Views

On the theorem $(p \cdot q) \supset (p \supset q)$

Published on 18 May 2018 - 15:47

3.2k

Views

Logic: Else Symbol

Published on 20 May 2018 - 8:56

31

Views

I'm unable to convert this equation to NAND only.

Published on 20 May 2018 - 13:08

193

Views

SOP expression simplify

Published on 27 Mar 2026 - 0:01

295

Views

How to prove the argument's validity using rules of inference.

Published on 22 May 2018 - 8:07

626

Views

If a matrix does not have have only the trivial solution, are the columns linearly dependent?

Published on 22 May 2018 - 21:31

544

Views

Proving law of excluded middle and double negation elimination are equivalent

Published on 24 May 2018 - 2:52

2.6k

Views

Boolean Algebra - Finding the Maxterm expansion of f(A,B,C,D) = (A + B + D)(A' + C)(C + D)

Published on 27 Mar 2026 - 0:06

426

Views

Formal definition of proposition

Published on 26 Mar 2026 - 6:32

73

Views

Reduction of Boolean expression

Published on 26 Mar 2026 - 23:59

35

Views

Adding strings to propositions lemma

Published on 26 May 2018 - 16:55

649

Views

Prove that double negation elimination is a derivated rule

Published on 25 Mar 2026 - 1:23

43

Views

Predicate logic digraph relations

Published on 25 Mar 2026 - 15:57

List Question

Is the disjunction of these two false statements true?

Proving one compactness theorem from the other

On the theorem $(p \cdot q) \supset (p \supset q)$

Logic: Else Symbol

I'm unable to convert this equation to NAND only.

SOP expression simplify

How to prove the argument's validity using rules of inference.

If a matrix does not have have only the trivial solution, are the columns linearly dependent?

Proving law of excluded middle and double negation elimination are equivalent

Boolean Algebra - Finding the Maxterm expansion of f(A,B,C,D) = (A + B + D)(A' + C)(C + D)

Formal definition of proposition

Reduction of Boolean expression

Adding strings to propositions lemma

Prove that double negation elimination is a derivated rule

Predicate logic digraph relations

Trending Questions

Popular # Hahtags

Popular Questions