Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica (Principais problemas (Problema de Simbolização (Expressividade, ou…
Lógica
Principais problemas
Problema de Simbolização
Expressividade, ou seja, a caracterização
do tipo de informação que pode ser representada
pelos enunciados do sistema e, consequentemente,
do tipo que não pode.
Problema da Equivalência
A decisão de que se dois enunciados representam,
ou não, a mesma informação; ou seja, se os enunciados
são equivalentes.
Problema da Validade
Decibilidade
Indecidível
Consequência não pode ser avaliada por
meio de um programa de computador.
Decidível
Consequência pode ser avaliada por
meio de um programa de computador.
Problema da Demonstração
Corretude e Completude
Correto
O Método comprova, é consequência.
Completo
É consequência, o Método comprova.
Sistemas Lógicos
Utilizados para modelar:
Uma relação de consequência (ou de acarretamento
ou de implicação), que determina quando um enunciado
pode ser obtido a partir de outros, de uma maneira lógica.
Um grupo bem especificado de objetos,
chamados enunciados (ou proposições
ou sentenças).
Silogística
Sejam P1, P2, . . . , Pn e C enunciados da silogística.
Dizemos que C é consequência lógica de P1, P2, . . . , Pn
se é impossível que C seja falso quando todos dentre
P1, P2, . . . , Pn são verdadeiros
Correspondem a três partes
Uma relação de consequência (acarretamento, implicação).
Um mecanismo de inferência, por meio do qual demonstrações (argumentações, comprovações, justificativas, deduções, provas) podem ser elaboradas com recursos do próprio sistema.
Uma linguagem, contendo enunciados (proposições, sentenças).
O que é
Lógica é o ramo do conhecimento que estuda
os sistemas lógicos, suas propriedades
e interrelações.