Matematica Aplicada
Matemática Aplicada
Prof. Renato Cristiano Torres
01/06/2014
Resumo
Conteúdo
1.
Introdução - Matemática ......................................................................................... 4
2.
Lógica Moderna ........................................................................................................... 5
3.
Lógica Proposicional .................................................................................................. 7
5.
Construção de Tabelas-Verdade ......................................................................... 21
5.1.
Proposições compostas e tabelas-verdade ............................................. 21
5.2.
Uso de parênteses e ordem de precedência .......................................... 22
5.3.
Exemplos de construção de tabelas-verdade de uma proposição composta ............................................................................................................................. 24
6.
Valor lógico de uma proposição composta ..................................................... 27
7.
Tautologias, contradições e contingências ..................................................... 30
7.1.
Tautologias .......................................................................................................... 30
7.2.
Princípio de substituição para as tautologias ......................................... 32
7.3.
Contradição ......................................................................................................... 32
7.4.
Contingência ....................................................................................................... 33
8.
Implicação Lógica – Equivalência lógica .......................................................... 35
8.1.
Implicação Lógica ............................................................................................. 35
8.2.
Teorema – condicional e implicação