Primeira Lista de Exerccios (Vale 2 pontos)

14 de abril de 2014
1. Prove as seguintes armaes: 1. Se {1 , 2 , . . . n , } insatisfazvel, ento 1 , 2 , . . . n |= 2. , |= se e somente se {, ( )} for insatisfazvel 3. Se |= , ento satisfazvel 4. Se |= e , |= , ento |= 5. Se for uma contradio, ento |= se e somente se insatisfazvel 2. Diga se as armaes abaixo so verdadeiras ou falsas. Justique 1. se |= e |= , ento |= ou |= 2. Se uma tautologia, ento se |= , ento pode ser uma contingncia 3. se |= e |= , ento |= & 3. Faa as rvores de deduo das frmulas abaixo e diga se as mesmas so tautologias, contradies ou contingncias 1. ((p q ) r) ( r (p q )) 2. (((p&q )&(q r))&(p r)) 3. (((p q ) p) q ) 4. ((((p q ) p) q ) p)