Wikilivros:Votação dos melhores módulos/Arquivo: diferenças entre revisões
| [edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
m →Observações: removendo afluentes da(s) minha(s) (sub)página(s) de usuário antiga(s) utilizando AWB |
m →[[Lógica/Cálculo Quantificacional Clássico/Dedução Natural no CQC]]: Correção de afluentes dos capítulos do livro de lógica (\[\[([^\n]*): ([^\n]*)\]\] --> [ [$1/$2]]) e de typos; -hack obsoleto para forçar PNG |
||
Linha 74:
== Votação 07/2007 (Votação encerrada)==
===[[Lógica
*{{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)
*<s>{{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)</s>
| |||