Lógica para Computação Flashcards
O que é lógica de predicados de primeira ordem (LPO)?
é um sistema formal que permite expressar declarações mais complexas sobre objetos e suas relações.
Ex.: “Maria é inteligente” pode ser representado como “I(m)”, onde “m” identifica Maria e “I” a propriedade de “ser inteligente”.
O que é lógica dedutiva?
“Todo homem é mortal, Pedro é homem, logo Pedro é mortal” é um exemplo de silogismo, que é um tipo de raciocínio dedutivo.
A frase “todo homem é mortal” é a premissa maior, que é universal
A frase “Pedro é homem” é a premissa menor, que é particular
A conclusão “logo, Pedro é mortal” é inferida a partir das premissas anteriores
A dedução é um tipo de raciocínio em que a conclusão é necessariamente verdadeira se as premissas forem verdadeiras.
O que é lógica indutiva?
conclusões generalizadas a partir de observações.
“vi 1000 corvos pretos, logo todos são”
obs.: podem ocorrer exceções; útil porém não infalível.
Por que a linguagem simbólica é melhor utilizada na computação que a linguagem natural?
Pois a linguagem natural na computação contém ambiguidades, enquanto a linguagem simbólica é precisa e clara, facilitando a verificação de validade e consistência.
