A1 LÓGICA

Prévia do material em texto

Acadêmico:
	MELISSA FERREIRA RICOY
	R.A.
	19131973-5
	Curso:
	LICENCIATURA EM MATEMÁTICA
	Disciplina:
	LÓGICA MATEMÁTICA
Considere o seguinte argumento:
“Se Maria vai ao mercado, então Maria não vai ao açougue. Maria vai ao mercado ou, vai à padaria e ao açougue. Se Maria vai à padaria e ao açougue, então Maria vai ao mercado ou não vai à padaria. Portanto, Maria não vai ao açougue ou Maria vai ao mercado ou Maria não vai à padaria.”
  
I) Sendo P: ‘Maria vai ao mercado’, Q: ‘Maria vai à padaria’, R: ‘Maria vai ao açougue’. Escreva simbolicamente o argumento acima.
P → ~R, P ˅ (Q ˄ R), (Q ˄ R) → (P ˅ ~Q) ├ ~R ˅ P ˅ ~Q
II) Verifique a validade desse argumento utilizando tabelas-verdade.
H1: P → ~R
	P
	→
	~
	R
	V
	F
	F
	V
	V
	V
	V
	F
	F
	V
	F
	V
	F
	V
	V
	F
	0
	3
	2
	1
H2: P ˅ (Q ˄ R)
	P
	˅
	(Q
	˄
	R)
	V
	V
	V
	V
	V
	V
	V
	V
	F
	F
	V
	V
	F
	F
	V
	V
	V
	F
	F
	F
	F
	V
	V
	V
	V
	F
	F
	V
	F
	F
	F
	F
	F
	F
	V
	F
	F
	F
	F
	F
	0
	4
	1
	3
	2
H3: (Q ˄ R) → (P ˅ ~Q)
	(Q
	˄
	R)
	→
	(P
	˅
	~Q)
	V
	V
	V
	V
	V
	V
	F
	V
	F
	F
	V
	V
	V
	F
	F
	F
	V
	V
	V
	V
	V
	F
	F
	F
	V
	V
	V
	V
	V
	V
	V
	F
	F
	F
	F
	V
	F
	F
	V
	F
	F
	F
	F
	F
	V
	V
	F
	V
	V
	F
	F
	F
	V
	F
	V
	V
	1
	4
	2
	6
	0
	5
	3
T: ~R ˅ P ˅ ~Q
	~
	R
	˅
	P
	˅
	~
	Q
	F
	V
	V
	V
	V
	F
	V
	V
	F
	V
	V
	V
	F
	V
	F
	V
	V
	V
	V
	V
	F
	V
	F
	V
	V
	V
	V
	F
	F
	V
	F
	F
	F
	F
	V
	V
	F
	V
	F
	V
	F
	V
	F
	V
	V
	F
	V
	V
	F
	V
	F
	V
	F
	V
	V
	F
	3
	2
	5
	0
	6
	4
	1
H1 ˄ H2 ˄ H3 → T
	H1
	˄
	H2
	˄
	H3
	→
	T
	F
	F
	V
	F
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	V
	
	V
	V
	F
	F
	V
	F
	
	F
	F
	F
	V
	V
	V
	
	F
	F
	F
	V
	V
	V
	
	F
	F
	F
	V
	V
	V
	0
	4
	1
	5
	2
	6
	3
ARGUMENTO VÁLIDO.
III) Verifique a validade desse argumento utilizando das Regras de Inferência.
	1
	P → ~R
	H1
	2
	P ˅ (Q ˄ R)
	H2
	3
	(Q ˄ R) → (P ˅ ~Q)
	H3
	4
	P ˅ Q
	EC 2
	5
	Q → (P ˅ ~Q)
	EC 3
	6
	~R ˅ P ˅ ~Q
	DC 1,4,6 
 ARGUMENTO VÁLIDO
IV) Qual dos métodos você considerou mais fácil? Qual deles foi o mais trabalho? E qual deles você prefere utilizar? Justifique.
Considerei o método da tabela mais fácil, embora ele seja considerado mais trabalhoso. Preferi utilizá-lo ao das Regras de Inferência. Senti muita dificuldade em entender as Regras na prática do exercício.