Ficha de Trabalho de Filosofia 10 anos

Lógica

Ficha de trabalho nº 2

1. Considere as proposições p e q. Simplifique as seguintes expressões que definem proposições e indique, sempre que possível, o respetivo valor lógico.

1.1. [pic 1]        

1.2. [pic 2]        

1.3. [pic 3]

1.4. (a⇔b) ⇒a

1.5. ~((a⇒b) ∧ ~b) ∧a

2. Considere as proposições:

a: Porto ganha o campeonato.                

b: Benfica ganha o campeonato.                  

c: Sporting ganha o campeonato.

Supondo que a proposição composta ~(~a ∨ (~b⇒c)) é verdadeira, diga qual das equipas ganha o campeonato.

3. Averigue se a proposição é uma tautologia ou uma contradição: p⇒(p∨q)

4. Considere as proposições:

p: As retas a e b são perpendiculares                

q: As retas a e b formam entre si quatro ângulos iguais          

4.1. Traduza para linguagem corrente:

4.1.1. p ⇒ q

4.1.2. ~p∨q

4.1.3. ~q ⇒ p

4.2. Admitindo que p⇒q é verdadeira, indique o valor lógico da proposição:

As retas a e b são perpendiculares e as retas a e b não formam entre si quatro ângulos iguais.

5. Considere as proposições:

p: O Guilherme estuda Matemática                

q: O Guilherme estuda Geometria Descritiva                  

r: O Guilherme estuda Economia

Descubra as disciplinas estudadas pelo Guilherme, sabendo que é verdadeira a proposição:

(p⇒~r) ∧~(r⇒q).

...