MATH
Login Or Sign up

List Question

15
66
Views

$\exists (p(x)\rightarrow q(a)) \vdash \forall y p(y) \rightarrow q(a)$

Published on
#logic #first-order-logic #predicate-logic #natural-deduction #formal-proofs
526
Views

Can CCxyCCNxyy Get Proven in Less Than Or Equal to 50 Detachments in This System?

Published on
#logic #propositional-calculus #first-order-logic #formal-languages #axioms
411
Views

Does this semantic tree close?

Published on
#logic #predicate-logic #first-order-logic
1.9k
Views

There exists no zero-order or first-order theory for connected graphs

Published on
#logic #first-order-logic #satisfiability #infinite-graphs
2.5k
Views

When can I move a quantifier outside the scope of another quantifier? S

Published on
#logic #predicate-logic #first-order-logic
2.3k
Views

Equality and its axioms

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

First-order language.

Published on
#first-order-logic
136
Views

Some confusing steps with Resolution by refutation FOL

Published on
#logic #first-order-logic #conjunctive-normal-form
82
Views

Showing a structure is minimal

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

Natural Deduction First Order Logic $∃y∀x(P(x) ∨ Q(y))↔∀x∃y(P(x) ∨ Q(y))$

Published on
#logic #first-order-logic #predicate-logic #natural-deduction #formal-proofs
335
Views

Help with Rules of Identity of First Order Logic with Equality

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

Derivation of back and forth method?

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

Natural deduction proof of $a = b \rightarrow f(a) = f(b)$. Where have I gone wrong?

Published on
#functions #proof-verification #predicate-logic #first-order-logic #natural-deduction
179
Views

Directed cycles - logic first order sentence with three variables - proof of existence some sentence

Published on
#logic #graph-theory #proof-writing #predicate-logic #first-order-logic
1.5k
Views

Sentences in first order logic for graphs

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