MATH
Login Or Sign up

List Question

15
1.2k
Views

How to prove that 3-CNF is satisfiable using Hall's marriage theorem?

Published on
#logic #graph-theory #satisfiability
76
Views

A theorem as a special case of another theorem

Published on
#logic
30
Views

Simplifying a logical statement - need further advice

Published on
#discrete-mathematics #logic
671
Views

Can we use the principle of Explosion to justify the definition of implication being True when the antecedent is False?

Published on
#logic #propositional-calculus
364
Views

Should axioms be seen as "building blocks of definitions"?

Published on
#logic #axioms #philosophy #meta-math
372
Views

Decision procedure in Presburger arithmetic

Published on
#logic #proof-theory #presburger-arithmetic
128
Views

Existence of indiscernible set in model equivalent to another indiscernible set

Published on
#logic #model-theory
581
Views

Primitive recursive functions of bounded sum

Published on
#logic #first-order-logic #recursion #incompleteness
52
Views

Logic implies replacement

Published on
#logic
27
Views

LTL symbolic notation reference

Published on
#logic
1k
Views

Simplify $(P \wedge Q \wedge R)\vee(\neg P\wedge Q\wedge\neg R)\vee(\neg P\wedge\neg Q\wedge R)\vee(\neg P \wedge\neg Q\wedge\neg R)$

Published on
#logic #propositional-calculus #boolean-algebra
1.4k
Views

Logical Connectives and Quantifiers

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

Label invariance in definition of Product

Published on
#logic #category-theory
349
Views

Is it possible to convert a conjunction of two implications into an implication of disjunctions?

Published on
#proof-verification #logic
138
Views

Is this proof correct? (Proof Theory)

Published on
#proof-verification #logic #predicate-logic #first-order-logic #proof-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.