MATH
Login Or Sign up

List Question

15
41
Views

How do the prenex conversion rules for conjunctions and disjunctions come from these logical axioms?

Published on
#first-order-logic
34
Views

Isn’t $P\rightarrow\forall xP$ the Generalisation Theorem?

Published on
#first-order-logic
133
Views

Writing a First-Order Language for a Basketball League

Published on
#first-order-logic
104
Views

How to formalize this simple problem in logic?

Published on
#discrete-mathematics #logic #propositional-calculus #first-order-logic #predicate-logic
103
Views

Double-Substitutions in First-Order Logic

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

If $x$ is not a free variable in $A$, then $\vDash (\forall x(A \to B))\to (A\to \forall x B) $

Published on
#first-order-logic
168
Views

Omega-stable theories are totally transcendental

Published on
#logic #first-order-logic #model-theory
88
Views

Model-companion of $T_\sigma$

Published on
#logic #first-order-logic #model-theory
124
Views

Natural deduction - sequent not valid (not provable)?

Published on
#logic #first-order-logic #natural-deduction
95
Views

Is second-order logic with full semantics effectively checkable?

Published on
#proof-verification #first-order-logic #second-order-logic
293
Views

A first order logic extended with binding terms like the familiar set descriptors $\{x:\varphi\}$

Published on
#logic #reference-request #first-order-logic #proof-theory
80
Views

predicate first order logic satisfiability

Published on
#logic #first-order-logic #predicate-logic #satisfiability
29
Views

Representing a sentence in first order logic

Published on
#discrete-mathematics #first-order-logic
77
Views

Prove $(\exists x)A\to((\exists x)(A\wedge(B\vee C))\equiv B \vee (\exists x)(A\wedge C))$, if $x$ is not free in $B$

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

is the following a derived rule of our logic? $A\to B \vdash (\exists x)A\to B$, provided $x$ is not free in $B$?

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