Arq PC

LISTA 2

I ) Para as sentenças abaixo, pede-se:
Apresentar o Esquema Abreviador;
Em cada caso, indicar se é Atômica ou Molecular (classificar);
E representar as proposições na Linguagem Simbólica.

1. O número 17 é primo.
2. Fortaleza é a capital do Maranhão.
3. O valor archimediano de π é .
4. Se as diagonais de um paralelogramo são iguais, então todo quadrado não é um retângulo.
5. Todo polígono regular convexo é inscritível se, e somente se a Lua é um satélite natural da Terra.
6. O hexaedro regular tem 8 arestas mas o hexágono não tem apenas 6 arestas.
7. Ou Tiradentes morreu afogado ou Vasco da Gama descobriu o Brasil, no entanto todo número divisível por 5 termina em 5 e Roma fica na Europa.
8. Lisboa é a capital de Portugal, se a neve é branca ou a Lua não é um satélite natural da Terra.
9. Maria e Carlos são advogados.
10. Choverá se não fizer bom tempo hoje, no entanto gosto de doces.
11. Não é verdade que: Maria é advogada ou a Lua é satélite natural da Terra, se Tiradentes morreu afogado.
12. Fortaleza não é a capital do Maranhão.

II ) Sejam as proposições:
( A ) Bárbara é elegante. ( B ) Bárbara é inteligente.

Traduzir para a Linguagem Simbólica as seguintes proposições:
1. Bárbara não é inteligente, mas é elegante.
2. Bárbara é inteligente ou não é elegante.
3. Se Bárbara não é elegante, então não é inteligente.
4. Bárbara é elegante ou não, no entanto é inteligente.

III ) Traduzir para a linguagem simbólica as seguintes proposições (faça o esquema abreviador):
1. Se x = 0 ou x > 0, então x  0.
2. Ou y  0 ou x = 0, se e só se y + z >x.
3. z = 0 mas x = y, se z = t ou y < 0.
4. Ou x  y ou y < 0, x > 0.