Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC: diferenças entre revisões

Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC (editar)

359 bytes removidos , 7 de março de 2011

m

Não é mais preciso inserir a navegação manualmente, basta manter a lista de capítulos do livro atualizada. Ver detalhes.

[edição não verificada]

19 639

edições

Revisão das 12h19min de 25 de janeiro de 2011 editar He7d3r.bot (discussão \| contribs) Robôs 19 639 edits Atualizando a categoria do livro, com AutoCat (detalhes). utilizando AWB ← Edição anterior		Revisão das 18h56min de 7 de março de 2011 editar desfazer He7d3r.bot (discussão \| contribs) Robôs 19 639 edits m Não é mais preciso inserir a navegação manualmente, basta manter a lista de capítulos do livro atualizada. Ver detalhes. Edição posterior →
Linha 1: ~~{{Navegação\| [[Lógica: Cálculo Quantificacional Clássico\|Voltar para o Índice de Cálculo Quantificacional Clássico]]~~ \|[[Lógica: Cálculo Quantificacional Clássico: Constantes, Variáveis e Quantificadores\|Constantes, Variáveis e Quantificadores]]\|[[Lógica: Cálculo Quantificacional Clássico: Dedução Natural no CQC\|Dedução Natural no CQC]]}} {{reciclagem}}