MATH
Login Or Sign up

List Question

15
365
Views

Fitch proof for a=b

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

Semantics For Quantifiers

Published on
#logic #first-order-logic
1.1k
Views

Proving that $\{NAND\}$ and $\{NOR\}$ each is the only minimal functionally complete set of logical connectives with 1 element

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

Counterexample for the invalidity of the following

Published on
#examples-counterexamples #first-order-logic #predicate-logic #natural-deduction
63
Views

Proof using natural deduction of $\small\forall x~[A(x)\to\exists y~[B(y)\land C(y,x)]] \vdash\forall x~[\exists y~[A(x)\to(B(y)\land C(y,x))]]$

Published on
#first-order-logic #predicate-logic #natural-deduction
323
Views

How to prove conditional in Coq?

Published on
#discrete-mathematics #logic #first-order-logic
2k
Views

How can equality be defined in first-order logic?

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

Theorem for some structure that it cannot be axiomatized in any language?

Published on
#logic #first-order-logic #incompleteness
373
Views

What is the standard first-order language to formalize ZFC?

Published on
#set-theory #first-order-logic #predicate-logic
212
Views

Show that $∀x∃yRxy ⊢ ∃zRf(a)z$

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

Can all relations be defined from symmetric relations?

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

Can every relation be defined from "set-ary" relations?

Published on
#logic #relations #first-order-logic #model-theory
56
Views

Q: on Lemma I.5.11 proof from Tourlakis 2003

Published on
#logic #first-order-logic #predicate-logic #model-theory
340
Views

A theorem similar to Los-Tarski

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

Why can't the sequent calculus for First-Order Classical Logic be used for proving decidability via Proof-search?

Published on
#first-order-logic #proof-theory #decidability #sequent-calculus

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.