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

Origem: Wikilivros, livros abertos por um mundo aberto.


Índice

[editar] Símbolos de identidade e funcionais (CQC_f^=)

[editar] Tablôs Semânticos para o CQC_f^=

[editar] Dedução Natural no CQC_f^=

[editar] Formalização de sistemas pelo CQC_f^=

[editar] Fomalização da Aritmética pelo CQC_f^=

N1  \forall x\; \left (sx\ne 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 )


Nuvola apps edu mathematics.png

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