MATH
Login Or Sign up

List Question

15
944
Views

Truth tables in propositional calculus: semantic or syntactic in nature?

Published on
#logic #propositional-calculus
167
Views

What does Morley rank of a quotient group mean?

Published on
#logic #model-theory
726
Views

Non-standard model of arithmetic - why is adding new constants to the model acceptable?

Published on
#logic #first-order-logic #model-theory #nonstandard-models
51
Views

SAT preserving conversion of statement to existential one

Published on
#logic #first-order-logic #decidability
405
Views

Logic and set theory - proofs of theorems

Published on
#elementary-set-theory #logic #reference-request
1.6k
Views

Semantics for minimal logic

Published on
#logic #reference-request #intuitionistic-logic #provability #nonclassical-logic
558
Views

Is minimal logic equivalent to intuitionistic?

Published on
#logic #intuitionistic-logic #nonclassical-logic
61
Views

Order of precedence

Published on
#logic
105
Views

Translating Propositional Functions

Published on
#logic #propositional-calculus #predicate-logic #first-order-logic #quantifiers
102
Views

Valid Set builder notations for simple set.

Published on
#elementary-set-theory #logic #notation #quantifiers
94
Views

Proving theorems about implication in propositional logic

Published on
#logic #proof-explanation
74
Views

Mathematical Logic and Connectives

Published on
#calculus #real-analysis #linear-algebra #logic
149
Views

Is it possible to construct a formal system such that all interesting statements from ZFC can be proven within the system?

Published on
#logic #axioms #philosophy #incompleteness
533
Views

What do the paths of a truth tree represent?

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

Alternative Definitions of Complete Theories

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.