Lógica/Cálculo Quantificacional Clássico/Identidade e Símbolos Funcionais

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

Formalização de sistemas pelo $CQC_{f}^{=}$

Fomalização da Aritmética pelo $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.