Questão discursiva de Lógica Matemática.

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) Todo bebê é faminto (utilize "B" para bebê e "F" para faminto).

b) Alguns carros não são velozes (utilize "C" para carros e "V" para velozes).