FICHA de TRABALHO 2

Lógica proposicional
- caracterização da linguagem da lógica proposicional com as 6 conetivas: «não», «e»,
«ou inclusivo e ou exclusivo», «se... então», «se e somente se»;
–– formalização de frases e de argumentos; prática de interpretação de fórmulas;
–– funções de verdade e uso de tabelas de verdade para testar a validade de
argumentos;
–– formas de inferência válida: modus ponens, modus tollens, contraposição, silogismo
disjuntivo, silogismo hipotético e leis de De Morgan.
II. Principais falácias:
– falácias formais: afirmação da consequente e negação da antecedente.
_____________________________________________________________________________
Escolha a alternativa correta:

1. Na lógica proposicional,
(A) todas as conectivas são unárias.
(B) todas as conectivas são binárias.
(C) há apenas seis conectivas.
(D) há apenas três conectivas.

2. Uma conjunção P ∧ Q só é verdadeira quando

(A) P e Q são falsas.
(B) P e Q são verdadeiras.
(C) P é falsa e Q verdadeira.
(D) P é verdadeira e Q falsa.

3. Uma condicional P → Q só é falsa quando

(A) P e Q são falsas.
(B) P e Q são verdadeiras.
(C) P é falsa e Q verdadeira.
(D) P é verdadeira e Q falsa.

4. Uma disjunção inclusiva P ∨ Q só é falsa quando

(A) P e Q são falsas.
(B) P e Q são verdadeiras.
(C) P é falsa e Q verdadeira.
(D) P é verdadeira e Q falsa.

5. Uma bicondicional P ⇄ Q só é verdadeira quando

(A) P e Q têm valores de verdade iguais.
(B) P e Q têm valores de verdade diferentes.
(C) P ou Q é condicionalmente verdadeira.
(D) P e Q são condicionalmente verdadeiras.

6. Imaginando que uma frase da forma P é verdadeira, a frase da forma P → Q é

(A) verdadeira, se Q for falsa.
(B) verdadeira, se Q for verdadeira.
(C) falsa, se Q não for falsa.
(D) falsa, se Q for indeterminada.

7. A proposição «Uma teoria científica está justificada apenas no caso de ter

confirmação indutiva.» é uma:
(A) bicondicional.
(B) condicional.
(C) disjunção.
(D) conjunção.
1
8. «Se treinar com disciplina diariamente, vou melhorar o meu desempenho no torneio.
Treino com disciplina diariamente. Logo, vou melhorar o meu desempenho no torneio.»
Este silogismo:
(A) comete a falácia da afirmação do consequente.
(B) é válido — forma de inferência válida do modus ponens.
(C) comete a falácia da negação do antecedente.
(D) é válido — forma de inferência válida do modus tollens.

9. Examine a sequência de tabelas de verdade seguinte e escolha a opção correta.

Os argumentos verofuncionais desta forma lógica são

PQ P→Q Q P

VV V V V

VF F F V

FV V V F

FF V F F

(A) válidos, porque em alguns casos as premissas e conclusão são verdadeiras.

(B) inválidos, porque em todos os casos as premissas são verdadeiras quando
a conclusão é falsa.
(C) inválidos, porque em alguns os casos as premissas são verdadeiras quando
a conclusão é falsa.
(D) válidos, porque em todos os casos as premissas e conclusão são verdadeiras.

10. «Se o governo não abrandar com as medidas de austeridade, o povo irá
revoltar-se. O governo abrandou com as medidas. Logo, o povo não se revoltou.» Este
silogismo:
(A) é válido — forma de inferência válida do modus tollens.
(B) é válido — forma de inferência válida do modus ponens.
(C) comete a falácia da negação do antecedente.
(D) comete a falácia da afirmação do consequente.

Exercícios sobre argumentos.

11. Considere o seguinte argumento e teste a validade do argumento através do

método das tabelas de verdade. Caso seja inválido, identifique a falácia cometida.

(P ˄ Q) → Q, Q ∴ P ˄ Q

PQ (PߍQ)→Q Q ∴PߍQ

VV V V V V V

VF F V F F F

FV F V V V F

FF F V F F F

Argumento inválido. Falácia da afirmação da consequente.

2
12. O que se segue da afirmação «Se a prata está barata, então não se justifica
vendê-la», aplicando a regra da contraposição?

Se a prata está barata, então não se justifica vendê-la. Logo, se se justifica vendê-la,
então a prata não está barata.

13. O que se segue da afirmação «Não é verdade que ler livros é inútil e aborrecido»,
aplicando uma das leis de De Morgan?

Não é verdade que ler livros é inútil e aborrecido», aplicando uma das leis de De
Morgan. Logo ou ler livros não é inútil ou ler livros não é aborrecido.

14. Construa um argumento com a forma modus tollens, cuja conclusão seja «A Rita
não foi enganada».

Se a Rita foi enganada, então mentiram-lhe. Não mentiram á Rita. Logo, a Rita não foi
enganada.

15. Construa um argumento com a forma do silogismo disjuntivo, em que uma das
premissas seja «A Rita não foi enganada».

A Rita foi enganada ou atraiçoada. A Rita não foi enganada. Logo foi atraiçoada.

16. O que se conclui, aplicando a regra do silogismo hipotético, das afirmações «Se
conduzires embriagado, vais ter azar» e «Se tiveres azar, não vais acabar bem o dia»?

Se conduzires embriagado, não vais acabar bem o dia.

17. Construa um argumento com a forma modus ponens, em que uma das premissas
seja «O Porto é uma cidade bonita».

Se o Porto é uma cidade bonita, então tem muito turismo. O Porto é uma cidade
bonita. Logo tem muito turismo.

18. Identifique a falácia formal em que se incorre no seguinte argumento, justificando a

sua resposta: «Se Lisboa é uma cidade pequena, é uma cidade bonita. Ora, Lisboa
não é uma cidade pequena. Portanto não é uma cidade bonita.»

Este argumento é uma falácia da negação da antecedente pois a sua forma lógica é
do tipo P→Q, ㄱP, ∴ ㄱQ .

19. Identifique a falácia formal em que se incorre no seguinte argumento, justificando a

sua resposta: «Se Lisboa é uma cidade grande, não é uma cidade bonita. Ora, Lisboa
não é uma cidade bonita. Portanto é uma cidade grande.»

No seguinte argumento está a falácia da afirmação da consequente pois é do tipo

P→Q, Q, ∴P.

FIM