MATH
Login Or Sign up

List Question

15
98
Views

2+2 -> 4 or 2+2 =4

Published on
#logic #arithmetic
302
Views

Idempotent substitution $\theta$

Published on
#logic #first-order-logic #substitution #idempotents
56
Views

How do I just determine if a predicate statement is false or true based on the σ?

Published on
#discrete-mathematics #logic
71
Views

$(m \not \mid n \wedge m \neq 0) \Leftrightarrow (\exists p, 0<q<m \text{ s.t } n=pm+q)$ [Proof Verification]

Published on
#elementary-number-theory #proof-verification #logic #proof-writing #peano-axioms
356
Views

Game semantics for first-order logic

Published on
#logic #predicate-logic #model-theory #game-theory
95
Views

Prove this $\vdash_{_L}\mathscr{\left((\neg B)\rightarrow B\right)\rightarrow B}$

Published on
#logic #propositional-calculus #formal-proofs #hilbert-calculus
1.1k
Views

Question about the proof of the distributive property for sets

Published on
#elementary-set-theory #proof-verification #logic
102
Views

A set $A_n$ of $n$ elements such that for each pair of elements, one is a member of the other

Published on
#elementary-set-theory #logic
60
Views

Expressing $y=x!$ as a $\Sigma_1$ formula

Published on
#logic #factorial #first-order-logic #recursion
494
Views

Understanding the exponential object in slice categories

Published on
#logic #category-theory #simplicial-stuff
186
Views

How to use resolution in this set?

Published on
#logic #computer-science #propositional-calculus
248
Views

What does a proof that $\mathcal{N}$ is a model of $PA$ look like?

Published on
#logic #foundations #meta-math
81
Views

Which of the following options are corrent in propositional logic and why?

Published on
#logic
84
Views

Notation in logic paper

Published on
#logic #notation
80
Views

Can't go from one step to another in my proof

Published on
#discrete-mathematics #logic #predicate-logic #first-order-logic #quantifiers

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.