MATH
Login Or Sign up

List Question

15
2.5k
Views

Is the disjunction of these two false statements true?

Published on
#logic #propositional-calculus
480
Views

Proving one compactness theorem from the other

Published on
#logic #proof-writing #compactness #propositional-calculus #first-order-logic
206
Views

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

Published on
#logic #propositional-calculus
3.2k
Views

Logic: Else Symbol

Published on
#logic #propositional-calculus
34
Views

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

Published on
#propositional-calculus
196
Views

SOP expression simplify

Published on
#propositional-calculus #boolean-algebra
298
Views

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

Published on
#discrete-mathematics #logic #propositional-calculus
629
Views

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

Published on
#linear-algebra #propositional-calculus
546
Views

Proving law of excluded middle and double negation elimination are equivalent

Published on
#propositional-calculus
2.6k
Views

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

Published on
#logic #propositional-calculus #boolean-algebra
428
Views

Formal definition of proposition

Published on
#definition #propositional-calculus
76
Views

Reduction of Boolean expression

Published on
#logic #propositional-calculus #boolean-algebra
38
Views

Adding strings to propositions lemma

Published on
#logic #propositional-calculus
652
Views

Prove that double negation elimination is a derivated rule

Published on
#logic #proof-explanation #propositional-calculus #natural-deduction
46
Views

Predicate logic digraph relations

Published on
#logic #propositional-calculus #relations #first-order-logic

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.