Question

(a) Simbolize o enunciado:

Antônio, Bernardo e Cornélio são médicos, cardiologistas e exatamente dois deles têm um Porsche.

(b) Baseado na legenda:

u : a peça tem número 1
d : a peça tem número 2
t : a peça tem número 3
a : a peça é azul
b : a peça é branca
c : a peça é cinza
p : a peça é pequena
m : a peça é média
g : a peça é grande
r : a peça é triangular
q : a peça é quadrada
n : a peça é pentagonal

simbolize os enunciados:
(i) A peça que tem o maior número é quadrada mas não é azul.
(ii) Se a peça é branca, ela tem o menor número e tem um tamanho menor do que o maior tamanho.
(iii) As peças com números ímpares não são pentagonais e não têm o menor tamanho.

Answer 1

I) t >>> q^ ~a

II) b >>> u ^ m

III) u V t >>> ~n^ ~ p

ou poderia ser também;

u V t >>> ~ (n V p)  

Vamos aos dados/resoluções:

Já que (I) simboliza as peças que tem o maior número , que são quadradas mas não são azul, logo;

t : a peça tem número 3

q : a peça é quadrada  

a : a peça é azul

t > [q ^ (¬a)]  

Já que (II) faz parte do grupo das peças que são brancas, tem o menor número e também possuem um tamanho menor do que o maior tamanho, logo;

b : a peça é branca

u : a peça tem número 1

p : a peça é pequena  

M : a peça é média

b >>> [u^(p V m)]

E finalizando com o (III) que são as peças com números ímpares, que não são pentagonais e não possuem o menor tamanho.

u : a peça tem número 1

t : a peça tem número 3

n : a peça é pentagonal  

g : a peça é grande

Portanto;

(u^t) >>> [(¬n) ^ (¬p)]

espero ter ajudado nos estudos, bom dia :)