MATH
Login Or Sign up

List Question

15
1.4k
Views

Does there exist an uncountably infinite language?

Published on
#logic #infinity #computability #formal-languages
99
Views

Help with a logic problem (given this, prove this).

Published on
#logic
8.8k
Views

Why does proof by elimination work?

Published on
#logic #proof-theory
123
Views

Does category theory quantify over its own sentences?

Published on
#logic #category-theory
50
Views

Object in Domain: Dealing with Set Theory

Published on
#logic
383
Views

What's the intuition behind using Law of Excluded Middle in Natural Deduction?

Published on
#proof-verification #logic #first-order-logic #natural-deduction
73
Views

Should $\to$-elimination always have precedence over $\lnot$-elimination when transforming formulas to Prenex CNF?

Published on
#logic #first-order-logic #predicate-logic #quantifiers #automated-theorem-proving
802
Views

Foundations of Category Theory; The Axioms

Published on
#logic #category-theory #foundations
182
Views

Can formal grammar (language) serve as the model for some logic and express the semantics of this logic?

Published on
#logic #model-theory #formal-languages
67
Views

Problem with transforming a formula to Prenex CNF

Published on
#logic #first-order-logic #automated-theorem-proving
65
Views

2 proofs on consistency

Published on
#proof-verification #logic
2.6k
Views

Boolean Algebra - Finding the Maxterm expansion of f(A,B,C,D) = (A + B + D)(A' + C)(C + D)

Published on
#logic #propositional-calculus #boolean-algebra
200
Views

"Reachable" integers in a problem in Marker's Model Theory book

Published on
#logic #model-theory
47
Views

Show that q→r based on the given information

Published on
#discrete-mathematics #logic
774
Views

Cardinality of power sets

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