MATH
Login Or Sign up

List Question

15
894
Views

Equivalance proof of ((p → q) ∧ ¬q) → ¬p and ((p ∨ q) ∧ ¬p) → q

Published on
#propositional-calculus
881
Views

Prove a tautology with contradiction theory and boolean algebra

Published on
#logic #proof-explanation #propositional-calculus #boolean-algebra
419
Views

Prove that if $b,d \ne 0 \implies (a/b = c/d) \iff (ad = bc)$

Published on
#calculus #propositional-calculus
166
Views

Logic: Universal/Existential Generalization After Assumption

Published on
#logic #propositional-calculus
464
Views

Negation of the statement all-and-greater that or equal

Published on
#propositional-calculus #predicate-logic
42
Views

Express a boolean formula using only $\to$

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

To express formula for $f_3$ via $f_2$ .

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

How to derive $¬X \lor ¬Y \lor ¬Y$ from $Z ⊃ (¬X \lor ¬Y)$ and $¬Z ⊃ ¬ Y$

Published on
#logic #propositional-calculus
641
Views

Deriving the Truth Table for Material Implication

Published on
#logic #propositional-calculus
7.2k
Views

What would happen if we just made vacuous truths false instead?

Published on
#logic #soft-question #definition #propositional-calculus
770
Views

Natural deduction: swapping equivalent formulas or definitions

Published on
#logic #propositional-calculus #proof-theory #natural-deduction
79
Views

Why do we check all the states of a conditional proposition?

Published on
#logic #propositional-calculus
70
Views

Propositional logic - entailment

Published on
#logic #propositional-calculus
538
Views

Logical equivalence rule: prove a tautology

Published on
#logic #propositional-calculus #boolean-algebra
3k
Views

Showing propositional logic is consistent

Published on
#logic #propositional-calculus

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.