ATIVIADE LOGICA COMPUTACIONAL

ATIVIADE
1. Conceitue lógica.
Operação mental que consiste em se estabelecer uma verdade universal ou uma proposição geral com base no conhecimento de certo número de dados singulares ou de proposições de menor generalidade.
2. Explique, com suas palavras, a utilização do conceito de lógica formal.
Os conceitos são rigorosamente definidos, e as orações são transformadas em notações simbólicas precisas, compactas e não ambíguas. As letras minúsculas p, q e r, são convencionalmente usadas para denotar proposições.
3. Defina Dedução e Indução, e a diferença entre eles.
A diferença é dizer que numa dedução é impossível que as premissas sejam verdadeiras e a conclusão falsa, mas no raciocínio indutivo no sentido forte isso é possível, mas pouco provável.
4. Qual o objetivo da utilização de métodos dedutivos ou indutivos na Lógica Clássica?
Eles costumam ser avaliados de acordo com a maior ou menor possibilidade com que suas conclusões sejam estabelecidas.
5. Cite algumas vantagens da utilização de uma simbologia na construção de argumentos lógicos.
Ferramentas mais poderosas para análise e dedução dos argumentos, ajudando a expor, com maior clareza, as estruturas lógicas das proposições e dos argumentos.
Utilização de recursos computacionais no tratamento de enunciados e argumentos.
6. Cite diferença entre lógica proposicional e lógica de predicados.
Lógica Proposicional (ou cálculo proposicional) se ocupa de proposições singulares.
Lógica de Predicados (ou cálculo de predicados) trata dos conjuntos de objetos e suas propriedades.
7. Descreva os três princípios da lógica formal.
O Princípio da Identidade: Cada ser é igual a si mesmo.
O Princípio da Não-Contradição: Uma coisa não pode ser e não ser.
O Princípio do Terceiro Excluído: Uma coisa é ou não é.
8. Faça um breve comentário sobre as lógicas não-clássicas.
Lógica computacional é uma teoria formal semanticamente construído de computabilidade, em oposição à lógica clássica, que é uma teoria formal de verdade, se