MATH
Login Or Sign up

List Question

15
422
Views

Substituting a proposition instead of atoms

Published on
#logic #propositional-calculus
118
Views

How to prove $(p \to q) \equiv (\neg q \to \neg p)$ by using natural deduction?

Published on
#logic #propositional-calculus #natural-deduction
70
Views

This is a ll(1) of logic propositions?

Published on
#propositional-calculus #formal-grammar #parsing
59
Views

A problem with Boolean algebra

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

proving that formulas are theorems using deduction theorem

Published on
#logic #propositional-calculus
329
Views

How to prove (P→¬P)→¬P when ¬ is primitive

Published on
#logic #propositional-calculus
59
Views

Simplifying on logic operations - discrete maths

Published on
#logic #propositional-calculus
35
Views

Showing $\vdash(\phi_1\wedge\phi_2)\rightarrow(\phi_2\wedge\phi_1)$

Published on
#logic #propositional-calculus
538
Views

Is the logic implication a tautology?

Published on
#logic #propositional-calculus
526
Views

Can CCxyCCNxyy Get Proven in Less Than Or Equal to 50 Detachments in This System?

Published on
#logic #propositional-calculus #first-order-logic #formal-languages #axioms
88
Views

Proving each $\Gamma$ with $\Gamma \vdash \varphi$ contains a finite $\Delta$, such that also $\Delta \vdash \varphi$

Published on
#logic #propositional-calculus
80
Views

If $p \to q$ and if $r \to s$, can we say that if $p \land r$ then $q \land s$?

Published on
#propositional-calculus
443
Views

Converting formula to disjunctive normal form

Published on
#propositional-calculus #disjunctive-normal-form
268
Views

How to prove tautology

Published on
#logic #propositional-calculus #satisfiability
543
Views

How to prove that ⊢A∨B implies ⊢A or ⊢B

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.