MATH
Login Or Sign up

List Question

15
49
Views

Proof of $\exists!A \ \forall B \ (A \cup B = B) $

Published on
#elementary-set-theory #solution-verification #first-order-logic
224
Views

Expressiveness of First Order Logic with unary predicates and finite number of variables?

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

How do we know whether an interpretation of a formula is true or false?

Published on
#computer-science #first-order-logic #model-theory
141
Views

Is it possible to rewrite this proof in a more intuitive form?

Published on
#proof-writing #proof-explanation #first-order-logic
83
Views

What is the dependency between the equivalence of consistence and satisfiability, and correctness and completeness theorems?

Published on
#logic #computer-science #first-order-logic #satisfiability
208
Views

Are $\forall x\forall y(p(x,y)\leftrightarrow p(y,x))$ and $\forall x\forall y p(x,y) \leftrightarrow \forall y\forall x p(x,y)$ tautologies?

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

Does equivalence between different deductive systems consider choices of axioms?

Published on
#logic #computer-science #first-order-logic #natural-deduction
34
Views

Is the semantics of a first order logic system defined as part of the first order logic system?

Published on
#computer-science #first-order-logic #formal-systems
142
Views

Two different definitions for a model in first order logic?

Published on
#logic #definition #first-order-logic #model-theory
369
Views

Unification of an expression : Example

Published on
#logic #first-order-logic #unification
269
Views

Can we add a structure notion on set relations without invoking choice?

Published on
#set-theory #first-order-logic #axiom-of-choice
216
Views

Counting Sub-Formula of this First-Order Formula

Published on
#logic #first-order-logic
169
Views

How Do I Prove the 6 Letter Thesis Cδδ0δp?

Published on
#logic #propositional-calculus #first-order-logic #polish-notation
328
Views

How can logic talk about itself?

Published on
#logic #first-order-logic #incompleteness #metalogic
216
Views

Model for first order formula

Published on
#logic #model-theory #predicate-logic #first-order-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.