MATH
Login Or Sign up

List Question

15
1.9k
Views

Find the truth value of... empty set?

Published on
#discrete-mathematics #logic #first-order-logic #predicate-logic #logic-translation
170
Views

What does Kx mean in this equation? [in Carnap or Russell and Whitehead's logical notation]

Published on
#logic #notation #predicate-logic
501
Views

Exchanging RAA with double negation: is this valid?

Published on
#logic #predicate-logic #first-order-logic
1.4k
Views

Logical Connectives and Quantifiers

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

Is this proof correct? (Proof Theory)

Published on
#proof-verification #logic #predicate-logic #first-order-logic #proof-theory
716
Views

Is there only a finite number of non-equivalent formulas in the predicate logic?

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

Are Proofs of Dependent Pair Types Equivalent to Finding an Inverse Function?

Published on
#predicate-logic #type-theory #intuitionistic-logic
109
Views

How to build a list of all the wfs (well-formed sentences)?

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

Translations into logical notation

Published on
#logic #propositional-calculus #predicate-logic
113
Views

What would be the function to make a formula false?

Published on
#logic #examples-counterexamples #predicate-logic #first-order-logic #model-theory
547
Views

Check validity of given formula in First order logic

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

Predicate logic: Natural deduction: Introducing universal quantifier

Published on
#logic #predicate-logic #natural-deduction
337
Views

Express least and greatest fixed point using predicate and quantifiers

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

Why is there a limitation on the existential introduction in sequent calculus?

Published on
#logic #predicate-logic #first-order-logic #sequent-calculus
70
Views

Logic: Number x is a square of a prime number. Difference between conjunction and implication

Published on
#logic #predicate-logic

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.