MATH
Login Or Sign up

List Question

15
103
Views

Provability in ZFC + Con(ZFC)

Published on
#logic
3.4k
Views

What's the difference between 'If p then q' and 'p implies q'

Published on
#logic
56
Views

proving a claim using structural induction

Published on
#discrete-mathematics #logic #propositional-calculus
323
Views

Ambiguous sentence propositional logic interoperation

Published on
#logic #propositional-calculus
532
Views

Sigma summation notation formalization

Published on
#logic #notation #set-theory
139
Views

Some Questions on proving Forward direction of statements of the form $A$ IFF $(B\wedge C)$

Published on
#logic #proof-writing
110
Views

Successor cardinals independent of ZF

Published on
#logic #set-theory #cardinals
32
Views

The truth table of implication

Published on
#logic
62
Views

Logical expressivity and model classes

Published on
#logic #propositional-calculus #model-theory #formal-languages
170
Views

Since model theory must be founded in set theory, do you get different model theoretic results depending on your choice of set theory?

Published on
#logic #model-theory #philosophy
57
Views

Rules of Inference on lines with multiple quantifiers

Published on
#logic #quantifiers
78
Views

Relation between choice principles

Published on
#logic #set-theory #axiom-of-choice
3.6k
Views

Given a pair of integers, double one and increment the other until equality

Published on
#logic #contest-math #puzzle
23
Views

Negation of Content 0

Published on
#logic #manifolds
69
Views

Proof by contraposition

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