MATH
Login Or Sign up

List Question

15
29
Views

Predicate resolution, some questions.

Published on
#logic #first-order-logic
709
Views

Prove φ is a contradiction or ψ is a tautology if φ ⊨ ψ and φ and ψ have no sentence letters in common.

Published on
#logic
190
Views

what are the the strengths and the limitations of description logic?

Published on
#logic #first-order-logic
342
Views

For every formula of linear logic, is there an equivalent formula in intuitionistic linear logic?

Published on
#logic #proof-theory #sequent-calculus #linear-logic
524
Views

Can Peano Arithmetic show that the Continuum Hypothesis is Independent of ZFC?

Published on
#logic #set-theory #peano-axioms
82
Views

Universal quantification and set notation

Published on
#logic #summation
135
Views

tricky question about substituting a logical variable

Published on
#logic #first-order-logic #predicate-logic #quantifiers
87
Views

checking which of the propositions are logically true

Published on
#discrete-mathematics #logic #first-order-logic #predicate-logic #quantifiers
50
Views

how to built the negation of the universal and existential quantifiers?

Published on
#discrete-mathematics #logic #first-order-logic #quantifiers
78
Views

proving/disproving basic logical claims

Published on
#discrete-mathematics #logic #predicate-logic #model-theory
160
Views

Proving $\lnot \lnot (\psi \lor \lnot \psi)$ is a theorem of intuitionistic propositional logic

Published on
#proof-verification #logic #intuitionistic-logic #kripke-models
54
Views

How Can I Determine The Max Amount Of Unique Pair Combinations In A Set With Duplicates.

Published on
#combinatorics #discrete-mathematics #logic #proof-writing
36
Views

Largest value of an expression

Published on
#algebra-precalculus #analysis #logic
96
Views

Proving that elements in the domain of a function always appear in the range of that function

Published on
#elementary-set-theory #logic
144
Views

Primality is not existential over true arithmetic

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