Atividade 1 logica Unicesumar

Prévia do material em texto

Acadêmico:
	Kalyane Lima da Silva Alves
	R.A.
	 20120495-5
	Curso:
	 Licenciatura Matemática
	Disciplina:
	 Lógica Matemática
	
	
	
	
	
	
	
	
I) Sendo P: ‘Maria vai ao mercado’, Q: ‘Maria vai à padaria’, R: ‘Maria vai ao açougue’. Escreva simbolicamente o argumento acima.
	Se Maria vai ao mercado, então Maria não vai ao açougue
	P →~R
	Maria vai ao mercado ou, vai à padaria e ao açougue
	P(v(Q∧R)
	Se Maria vai à padaria e ao açougue, então Maria vai ao mercado ou não vai à padaria.
	((Q∧R)→ (P v~Q)
	Portanto, Maria não vai ao açougue ou Maria vai ao mercado ou Maria não vai à padaria.”
	~R v(P v ~Q)
II) Verifique a validade desse argumento utilizando tabelas verdade
	P
	Q
	R
	(P
	→
	~R
	(P
	v
	(Q∧R))
	((Q∧R)
	→
	(P
	v
	~Q))
	→
	~R
	v
	(P v ~Q)
	V
	V
	V
	V
	F
	F
	V
	V
	V
	V
	V
	V
	V
	F
	V
	F
	V
	V
	V
	V
	F
	V
	V
	V
	V
	V
	F
	F
	V
	V
	V
	F
	V
	V
	V
	V
	V
	F
	V
	V
	F
	F
	V
	V
	F
	F
	V
	V
	V
	V
	V
	F
	V
	V
	V
	F
	F
	V
	V
	V
	V
	V
	F
	F
	V
	V
	V
	V
	V
	V
	V
	V
	F
	V
	V
	F
	V
	F
	F
	V
	V
	V
	F
	F
	F
	F
	V
	F
	F
	F
	F
	V
	F
	F
	V
	V
	F
	F
	F
	F
	V
	F
	F
	F
	V
	V
	V
	F
	F
	F
	V
	F
	V
	F
	F
	F
	F
	F
	V
	F
	V
	V
	V
	F
	V
	V
	F
	F
	F
	F
	V
	V
	F
	F
	F
	F
	V
	F
	V
	V
	V
	V
	V
	V
III) Verifique a validade desse argumento utilizando das Regras de Inferência.
P →~R, P(v(Q∧R),(Q∧R)→ (P v~Q) i-(~R v(P v ~Q))
	PASSO
	PROPOSIÇÃO OBTIDA
	SÍMBOLOS
	JUSTIFICATIVA
	1
	Se Maria vai ao mercado, então Maria não vai ao açougue
	P →~R
	Hipótese 1
	2
	Maria vai ao mercado ou, vai à padaria e ao açougue
	P(v(Q∧R)
	Hipótese 2
	3
	Se Maria vai à padaria e ao açougue, então Maria vai ao mercado ou não vai à padaria.
	((Q∧R)→ (P v~Q)
	Hipótese 3
	4
	Maria vai ao mercado
	P
	PC
	5
	Maria não vai ao açougue
	~R
	MP 1,4
	6
	Maria vai à padaria e ao açougue
	(Q∧R)
	PC
IV) Qual dos métodos você considerou mais fácil? Qual deles foi o mais trabalho? E qual deles você prefere utilizar? Justifique.
O método mais fácil sem dúvidas é escrever simbolicamente o argumento sem precisar da tabela verdade. Pratico , fácil e confiável! É o que eu pretendo usar!
 
 
 
 
Acadêmico:
 
Kalyane Lima da Silva Alves
 
R.A.
 
 
20120495
-
5
 
Curso:
 
 
Licenciatura Matemática
 
Disciplina:
 
 
L
ógica Matemática
 
 
 
 
 
 
 
 
 
 
 
 
I
) Sendo P: ‘Maria vai ao mercado’, Q: ‘Maria vai à padaria’, R: ‘Maria vai 
ao açougue’. 
Escreva simboligicamente o argumento acima.
 
 
 
 
 
 
 
 
 
 
 
 
Se Maria vai ao mercado, então Maria não vai ao 
açougue
 
P 
?
~R
 
Maria vai ao mercado ou, vai à padaria e ao 
açougue
 
P(v(Q
?
R)
 
Se Maria vai à padaria 
e ao açougue, então Maria 
vai ao mercado ou não vai à padaria.
 
((Q
?
R)
?
 (P v~Q)
 
Portanto, Maria não vai ao açougue ou Maria vai 
ao mercado ou Maria não vai à 
padaria.”
 
~R v(P v ~Q)
 
 
 
 
 
 
 
Acadêmico: 
Kalyane Lima da Silva Alves 
R.A. 20120495-5 
Curso: Licenciatura Matemática Disciplina: Lógica Matemática 
 
 
 
 
 
I) Sendo P: ‘Maria vai ao mercado’, Q: ‘Maria vai à padaria’, R: ‘Maria vai 
ao açougue’. Escreva simboligicamente o argumento acima. 
 
 
 
 
 
 
 
 
 
 
 
Se Maria vai ao mercado, então Maria não vai ao 
açougue 
P ?~R 
Maria vai ao mercado ou, vai à padaria e ao 
açougue 
P(v(Q?R) 
Se Maria vai à padaria e ao açougue, então Maria 
vai ao mercado ou não vai à padaria. 
((Q?R)? (P v~Q) 
Portanto, Maria não vai ao açougue ou Maria vai 
ao mercado ou Maria não vai à padaria.” 
~R v(P v ~Q)