lógica

CLCULO PROPOSICIONAL Formaliza as seguintes frases A eutansia permitida por lei se for praticada na Holanda. A eutansia deve ser permitida se, e s se, for aplicada a doentes terminais. Se Picasso espanhol e est vivo, ento no pintor. Picasso espanhol e, se est vivo, ento no pintor. Picasso espanhol, mas no est vivo. Picasso no est vivo, embora seja espanhol e pintor. No acontece depressa e bem. Vou praia e tomo banho ou leio um livro. () Se o professor no se despachar, chega tarde escola e os alunos tm folga. Pedro e Ins amam-se. Formaliza os seguintes argumentos Se for praia e tomar banho, leio um livro. Sucede que no leio um livro, portanto no vou praia e tomo banho. Est a chover, uma vez que se no chovesse as pessoas no estavam molhadas e as pessoas esto molhadas. A Ana no est contente, pois quando tira positiva num teste fica contente e sempre que fica contente canta. Acontece que a Ana no canta. Deus existe ou a Bblia est errada. Se Deus existe, no existe o mal no mundo. Mas no mundo existe o mal. Da que a Bblia esteja errada. Se Deus existe e bom, ento o mal no existe no mundo. Mas se o mal no existe no mundo, o paraso terrestre existe. Mas ser que o paraso existe na Terra A verdade que o paraso terrestre no existe. Logo, no verdade que Deus existe e bom. 3. Avaliao e demonstrao da validade de argumentos 3.1. Testa a validade do argumento apresentado em 2.1. recorrendo ao mtodo dos inspectores de circunstncia. Demonstra a validade do argumento apresentado em 2.4. Consideras o argumento 2.4. um argumento slido Justifica. Demonstra a validade do argumento 2.5. Consideras o argumento 2.5 um argumento slido Justifica. CLCULO DE PREDICADOS Formaliza as seguintes frases Lisboa grande e barulhenta. Lisboa grande e barulhenta, mas bonita. Lisboa grande e Tavira pequena. Deus bom mas o diabo no. Se Scrates ateniense, grego. Se Marte um planeta, ento Vnus e Jpiter tambm. Plato nasceu antes de Aristteles. Plato nasceu antes de Aristteles e