Wikilivros:Votação dos melhores módulos: diferenças entre revisões
[edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Linha 58:
===[[Lógica: Cálculo Quantificacional Clássico: Dedução Natural no CQC]]===
{{pro}} A página está completa e já a revisei várias vezes. A dedução natural é uma das partes mais difíceis de um curso de introdução à lógica, ainda mais se tratando do Cálculo Quantificacional, que contém várias restrições às aplicações das regras. Acredito ter deixado claro nesta página como aplicar estas, e o porque de existir as restrições. Também tive o cuidado de apresentar raciocínios e teoremas interessantes tanto nos exemplos quanto nos exercícos - para os quais à resolução em outra página - coisa que eu senti falta em algumas bibliografias, que dão como exemplos e exercíos sempre intâncias dos mesmos teoremas. --[[Usuário:Dante|Dante]] 01h38min de 13 de Julho de 2007 (UTC)
{{neutro}} Devo avaliar quando for possível... --[[Usuário:Marcos Antônio Nunes de Moura|Marcos A. N. de Moura]] 15h33min de 16 de Julho de 2007 (UTC)
</div>
|