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.

19 639

edições

Revisão das 12h19min de 25 de janeiro de 2011 (editar) He7d3r.bot (discussão \| contribs) (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) 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 →
~~{{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}}