MATH
Login Or Sign up

List Question

15
73
Views

Proof by contradiction (another)

Published on
#analysis #logic
3.4k
Views

Nonsense from combining two iffs ($\iff$)

Published on
#logic #proof-explanation #fake-proofs
1.7k
Views

Some questions about the successor function

Published on
#logic #notation #arithmetic #peano-axioms #natural-numbers
120
Views

If the following statement is vacuously true, could it also be trivially true?

Published on
#logic
219
Views

Completeness of Resolution Principles

Published on
#logic #first-order-logic
357
Views

Is there a theorem that can easily be proved to be non intuitionistic?

Published on
#logic #proof-theory #constructive-mathematics #intuitionistic-logic
117
Views

Compound proposition from Alice in Wonderland

Published on
#discrete-mathematics #logic #propositional-calculus #logic-translation
458
Views

Contrapositive when the consequent is a disjunction

Published on
#logic #proof-writing #divisibility #propositional-calculus #boolean-algebra
124
Views

Propositional logic: Exclusive disjunction?

Published on
#logic #propositional-calculus
546
Views

Translating multiple universal quantifiers in predicate logic

Published on
#discrete-mathematics #logic #predicate-logic #quantifiers #logic-translation
4.7k
Views

Why do we even need transitivity?

Published on
#logic #definition
372
Views

Replacing set of tautologies with a single formula

Published on
#logic #first-order-logic
3.4k
Views

How can we know we're not accidentally talking about non-standard integers?

Published on
#logic #model-theory #proof-theory #turing-machines #incompleteness
157
Views

Logic proof verification - Hoare

Published on
#proof-verification #logic #computer-science #programming
56
Views

Bi-conditionals

Published on
#graph-theory #logic

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.