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.
Obtido em "http://pt.wikibooks.org/wiki/L%C3%B3gica/C%C3%A1lculo_Quantificacional_Cl%C3%A1ssico/Identidade_e_S%C3%ADmbolos_Funcionais"