MATH
Login Or Sign up

List Question

15
245
Views

Are my DNF and CNF for $A \land (A \lor C) \implies (C \lor B)$ correct?

Published on
#logic #propositional-calculus #conjunctive-normal-form #disjunctive-normal-form
217
Views

Properly Translate Propositional Statement to Discrete Math

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

$\alpha \to\beta$ is valid, where $\alpha$, $\beta$ share no common atomic proposition; then $\alpha$ is unsatisfiable or $\beta$ is valid, or both

Published on
#logic #propositional-calculus
224
Views

How to prove $\lnot (\alpha \rightarrow \lnot \beta) \vdash \lnot (\beta \rightarrow \lnot \alpha)$ in HPC

Published on
#logic #propositional-calculus #formal-proofs #hilbert-calculus
2.5k
Views

Double negation vs. law of excluded middle?

Published on
#logic #proof-explanation #propositional-calculus #axioms
1.3k
Views

Modus ponens as a rule of inference vs. tautology

Published on
#logic #proof-explanation #propositional-calculus #axioms
590
Views

Logical entailment in propositional logic.

Published on
#logic #propositional-calculus
52
Views

logical equivalence question about contingency

Published on
#logic #propositional-calculus
543
Views

$\to$ vs. $\vdash$ in logic

Published on
#logic #definition #propositional-calculus #metalogic
161
Views

Syntax vs semantics in logic and metalogic

Published on
#logic #definition #propositional-calculus #metalogic
339
Views

Do definitions have to fit axioms in logic?

Published on
#logic #definition #propositional-calculus #axioms #metalogic
38
Views

Are the statements equal?

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

Valid vs. sound (and if these differences matter in syntax vs. semantics, metalogic vs. logic)

Published on
#logic #definition #propositional-calculus
1k
Views

Validity and "true in every interpretation"?

Published on
#logic #definition #propositional-calculus
422
Views

Disproving: If $(\Gamma\vdash(\phi\,\lor\psi))$, either $(\Gamma\vdash\phi)$ or $(\Gamma\vdash\psi)$ is true

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.