Construir formas de inferência válida

1- Constrói um modus Tollens a partir de proposições à tua escolha.

2- Constrói um silogismo disjuntivo, a partir de proposições à tua escolha.

3- Constrói um silogismo hipotético válido, a partir de proposições à tua escolha

4- Constrói um argumento, a partir de proposições à tua escolha, em que uses

uma das regras de De Morgan

Tirar conclusões usando formas de inferência

Premissas Conclusão Forma de inferência a usar

1 Se eu mantiver a cabeça fria, não falharei este conjunto de Modus Ponens
exercícios. É certo que mantenho a cabeça fria
2 Não é possível ouvir música sem sentir emoção. Neste momento Modus Tollens
a verdade é que não sinto qualquer emoção.
3 Para ser galo, basta ter crista. Eu não tenho certamente uma Modus Tollens
crista
4 Se é lisboeta, não é natural do Porto Contraposição
5 Ou falho este exercício ou é verdade que a lógica é uma Silogismo disjuntivo
disciplina fácil. Ora eu não falhei este exercício
6 Se chove, o caracol sai Contraposição
7 Se o preço da gasolina subir, as pessoas tenderão a usar menos Silogismo hipotético
o automóvel. Se as pessoas usarem menos o automóvel, os
níveis de dióxido de carbono na atmosfera diminuem
8 A retórica é uma forma de persuasão ou de manipulação. A Silogismo disjuntivo
retórica não é uma forma de persuasão.

9 Se sei que penso, então penso. Se penso, então existo. Silogismo hipotético

10 Se duvido, então penso Contraposição

11 Não é verdade que as pessoas celebram o 14 de Fevereiro e 1ª lei De Morgan

cantam canções de amor
12 É falso que Pedro não é competente ou não merece o cargo que 2ª lei De Morgan
tem
13 Florbela não gosta do Joaquim ou não anda preocupada 1ª lei De Morgan

14 Não se dá que tenha carta ou saiba conduzir 2ª lei De Morgan

 Identificação de formas válidas de inferência

Assinala nos espaços em baixo que forma de inferência está a ser usada
a) b) c)

[P→(Q^R)] [(P v Q) →R] (P^Q) v (R^S)

[(Q^R) →S] _________ ¬(P^Q)
__________ [¬R→¬(P v Q)] ____________
(P→S) (R^S)

d) e) f)

(P^Q) →¬R ¬[(P→Q) ^ (P v R)] {[(P v Q) →R]^ (P v R)]}→(P v R)

¬¬R ________________ {[(P v Q) →R]^ (P v R)]}
____________ [¬ (P→Q) v ¬(P v R)] ___________________________
¬(P^Q) ( P v R)
 Distinguir falácias de argumentos válidos

Indica o nome, para cada um dos argumentos seguintes, da forma de inferência está a ser usada ou, no
caso de ser falacioso, o nome da falácia?

Argumentos Forma de inferência Falácia

Se for à praia, leio um livro. Como leio um livro, não vou à
praia.
Se ganhar o euro milhões, compro um barco. Eu não
ganho o euro milhões. Logo não compro um barco
Não é verdade que a porta é redonda ou as mesas
triângulos. Portanto a porta não é redonda e as mesas não
são triângulos
[(P ^ Q)→(Q v ¬P)]├ [(Q v ¬P) →(P^Q)]

[(Q ^ R)→P], (Q^R), ├ P

[P v (Q^R)], ¬(Q^R), ├ P
É falso que há determinismo ou livre arbítrio. Logo, não há
determinismo nem livre arbítrio.