Argumentação e lógica formal

Formas de inferência válida e principais falácias: lógica proposicional.

GRUPO I

1. Indique, para cada questão, a opção correta.

1.1 Na lógica proposicional, a tradução de enunciados da linguagem natural para a linguagem formal
designa-se:

a) interpretação;
b) operação proposicional;
c) formalização;
d) representação proposicional.

1.2. A proposição expressa pela frase «O Sol brilha» é considerada uma proposição:

a) composta;
b) simples;
c) complexa;
d) imperativa.

1.3. O operador «ou» é um operador:

a) singular;
b) unário;
c) monádico;
d) binário.

1.4. A condicional é falsa se o antecedente:

a) for verdadeiro e o consequente também;

b) for falso e o consequente também;
c) for verdadeiro e o consequente for falso;
d) for falso e o consequente for verdadeiro.

GRUPO II

1. Refira quais das proposições a seguir expressas são proposições simples e quais as complexas,
justificando:

a) Se corro, então tornar-me-ei um grande atleta.

b) Os computadores não são realidades simples.
c) O conhecimento é uma crença verdadeira justificada.
d) Eu trabalho.
e) Maria é cozinheira ou agricultora.
f) Chove e está frio.
g) Picasso não é um músico.

2.Formalize as proposições a seguir indicadas, apresentando a sua expressão canónica e a respetiva

interpretação:

a) Tanto as árvores como as grutas são protetoras.

b) Ou Deus existe ou o Universo é uma sombra errante.

c)Não ter talento artístico é condição suficiente para eu não ser pintor, se, e só se, os dicionários
fornecem definições corretas.
3.Verifique, usando as tabelas de verdade, se as seguintes fórmulas proposicionais são tautologias,
contradições ou contingências.

a) (¬P ꓦ ¬Q) ↔ (¬ P V ¬Q)

b) (¬P ꓥ ¬Q) → ¬P

4.Refira, usando uma tabela de verdade, se as seguintes proposições são ou não logicamente
equivalentes. Justifique.

-Se gosto de futebol, então tenho um clube.

-Não gosto de futebol ou tenho um clube.
5. Considere os seguintes argumentos:

a) Se vou à feira, então compro sapatos.

Vou à feira.
Logo, compro sapatos.

b) Acredito em ti ou sou inteligente.

Não acredito em ti.
Logo, sou inteligente.

c) Se a noite é tempestuosa, então fico confuso.

A noite não é tempestuosa.
Logo, não fico confuso.

5.1. Determine a sua validade recorrendo a inspetores de circunstâncias. Comece por apresentar a
interpretação (dicionário) e a formalização respetivas.

5.2. Identifique cada um dos argumentos anteriores.

6. Identifique o seguinte argumento e traduza-o com recurso às letras proposicionais e às variáveis

de fórmula:

- Se eu viajo e tu lês, então sabemos o essencial. Se sabemos o essencial, então a nossa vida tem
sentido. Logo, se eu viajo e tu lês, então a nossa vida tem sentido.

Bom trabalho!

Sérgio Inácio