Lógica das Profissões

Prévia do material em texto

Se Luís estuda História, então Pedro estuda Matemática. Se Helena estuda Filosofia, então Jorge estuda Medicina. Ora, Luís estuda História OU Helena estuda Filosofia. Logo, segue-se que necessariamente:
		
	Pedro estuda Matemática ou Helena não estuda Filosofia.
	 
	Pedro estuda Matemática ou Jorge estuda Medicina.
	
	se Luís não estuda História, então Jorge não estuda Medicina.
	
	Helena estuda Filosofia e Pedro estuda Matemática.
	 
	Pedro estuda Matemática e Jorge estuda Medicina
	
l = Luís estuda matemática;
p = Pedro estuda história;
h = Helena estuda filosofia;
j = Jorge estuda Medicina;
l -> p, h -> j |-> l v h	=	l -> p ^ h -> j -> l v h
Vamos as questões de uma a uma.
Pedro estuda Matemática ou Helena não estuda Filosofia
A expressão ou admite que uma das variáveis pode ser falsa
Na proposição = l -> p ^ h -> j -> l v h, se p for falso o l -> p, será falso e o (l -> p)^(h->j) será falso.
Pedro estuda Matemática ou Jorge estuda Medicina
Mesma situação da primeiro só que nas duas variáveis.
se Luís não estuda História, então Jorge não estuda Medicina
~l -> ~j, se está expressão for considerada verdadeira h -> j será falso pois j é falso, logo o “e” da proposição será falso.
Helena estuda Filosofia e Pedro estuda Matemática
Se h = V e p = V então no l -> p o valor de “l” pode ser desprezado pois será verdadeiro, mas no h -> j, vai depender do valor de j, que nós não sabemos, logo não podermos afirmar nada.
Pedro estuda Matemática e Jorge estuda Medicina
Se p = V e j = V, na proposição l -> p ^ h -> j -> l v h, podemos desprezar o valor de l e de h poias qualquer coisa então verdade é verdade, com l -> p = V e h -> j = V o “e” que liga as duas expressões será verdade, obtendo que verdade (l -> p ^ h -> j) então verdade (l v h) é verdade.
Está é a correta.