MATH
Login Or Sign up

List Question

15
70
Views

Is this natural deduction proof of $\exists x \neg Px \vdash \neg \forall x Px$ correct?

Published on
#discrete-mathematics #logic #propositional-calculus #computer-science #predicate-logic
311
Views

Definition of transitivity of relations

Published on
#elementary-set-theory #first-order-logic #predicate-logic
88
Views

Show that $(\forall v_1)\neg(\forall v_2)\neg (v_1 = v_2+v_2)$ is false in $\mathfrak{N}$.

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

Can free variable substitution change the meaning of the formula?

Published on
#logic #set-theory #predicate-logic
75
Views

Beginner Predicate Logic confusion

Published on
#logic #predicate-logic
106
Views

Enderton's "Mathematical Introduction to Logic": Is he proving second order induction?

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

Why does the reverse of Existential Generalisation not hold?

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

On the tautology $(P \implies Q) \vee (Q \implies P)$

Published on
#logic #propositional-calculus #predicate-logic #logic-translation
78
Views

$\varphi$ is quantifier free sentence, $T$ a theory, $\vec{c} \not\in T$. $T \vdash \varphi(\vec{c})$ implies $T \vdash \forall x \varphi(\vec{x})$?

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

Clarification of "unqualified notion of truth" in 'Logic: The Laws of Truth'

Published on
#logic #predicate-logic #axioms
40
Views

Dichotomy in superaltern and subaltern propositions

Published on
#logic #predicate-logic
56
Views

Any formula is logically equivalent to a formula with all terms of height ≤ 1.

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

A question about 2.26 in Mendelson's Introduction to Logic

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

Do ∃x(Dog(x)) and ∃x(¬Dog(x)) contradict each other?

Published on
#logic #predicate-logic #quantifiers #logic-translation
53
Views

proof of that we can find a sentence σ s.t. σ is true in theory A but not deducible from A

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