MATEMATICA DISCRETA
(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.
Soluções para a tarefa
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ã 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 :)