T8

11 Outubro 2019, 09:30 • Mário Jorge Edmundo

Exemplo de demonstração por casos com sub-casos; Notas sobre a contradição, o símbolo da contradição, e regras de substituição para a contradição; As regras de inferência eliminação da negação [~Elim] e introdução da negação [~Intro] (também conhecida como demonstração por contradição); Exemplos (incluindo a demonstração de que  a raiz quadrada de 2 é irracional); Regras de inferência introdução da contradição e eliminação da contradição; Exemplos (incluindo modus tollendo ponens).