No estudo do cálculo de predicados, aprendemos dois importantes quantificadores, o quantificador universal e o quantificador existencial. Além diss...

No estudo do cálculo de predicados, aprendemos dois importantes quantificadores, o quantificador universal e o quantificador existencial. Além disso, vimos como trabalhar com estes quantificadores e como representar uma equivalência. Este princípio é fundamentado nas equivalências dos quantificadores e nas equivalências do cálculo proposicional. Fique atento, pois, quando aplicadas as regras de equivalência nos quantificadores, deve-se realizar a negação da sentença.Assim, escreva para cada item duas representações simbólicas, uma com o quantificador de existência e outra com o quantificador universal:

a) Existem ursos que não são brancos (utilize "U" para urso e "B" para branco).

b) Nenhuma árvore é sem vida (utilize "A" para árvore e "V" para sem vida).