MATH
Login Or Sign up

List Question

15
5k
Views

How many words (i.e. not "math" symbols") should I use in my proofs? ${}{}$

Published on
#logic #proof-writing
42
Views

If i paint each half of a picture with a different color, which color will be in the middle?

Published on
#logic
35
Views

Which of the three negation of my statement is correct?

Published on
#logic #propositional-calculus #predicate-logic #first-order-logic
150
Views

How to understand this mathematical notation?

Published on
#logic #notation #sequent-calculus
128
Views

argument to a formal proof

Published on
#discrete-mathematics #logic #propositional-calculus #formal-proofs #logic-translation
33
Views

Interpretation is defined solely by its definition on atomic sentences

Published on
#logic #propositional-calculus
41
Views

Proofs about a group property

Published on
#proof-verification #logic
149
Views

Can we prove consistency of Euclidean geometry in Peano arithmetic?

Published on
#logic #euclidean-geometry #proof-theory
298
Views

How can I formalize the following sentence into first-order logic?

Published on
#discrete-mathematics #logic #predicate-logic #first-order-logic
219
Views

Why I cannot use universal instantiation rule here?

Published on
#logic #predicate-logic
711
Views

How to correctly pull out quantifiers

Published on
#logic #first-order-logic #quantifiers
76
Views

Non-negativity of an integer

Published on
#discrete-mathematics #logic #predicate-logic
113
Views

What connective is missing in the following set of statements?

Published on
#logic #proof-writing #propositional-calculus
78
Views

Why does the inference rule of negation moves a term to the other side of the turnstile

Published on
#logic #first-order-logic #sequent-calculus
404
Views

How to negate a relation in logic?

Published on
#real-analysis #analysis #logic #notation #definition

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.