3 Atividade - LÓGICA PARA COMPUTAÇÃO - Edson Alves Ribeiro

Prévia do material em texto

EADDCC003-2015.3-A - LÓGICA
PARA COMPUTAÇÃO
Nome:
Polo: 
Matricula: 
3 Atividade à distância (Valor 5 pontos) 
Informe a conclusão do argumento a baixo que contém as seguintes premissas (1 ponto): 
 
Se eu ganhar na loteria, então serei rico. 
Eu ganhei na loteria. 
 p q
 p
_____	CONCLUSÃO: ESTOU RICO
q
Simplificar o máximo a proposição (1 ponto):
~p˄q→q˅r
~(~p˄q)˅(q˅r)
p˅~q˅q˅r
~q˅q
 T
~p↑r˅~(q˄p)
p˅~r˅~q˅~p
p˅~p
 T
“É falso que Wesley	tenha	ido a praia e	ao shopping“	equivale a: (1ponto):
a. ( )	Wesley não	foi a praia mas foi ao shopping.
b. ( )	Wesley não	foi a praia e não foi	ao shopping.
c. ( x )	Wesley não	foi a praia ou	não foi ao shopping.
d. ( )	Wesley foi a	praia	mas não foi ao shopping.
4) Informe as	regras	de inferência	dos argumentos básicos abaixo:	(2 pontos):
	a. i. Gosto de cinema.
	Conclusão: Gosto de cinema ou de teatro.
p
------ ADIÇÃO
	p˅q	
b. i. Se	trabalho, então ganho salário.	
ii. Se ganho salário,	então	posso	viajar.
	Conclusão: Se trabalho, então posso viajar.	
i p→q
ii q→r
------- SILOGISMO HIPOTÉTICO
p→r
	
c. i. Eu	estou	trabalhando ou estou dormindo.	
ii. Eu não estou trabalhando.	
Conclusão: Eu estou dormindo.	
i p˅q
ii ~p
------- SILOGISMO DISJUNTIVO
q
	
d. i.Se	ganhar na loteria, então fico rico.
	ii. Eu não fiquei rico.	
Conclusão: Eu não ganhei	na loteria.
i p→q
ii ~q
------- MODUS TOLLENS
~p