É quando todos os
valores finais da tabela
da verdade são V
Contradição
É quando todos os
valores finais da tabela
da verdade são F
Contingência
É quando os valores
finais da tabela da
verdade são mistos: V e F
Equivalência lógica
É quando duas proposições forem compostas
pelas mesmas proposições simples e
possuírem resultados finais idênticos nas
respectivas linhas de suas tableas-verdade
Proposições
Princípio da não contradição: uma proposição
não pode ser V e F ao mesmo tempo. Princípio
do 3º excluído: toda proposição é ou V ou F,
não existindo outra opção
Simples
Não contém nenhuma outra proposição
integrante de si mesma. Tem apenas 1
verbo na sua constituição
Composta
Formada pela combinação de 2 ou
mais proposições simples. Tem + de
1 verbo na sua constituição
Operadores lógicos
Modificadores
Tem a finalidade de modificar o
valor lógico de uma proposição
1. Negação ~
Conectivos
Formam novas proposições a
partir de outras, contendo 2
ou mais proposições simples
1. Conjunção ^
Ex: Queremos um funcionário que: fale inglês E fale espanhol
2. Disjunção inclusiva v
Ex: Queremos um funcionário que: fale inglês OU fale espanhol
3. Disjunção exclusiva _v_
Ex: José possui R$ 10.000 e deve tomar uma decisão: OU trocar de carro OU reformar a casa
4. Condicional →
Ex: SE João nasceu em Brasília, ENTÃO João é brasileiro
5. Bicondicional ↔
Ex: Vou me casar SE, E SOMENTE SE, eu conseguir um emprego
Tabela da verdade
É toda tabela que atribui, previamente, os
possíveis valores lógicos que as proposições
simples podem assumir (V ou F). O valor
lógico de qualquer proposição composta
depende UNICAMENTE dos valores lógicos
das proposições simples que a compõe.
O número de linhas de uma tabela-V é
definido por 2 elevado a n, onde: n = número
de proporsições simples componentes
Álgelbra proposicional
Implicação lógica
Propriedades Comutativa, Distributiva e Leis de Morgan
Sentenças abertas
Sentenças fechadas
Quando a frase
admitir um único
valor lógico (V ou F)
Frases descritivas. Podem
ter sujeito simples,
composto ou inexistente
Quando não se pode
atribuir um valor
lógico V ou F para ela
Frases interrogativas,
exclamativas, imperativas
e sem sentido lógico