Please enable JavaScript.
Coggle requires JavaScript to display documents.
01 - Lógica proposicional (nomenclaturas (proposicional, aristotélica,…
01 - Lógica proposicional
surge com Aristóteles 384 a.C.
criada para entender como o ser humano convence outro de alguma coisa
nomenclaturas
proposicional
aristotélica
formal
clássica
bivalente
proposição
= sentença declarativa
falsa ou verdadeira (nunca ambas) = valor lógico ou valor de verdade
informação completa
tem que ter um verbo
cuidado!
não são proposição
interrogativas
exclamativas
paradoxos
sentenças que apesar de informativas, não são proposição por um de dois motivos
é uma sentença ao mesmo tempo verdadeira e falsa
exemplo: Eu estou mentindo.
é uma situação sem solução
sentenças abertas
informação vaga
não permite classificação falsa ou verdadeira
apresenta uma variável
ele/ela/aquele/aquela
exemplo: Ele é bonito. (não dá pra saber quem é ele)
x, y...
exemplo: x+2=5 (não dá pra saber quem é x)
exceção
se..., então
exemplo: se x+2=5, então x>4
todo
nenhum
algum
imperativas
princípios lógicos
princípio do terceiro excluído
uma proposição deve ser verdadeira ou falsa, não havendo outra possibilidade
princípio da não contradição
uma proposição não pode ser ao mesmo tempo verdadeira e falsa
princípio da identidade (cobrado por poucas bancas)
toda proposição é igual a si mesma