MATH
Login Or Sign up

List Question

15
705
Views

Associativity of concatenation

Published on
#number-theory #first-order-logic #formal-proofs
486
Views

Sequent calculus, how to prove double negation introduction and conjunction

Published on
#logic #propositional-calculus #proof-theory #formal-proofs #sequent-calculus
472
Views

Deduction of $\vdash \forall x \phi \rightarrow \exists x \phi$

Published on
#logic #first-order-logic #formal-proofs
199
Views

Stuck on proving ($p \Rightarrow q) \land (q \equiv r) \Rightarrow (p\Rightarrow r)$

Published on
#logic #propositional-calculus #formal-proofs
573
Views

Proving $(p \to q) \to ((q \to r) \to (p \to r))$ from Hilbert formal system for positive implicational formal system?

Published on
#logic #propositional-calculus #formal-proofs
215
Views

Formalize a set theory argumentation from a short story fiction

Published on
#elementary-set-theory #logic #first-order-logic #formal-proofs
338
Views

Difference between EF and EX in CTL

Published on
#logic #formal-proofs
350
Views

Deduction of $(\exists x Px \rightarrow \forall y Qy)\rightarrow \forall z(Pz \rightarrow Qz)$

Published on
#logic #proof-theory #formal-proofs
175
Views

Show that two lines intersect if and only if $a_1b_2 \ne a_2b_1$?

Published on
#formal-proofs
105
Views

Using a Hilbert system to show the correctness of a few logical arguments

Published on
#logic #proof-verification #propositional-calculus #formal-proofs
77
Views

Isabelle -- Strange proof under Formal_Power_Series

Published on
#formal-proofs #lagrange-inversion
136
Views

peano arithmetic - PA sentences

Published on
#logic #first-order-logic #peano-axioms #formal-proofs
75
Views

Are $A, B, C \vdash D$ and $A, B\vdash C \rightarrow D$ interchangeable?

Published on
#logic #propositional-calculus #formal-proofs
176
Views

How do I find the contradition in this indirect proof?

Published on
#logic #propositional-calculus #formal-proofs
1.3k
Views

Prove cancellation law using peano axioms.

Published on
#logic #first-order-logic #axioms #peano-axioms #formal-proofs

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.