Questão1Errada
Quando pensamos, efetuamos muitas vezes certas operações sobre proposições,
chamadas operações lógicas. Estas operações obedecem a regras de um cálculo,
denominado cálculo proposicional, semelhante ao da aritmética sobre números. Os
conectivos sentenciais correspondem a várias palavras nas linguagens naturais que
servem para conectar proposições declarativas.
"
(ALENCAR FILHO, E. Iniciação à lógica matemática. São Paulo: Nobel, 2002.)
&
Considere&a seguinte frase:
“Arthur não bebe leite ou Felipe não come carne,&se, e somente se, Sergio é
vegetariano ."
&
E&as proposições:
p: Arthur bebe leite.&
q: Felipe não come carne.
r: Sergio é vegetariano.
Outra forma de"escrevermos a"frase exemplificada acima é utilizando a linguagem
simbólica, no qual, ficaria:
Sua resposta
Como escreveríamos em linguagem simbólica a seguinte proposição:
“Arthur não bebe leite ou Felipe não come carne,"se, e somente se,"Sergio é
vegetariano ."
Considerando as proposições: p: Arthur"bebe leite."
q: Felipe"não come carne. r: Sergio é vegetariano.
Podemos utilizar os operadores lógicos para escrever: " Arthur"não"bebe leite:" "
ou:" "Felipe não come carne:" "(cuidado, não é" , pois a proposição q já afirma
que Felipe não come carne.) se, e somente se:" "Sergio é vegetariano:" "" Portanto:
