Símbolos de identidade e funcionais $(CQC_{f}^{=})$

Tablôs Semânticos para o $CQC_{f}^{=}$

N1

\forall x\;\left(sx\neq x\right)

N2

\forall x\;\forall y\;\left(sx=sy\to x=y\right)

N3

\forall x\;\left(x+0=x\right)

N4

\forall x\;\forall y\;\left(x+sy=s\left(x+y\right)\right)

N5

\forall x\;\left(x\times 0=0\right)

N6

\forall x\;\forall y\;\left(x\times sy=\left(x\times y\right)+x\right)

N7

\forall x\;\neg \left(x<\;0\right)

N8

\forall x\;\forall y\;\left(x<\;sy\leftrightarrow \;\left(x<\;y\lor \;x=y\right)\right)

N9

\forall x\;\forall y\;\left(x<\;y\lor \;x=y\lor \;y<\;x\right)

Esta página é um esboço de matemática. Ampliando-a você ajudará a melhorar o Wikilivros.