Lista de Exercícios 3 Raciocionio Lógico[1]

Prévia do material em texto

Lista de Exercícios 1 – Raciocínio Lógico Matemático 
Prof. Denilson Viana 
Nome: ____________________________________________ RA: _____________ 
Curso: _______________________________________ Semestre: _____________ 
Data de Entrega: 27/11/17 
 
1. Analise os argumentos e verifique se são validos ou inválidos utilizando a tabela verdade. 
a) Se Vagner não bebe então dirigi. 
Vagner está dirigindo. 
Portanto, Vagner não bebeu. 
p:____________________________________ 
q:____________________________________ 
Forma simbólica da argumentação:________________________ 
Tabela verdade: 
 
 
 
 
 
Argumento: ( ) Válido ( ) Inválido 
 
b) Se eu fosse artista, então eu seria famoso. 
Sou famoso. 
Logo, sou artista. 
p:____________________________________ 
q:____________________________________ 
Forma simbólica da argumentação:________________________ 
Tabela verdade: 
 
 
 
 
 
Argumento: ( ) Válido ( ) Inválido 
 
c) Se neva, então faz frio. 
Não está nevando. 
Logo, não está frio. 
p:____________________________________ 
q:____________________________________ 
Forma simbólica da argumentação:________________________ 
Tabela verdade: 
 
 
 
 
 
Argumento: ( ) Válido ( ) Inválido 
 
 
d) Gosto de dançar ou cantar. 
Não gosto de dançar. 
Logo, gosto de cantar. 
p:____________________________________ 
q:____________________________________ 
Forma simbólica da argumentação:________________________ 
Tabela verdade: 
 
 
 
 
 
Argumento: ( ) Válido ( ) Inválido 
 
2. Passe os argumentos para a forma simbólica e indique se utilizam a regra de inferência 
Modus Ponens ou Modus Tollens. 
 
a) Se Antônio é estudante, então Maria é dona de casa. 
Antônio é estudante. 
Logo, Maria é dona de casa. 
Forma simbólica:_________________________ ( )Modus Ponens ( )Modus Tollens 
 
b) Se o carro anda, então consome combustível. 
O carro não consome combustível. 
Portanto, o carro não anda. 
Forma simbólica:_________________________ ( )Modus Ponens ( )Modus Tollens 
 
c) Se eu durmo tarde, não acordo cedo. 
Acordo cedo. 
Logo, não durmo tarde. 
Forma simbólica:_________________________ ( )Modus Ponens ( )Modus Tollens 
 
d) Se chover então levo o guarda-chuva. 
Vai chover. 
Logo, vou levar o guarda-chuva. 
Forma simbólica:_________________________ ( )Modus Ponens ( )Modus Tollens 
 
3. O silogismo é composto de três termos: premissa maior, premissa menor e conclusão. 
Classifique os termos dos silogismos abaixo. 
 
a) Nenhum estudante é estrangeiro. ____________________________ 
Algum estrangeiro é pintor. ____________________________ 
Portanto, algum pintor é não é estudante. ____________________________ 
 
b) Todo cavalo tem crina. ____________________________ 
Algum cavalo é marrom. ____________________________ 
Portanto, algum marrom tem crina. ____________________________ 
 
c) Alguma fruta não é vermelha. ____________________________ 
 
Todo morango é vermelho. ____________________________ 
Logo, alguma fruta não é morango. ____________________________ 
 
d) Nenhum estudante é analfabeto. ____________________________ 
Algum estudante é esportista. ____________________________ 
Logo, algum esportista não é analfabeto. ____________________________ 
 
4. Com base nas 8 regras básicas do silogismo, informe a conclusão de cada argumento abaixo. 
 
a) Todo pássaro é bonito. 
Tudo que é bonito é agradável. 
__________________________________________________ 
 
b) Todo cão é quadrúpede. 
Tudo que late é cão. 
__________________________________________________ 
 
c) Todo círculo é redondo. 
Nenhum triângulo é redondo. 
__________________________________________________ 
 
d) Pedro é homem. 
Todo homem é mortal. 
__________________________________________________ 
 
5. Prove a validade dos argumentos utilizando as regras de inferência. 
a) p→q, ~q, ~p→r ⟼ r 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
 
b) ~p→ ~q, q, p→ ~r ⟼ ~ r 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
 
c) u ∨ w, ~w, u → ~p, 
~p → (r∧~s) ⟼ r∧~s 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
____________________ 
 
 
 
 
 
 
 
 
 
 
 
 
6. Considere as argumentações abaixo e, utilizando a redução ao absurdo, estabeleça a 
premissa adicional, a forma simbólica, e verifique sua validade utilizando as regras de 
inferência: 
 
a) Se o time joga bem, então ganha o 
campeonato. 
Se o time não joga bem, então o técnico é 
culpado. 
Se o time ganha o campeonato, então os 
torcedores ficam contentes. 
Os torcedores não estão contentes. 
Logo, o técnico é culpado. 
Premissa adicional: 
_____________________________________ 
Forma simbólica: 
_____________________________________ 
Validade do argumento: 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
( ) Válido ( ) Inválido 
 
b) Se Ana sente dor de estômago ela fica 
irritada. 
Se Ana toma remédio para dor de cabeça ela 
fica com dor de estômago. 
Ana não está irritada. 
Logo, Ana não tomou remédio para dor de 
cabeça. 
Premissa adicional: 
_____________________________________ 
Forma simbólica: 
_____________________________________ 
Validade do argumento: 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
_____________________________________ 
( ) Válido ( ) Inválido