MATH
Login Or Sign up

List Question

15
2.5k
Views

Precise proof of equivalence of two definitions of limit of a function

Published on
#calculus #limits #epsilon-delta #formal-proofs
680
Views

Natural Deduction First Order Logic $∃y∀x(P(x) ∨ Q(y))↔∀x∃y(P(x) ∨ Q(y))$

Published on
#logic #first-order-logic #predicate-logic #natural-deduction #formal-proofs
1k
Views

What is a judgment?

Published on
#logic #soft-question #natural-deduction #formal-proofs
665
Views

Formal deductions on Hilbert system

Published on
#logic #formal-proofs
33
Views

Show provability under a premise

Published on
#logic #formal-proofs
79
Views

What's Wrong in this Proof Logic?

Published on
#elementary-set-theory #logic #formal-proofs
172
Views

Show that a given formula is not provable without the associative rule

Published on
#logic #first-order-logic #formal-proofs #formal-systems
707
Views

Stuck on Formal Proofs

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

Stuck on formal proof, missing one step

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

Order the following propositions from the strongest to the weakest: A, B, A → B?

Published on
#logic #predicate-logic #computational-mathematics #formal-proofs
3.7k
Views

Formal Proof for not (p or not q) implies not p and q

Published on
#logic #propositional-calculus #natural-deduction #formal-proofs
87
Views

How to prove that there is no algorithm to create context free grammar by the description

Published on
#formal-languages #context-free-grammar #formal-proofs
424
Views

Formal Proof using replacement rules and inference laws

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

Prove ⊢(a→b)→(¬b→¬a) in HPC proof system

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

Stuck on formal proofs. Not sure how to continue

Published on
#first-order-logic #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.