Prova 2 de L ogica para Computa c ao

Professor Adolfo Neto 27 de mar co de 2013

Sintaxe de L ogica de Predicados

= [R1 , R2 , C, F 1 , F 2 , V ] onde R1 = {vampiro} R2 = {come, ama} C = {pi} F 1 = {sqrt} F 2 = {blabla} V = {x, y, z }

Dada a assinatura

Assinale com (C) as f ormulas sintaticamente corretas e com (I) as f ormulas sintaticamente incorretas abaixo: a. ( b. ( c. ( d. ( ) xy (pi = blabla(x, sqrt(y ))) ) vampiro(x) come(x, y ) ) (xy (ama(x, y ) ama(y, x)) (sqrt(pi)=blabla(pi,pi))) ) vampiro(pi) ama(sqrt(x),sqrt(z ))

Modelos

Escreva um modelo que satisfa ca as f ormulas abaixo: x(triatleta(x) corredor(x)) y (mulher(y ) triatleta(y )) x(ironman(x) (y (treinador(x) = y ))) Voc e deve usar o seguinte conjunto de valores concretos: {mark, paula, vivian, ricardo} 1

Tabl os Anal ticos

(C D), B D, (A X ) B (A C )

O sequente

e v alido? Demonstre (que sim ou que n ao) usando o m etodo de Tabl os Anal ticos. Caso o sequente n ao seja v alido, escreva, al em da demonstra c ao, a valora c ao que e um contra-exemplo para a validade do sequente.