MATH
Login Or Sign up

List Question

15
292
Views

Is "forall elimination twice with the same fresh variable" allowed?

Published on
#logic #proof-verification #predicate-logic #formal-proofs #natural-deduction
28
Views

How do you form this term correctly (looks like binomial formula just with logic operations)?

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

Why are these two propositional expressions equivalent?

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

Extension of the first-order logic by means of multiple domains/universes.

Published on
#logic #predicate-logic
79
Views

Logic Quantifier

Published on
#discrete-mathematics #predicate-logic
150
Views

Transition between set theoretical and logic statements

Published on
#elementary-set-theory #logic #predicate-logic
26
Views

Did I form this logic expression correctly?

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

Is the occurrence of $x$ in $P$ bound?

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

Can a predicate imply another predicate?

Published on
#logic #predicate-logic
48
Views

How many elements are there in $D \times D$?

Published on
#elementary-set-theory #predicate-logic
142
Views

What is the easiest way to define the substitution of a term to a variable in a formula?

Published on
#predicate-logic
81
Views

Can This Argument Get Represented in Predicate Logic?

Published on
#geometry #logic #predicate-logic #first-order-logic
85
Views

Is it allowed to use ∃y-elimination rule when you have: ∀x∃y φ?

Published on
#predicate-logic #natural-deduction
6.8k
Views

The definition of prime numbers.

Published on
#predicate-logic #proof-explanation
518
Views

Stuck in determining truth value using proof

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