MATH
Login Or Sign up

List Question

15
264
Views

Proof writing involving propositional logic: (p∧ (¬q) ) ↔ ((¬p) ∧ q) ≡ p ↔ q

Published on
#discrete-mathematics #logic #propositional-calculus #predicate-logic
283
Views

Natural deduction proof for $\exists x(\exists y A(y) \rightarrow A(x))$

Published on
#logic #predicate-logic #quantifiers #natural-deduction
129
Views

Existential quantificator vs conjunction in intuitionistic logic.

Published on
#predicate-logic #first-order-logic #quantifiers #intuitionistic-logic
156
Views

Translation of "every suspected criminal" into first-order logic

Published on
#logic #first-order-logic #predicate-logic #logic-translation
28
Views

Showing equivalence of two equalities

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

Logical formula of definition of linearly dependent

Published on
#linear-algebra #predicate-logic
241
Views

prenex normal form with two same variables

Published on
#logic #predicate-logic
8.8k
Views

Distributive Property of Quantifiers

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

solving iff logical statements

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

finding contrapositive of logical statement

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

Categories and set-theoretic quantifiers

Published on
#logic #category-theory #predicate-logic
88
Views

Are binary predicates sufficient

Published on
#predicate-logic
2.2k
Views

Some boys in the class are taller than all the girls

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

Why the ordering of the quantifiers matters here?

Published on
#logic #predicate-logic #quantifiers
214
Views

Natural deduction in quantification logic

Published on
#logic #predicate-logic #quantifiers #natural-deduction

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.