MATH
Login Or Sign up

List Question

15
78
Views

Models in $L$ are models in $V$?

Published on
#logic #set-theory #model-theory
154
Views

Löb's Theorem for proofs of constant size

Published on
#logic #provability
1.2k
Views

I don't get how "universal generalization" works? is my understanding of UI, EI, EG. correct?

Published on
#logic #first-order-logic #predicate-logic #quantifiers
1k
Views

Issue proving that a formula is valid using semantic tableau

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

Induction to prove that...

Published on
#logic #induction
51
Views

Implication of vacuous truth on the space of possible statements

Published on
#logic
140
Views

Logical ambiguity formula for "I have not had one of them"

Published on
#logic #propositional-calculus #first-order-logic #logic-translation
126
Views

What does it mean to prove $(P \to Q \to R) \to (P\to Q) \to P \to R$

Published on
#logic
74
Views

Discrete Mathematics question regarding Propostional Logic

Published on
#discrete-mathematics #logic #computer-science #propositional-calculus
46
Views

How to prove Peano induction axiom for a candidate model

Published on
#logic #induction #peano-axioms
460
Views

Free objects as term algebras in universal algebra and free modules

Published on
#abstract-algebra #logic #vector-spaces #model-theory #universal-algebra
104
Views

Logic - Building formulas with conjunction and disjunction

Published on
#logic #propositional-calculus
421
Views

What are the consequence of negating all ZF axioms?

Published on
#logic #set-theory
683
Views

How is the material conditional treated in Natural Deduction?

Published on
#logic #propositional-calculus
88
Views

How to formally prove $\forall x: x11=x$ in the theory of groups.

Published on
#group-theory #logic #proof-theory #formal-proofs

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.