Logica computacional
16539 palavras
67 páginas
L´gica para Computa¸˜o o caL´gica para Computa¸˜o o ca
Davi Romero de Vasconcelos
Universidade Federal do Cear´ em Quixad´, Brasil a a daviromero@ufc.br 10 de fevereiro de 2014
L´gica para Computa¸˜o o ca
Introdu¸˜o
ca
L´gica o O que ´ l´gica? e o
´
“E o estudo (ou arte) do racioc´ ınio” “Estudo do Pensamento Correto e Verdadeiro”
“Tentativa de conceitua¸˜o do Razo´vel” ca a
´
“E o estudo da (boa) argumenta¸˜o” ca O que ´ l´gica matem´tica? e o a ´
“E o estudo do tipo de racioc´ utilizado pelos matem´ticos” ınio a
L´gica para Computa¸˜o o ca
Introdu¸˜o
ca
Racioc´nio ı Se est´ chovendo, ent˜o a rua est´ molhada a a a Est´ chovendo a A rua est´ molhada a Se ϕ, ent˜o ψ a ϕ ψ L´gica para Computa¸˜o o ca
Introdu¸˜o
ca
Racioc´nio ı Todo homem ´ mortal e S´crates ´ um homem o e
S´crates ´ mortal o e
∀x(ϕ(x) → ψ(x)) ϕ(s) ψ(s)
L´gica para Computa¸˜o o ca
Introdu¸˜o
ca
Racioc´nio ı Se o trem tivesse chegado atrasado e n˜o houvesse t´xi na a a esta¸˜o, ent˜o John se atrasaria para seu compromisso. ca a
John n˜o se atrasou para seu compromisso. a O trem chegou atrasado.
Portanto, havia t´xis na esta¸˜o. a ca
Se tivesse chovendo e Jane n˜o estivesse com seu a guarda-chuva, ent˜o ela se molharia. a Jane n˜o est´ molhada. a a
Est´ chovendo. a Portanto, Jane est´ com seu guarda-chuva. a (ϕ ∧ ¬ψ) → σ
¬σ
ϕ ψ L´gica para Computa¸˜o o ca
Introdu¸˜o
ca
Racioc´nio ı Raciocinar consiste na constru¸˜o de um encadeamento de ca entidades lingu´ ısticas que seguem a rela¸˜o “segue de” ca As entidades lingu´ ısticas no contexto das l´gicas que ser˜o o a apresentadas s˜o as senten¸as declarativas, ou seja, a c entidades que expressam um pensamento completo.
Est´ chovendo a Todo homem ´ mortal e 2+2=4
5 ∈ {2, 3, 5, 7}
O Corinthians ´ o melhor time do Brasil e Em geral, as senten¸as interrogativas (“Qual o pior time do
c