MATH
Login Or Sign up

List Question

15
71
Views

Distributivity rule in propositional logic

Published on
#logic #propositional-calculus
1.8k
Views

Can AND, OR and NOT be used to represent any truth table?

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

Implication in Propositional and Predicate Logic

Published on
#discrete-mathematics #logic #propositional-calculus #predicate-logic #first-order-logic
360
Views

Formal proof thought process

Published on
#logic #propositional-calculus
622
Views

Propositional calculus, Post-completeness and beyond

Published on
#logic #propositional-calculus
300
Views

By replacing proposition variables by its negation and flipping the truth values of all prop. variables, show $v(\phi)=v^*(\phi^*)$

Published on
#proof-verification #logic #proof-writing #induction #propositional-calculus
709
Views

Prove that tautologies containing biconditional as a sole connective must have an even number of propositions

Published on
#logic #propositional-calculus #first-order-logic #model-theory
434
Views

Proving the equivalence without making use of Truth Tables

Published on
#discrete-mathematics #logic #propositional-calculus #boolean-algebra
5.3k
Views

Difference between biconditional and logical equivalence

Published on
#logic #terminology #propositional-calculus #predicate-logic
177
Views

By using the Boolean algebra simplify the following expressions

Published on
#discrete-mathematics #logic #propositional-calculus #boolean-algebra
69
Views

How to construct logic deduction for this?

Published on
#logic #propositional-calculus
650
Views

How to define conjunction in terms of a conditional and biconditional?

Published on
#logic #propositional-calculus #first-order-logic
2.5k
Views

Proof using Laws of Logic

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

Propositional Logic Formula

Published on
#logic #propositional-calculus #logic-translation
88
Views

Challenge propositional logic

Published on
#logic #propositional-calculus

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.