MATH
Login Or Sign up

List Question

15
287
Views

Is it possible to say that "there exist exactly $x$ elements in a domain of discourse"?

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

Showing two infinite structures with one unary predicate are elementarily equivalent

Published on
#logic #predicate-logic #model-theory #first-order-logic
108
Views

Predicate Logic, and Predicate Form.

Published on
#predicate-logic
8.2k
Views

Conversion from FOL formula into CNF

Published on
#logic #predicate-logic #first-order-logic #conjunctive-normal-form
290
Views

Predicate to prove a set is countably infinite

Published on
#predicate-logic
840
Views

Existential quantifier before/after the implication sign gives different contrapositives.

Published on
#discrete-mathematics #logic #predicate-logic #first-order-logic
75
Views

Is there something wrong with this proof question?

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

Logic (Negation of an expression)

Published on
#logic #predicate-logic #boolean-algebra
52
Views

Bring the following formula into an equivalent DNF: $\psi := ((\neg (A_o \vee A_1) \vee A_2) \wedge \neg A_4)$

Published on
#discrete-mathematics #logic #propositional-calculus #predicate-logic #disjunctive-normal-form
76
Views

Verify the Conversion to First Order Logic

Published on
#discrete-mathematics #logic #predicate-logic #quantifiers
47
Views

Equivalence of Restricted Quantification as Compared to Conditionals in the Scope of the Quantifier

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

Prove/Disapprove argument using resolution technique

Published on
#discrete-mathematics #logic #predicate-logic #first-order-logic
128
Views

Disprove $\{(\exists x(P(x)\to Q(x))),(\exists y P(y))\}\vdash(\exists x Q(x))$

Published on
#logic #predicate-logic #first-order-logic #natural-deduction
252
Views

Proving a set is complete in predicate logic

Published on
#logic #predicate-logic
1.5k
Views

Negate nested quantifiers in predicate logic.

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