o - T3 Fundamentos de Teoria da Computac a

Quest ao Avaliativa 1 - L ogica

1. Escolha apenas um dos itens abaixo ((a) ou (b)) e construa os argumentos dados utilizando l ogica proposicional ou de predicados, classicando a conclus ao dada como v alida ou inv alida. Sua resposta deve ser justicada atrav es de infer encia l ogica. Observa c ao: Indique as vari aveis proposicionais e/ou predicados usados e o universo do discurso. Na justicativa, enumere os argumentos usados e as regras de infer encia e/ou equival encias usadas em cada passo. (a) Se eu mandar consertar o carro antigo, irei ao Paraguai. Para eu ir ` a Argentina, e suciente comprar um carro novo. Neste ano, com certeza comprarei um carro novo ou consertarei o carro antigo. Portanto, n ao e correto armar que n ao irei ao Paraguai nem ` a Argentina.

(b) Algumas animais s ao mam feros e t em asas. N ao existem animais mam feros que n ao mamam. Nem todo animal que vive na agua e peixe. Toda animal que tem asa voa. Logo, existem mam feros que voam e mamam.

Tabela de equival encias l ogicas Equival encias l ogicas pV p pF p pV V pF F ppp ppp (p) p pq qp pq qp (p q ) r p (q r ) (p q ) r p (q r ) p (q r ) (p q ) (p r ) p (q r ) (p q ) (p r ) (p q ) p q (p q ) p q p p V p p F Nome leis da identidade ou de elementos neutros leis de domin ancia leis de idempot encia lei de dupla nega c ao leis de comutatividade leis de associatividade leis distributivas leis de De Morgan leis de nega c ao

Tabela de regras de infer encia regra p pq pq p p q pq pq p r qr pq p q q pq p pq qr pr pq p q tautologia p (p q ) (p q ) p [(p) (q )] (p q ) nome Adi c ao Simplica c ao Conjun c ao

[(p q ) (p r )] (q r )

Resolu c ao

((p q ) p) q

Modus ponens

[q (p q )] p

Modus tollens

[(p q ) (q r )] (p r ) Silogismo hipot etico

[(p q ) p] q

Silogismo disjuntivo