Aula 23 - Lógica Proposital e de Argumentação - pt1
1. PROPOSIÇÕES
declara algo 
verdadeiro ou falso
uma oração
2. LEIS DO PENSAMENTO
lógica aristotélica
1. Princípio da Identidade
verdade e falsidade tem a mesma hierarquia
2. Princípio do Terceiro Excluído
só existem dois valores lógicos
3.Princípio da Não Contradição
uma preposição não pode verdadeira e falsa ao mesmo tempo
3. MODIFICADOR
modifica valor lógico das preposições
símbolo: " ~ " ou " ¬ "
4. TIPOS DE PROPOSIÇÕES
Simples
Composta
não usa conectivos
usa conectivos
tipos de conectivos
1. conjunção (p ^ q)
2. disjunção inclusiva (p v q)
3. disjunção exclusva (p _v q)
4. condicional (p -> q)
5. bicondicional (p <-> q)
conectivo:
conjunção: "e"
conjunção: "ou"
conjunção: "ou..ou.."
conjunção: "se...então...", "somente se"
conjunção: "se e somente se"
5. Nº DE LINHAS DE UMA TABELA-VERDADE
L = 2^n
onde L é nº de linha da TV
onde n é nº de preposições simples
6. TAUTOLOGIA, CONTRADIÇÃO E CONTIGÊNCIA
Tautologia
Contradição
Contigência
Exemplo: p v ~p
valores lógicos IGUAIS implica em VERDADE
valores lógicos IGUAIS implica em FALSO
Exemplo: p ^ ~p