MATH
Login Or Sign up

List Question

15
2.3k
Views

For every $x$ and $y$ there exists $z$ such that $x-y=z$

Published on
#logic #predicate-logic
633
Views

Understanding predicate logic given symbolic notation?

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

Given list of 10 statement , 8th statement is "Exactly 8 statements in list are false" . Then what is complement of 8th statement

Published on
#logic #predicate-logic
219
Views

Can a propositional function have quantifiers?

Published on
#logic #propositional-calculus #predicate-logic
5.5k
Views

How to express the following statement with Quantifiers and Predicates

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

Consistency Lemma in Lindenbaum's Theorem

Published on
#logic #propositional-calculus #predicate-logic #first-order-logic #modal-logic
395
Views

Second-order logic and Russell's Paradox

Published on
#logic #predicate-logic #paradoxes
377
Views

Concerning substitution and existential elimination in classic natural deduction using sequents

Published on
#logic #predicate-logic #natural-deduction #quantifier-elimination #sequent-calculus
511
Views

First order predicate logic for "Every bike is a two wheeler manufactured by Hero".

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

Changing Hilbert-style axioms

Published on
#logic #first-order-logic #predicate-logic #proof-theory #hilbert-calculus
40
Views

Prove or disprove a FOL sentence using relevant domain diagrams: $\exists x (a.x\to b.x) \to (\forall x\,\, ax \to \exists b.x)$

Published on
#propositional-calculus #predicate-logic #first-order-logic
61
Views

Logical Arithmetic: Distribution

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

prove or disprove logical inference

Published on
#logic #predicate-logic
47
Views

$A,B$ satisfies on the same finite structures implies $A,B$ are logically equivalent?

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

Translate common language to formally

Published on
#logic #predicate-logic #formal-languages

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.