MATH
Login Or Sign up

List Question

15
54
Views

how we can prove that argument $P_1,P_2,...,P_n $?

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

direct hint to showing a formula is valid?

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

Why "Ann believes that Bob assumes that Ann believes that Bob’s assumption is wrong" is paradoxical?

Published on
#game-theory #first-order-logic #paradoxes #modal-logic
57
Views

Constructing Logical Derivation

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

how can we express finiteness as a first order property?

Published on
#elementary-set-theory #first-order-logic #foundations
896
Views

Why is the Generalization Axiom considered a Pure Axiom?

Published on
#logic #first-order-logic #axioms
558
Views

Unsure of Skolemization and Negation Distribution When Converting from FOL to CNF

Published on
#first-order-logic
40
Views

Let $M,N$ be structures with relation $E$. $E^N$ and $E^M$ are equivalence relations, find sufficient and necessary condition for isomorphism

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

How to represent a function that says "send least element to least element and next to next" using a first order formula?

Published on
#elementary-set-theory #logic #first-order-logic
129
Views

How to define "is a structure" by a first-order formula of ZFC

Published on
#logic #set-theory #first-order-logic
45
Views

Let $\Phi = \{Rwt, Rzt, Rwt \wedge Rzt \rightarrow Rxt, y\equiv t\}$. Does $\mathcal{J}^{\Phi} \models Rxy$ hold?

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

Why $ M\models \forall x ( \alpha \to \beta)$ Is False?

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

first order: show that $\forall x (\phi \vee \psi) =\hspace{-.4em}|\models (\phi \vee \forall x \psi)$

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

Do indiscernibles imply additional non-stardard models?

Published on
#logic #first-order-logic #nonstandard-models
104
Views

How show $ S \models \forall x ( \alpha \Leftrightarrow \beta)$?

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