Introdução a Lógica

...

- Explique porque essas atribuições de valores para ¬p, p∧q e p∨q são razoáveis.

- Suponha que a proposição “o vôo 237 está na hora” tenha valor estimado de 0,84 e que a proposição “tem gelo na pista” tenha valor estimado de 0,12. Encontre os valores das seguintes proposições:

- Não tem gelo na pista e o vôo 237 está na hora

- Tem gelo na pista e o vôo 237 está na hora

- Tem gelo na pista e o vôo 237 não está na hora.

- Quatro computadores A, B, C e D estão conectados em uma rede. Desconfia-se que um vírus de computador possa ter infectado a rede. O que se pode concluir a partir das seguintes afirmações do grupo que administra a rede?

- Se o computador D estiver infectado, C também está.

- Se o computador C estiver infectado, A também está.

- Se o computador D estiver limpo, então B está limpo, mas C está infectado.

- Se o computador A estiver infectado, então ou B está infectado ou C está limpo.

- Simplifique o seguinte fragmento de código de um programa em alguma linguagem de programação:

if((FluxoDeSaida > FluxoDeEntrada) and not ((FluxoDeSaida > FluxoDeEntrada) and (pressão do Alguma Coisa;

else

do OutraCoisa;

- Escreva as sentenças a seguir como sentenças simbolizadas:

- Se os preços subirem, então haverá muitas casas para vender e elas serão caras; mas, se as casas não forem caras, então, ainda assim, haverá muitas casas para vender.

- Tanto ir dormir como ir nadar é uma condição suficiente para trocar de roupa; no entanto, mudar a roupa não significa que se vai nadar.

- Vai chover ou nevar mas não ambos.

- Se Jane vencer ou perder, vai ficar cansada.

- Se Jane irá vencer ou, se perder, ela ficará cansada.

- Seja I uma interpretação tal que I[p → q] = F. O que se pode deduzir a respeito dos resultados das interpretações a seguir?

- I[(p ∨ r) → (q ∨ r)]

- I[(p ∧ r) → (q ∧ r)]

- I[(¬p ∨ q) → (p ∨ q)]

- Seja h = ((p→q) → (((p ∧ q) ↔ p) ∧ ((p ∨ q) ↔ q))) → p uma fórmula e J uma interpretação.

- Se J[p] = F o que se pode concluir a respeito de J[h]?

- Se J[p] = T o que se pode concluir a respeito de J[h]?

- Considere os seguintes argumentos:

Se Guga joga uma partida de tênis, a torcida comparece se o ingresso é barato.

Se Guga joga uma partida de tênis, o ingresso é barato.

O argumento “se Guga joga uma partida de tênis, a torcida comparece” é uma conseqüência lógica dos argumentos acima? Use tableaux semânticos.