MATH
Login Or Sign up

List Question

15
106
Views

Theorems in MK would imply theorems in ZFC

Published on
#logic #set-theory #second-order-logic
254
Views

What is (mathematically) minimal computer architecture to run any software

Published on
#discrete-mathematics #logic #computer-science #boolean-algebra #binary
84
Views

What formula proved in MK or Godel Incompleteness theorem

Published on
#logic #set-theory
163
Views

Determine the truth value and validity of the propositions given

Published on
#logic
270
Views

Is this a commonly known paradox?

Published on
#probability #probability-theory #logic #paradoxes
113
Views

Help with Propositional Logic Proof

Published on
#logic #proof-explanation #propositional-calculus
1.2k
Views

Symbol for assignment of a truth-value?

Published on
#logic #notation
1.9k
Views

Find the truth value of... empty set?

Published on
#discrete-mathematics #logic #first-order-logic #predicate-logic #logic-translation
85
Views

Do I need the axiom of choice to prove this statement?

Published on
#logic #axiom-of-choice
1.4k
Views

Prove that any truth function $f$ can be represented by a formula $φ$ in cnf by negating a formula in dnf

Published on
#proof-verification #logic #induction
257
Views

Can you negate comparisons by negating each individuals expression?

Published on
#logic
160
Views

What does Kx mean in this equation? [in Carnap or Russell and Whitehead's logical notation]

Published on
#logic #notation #predicate-logic
495
Views

Exchanging RAA with double negation: is this valid?

Published on
#logic #predicate-logic #first-order-logic
260
Views

What is the definition of 'constructible group'?

Published on
#algebraic-geometry #logic #model-theory
73
Views

Translate into first order logic: "$a, b, c$ are the lengths of the sides of a triangle"

Published on
#logic #first-order-logic #model-theory

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.