Question

As Operações Lógicas 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.



Sejam as proposições

p: André vai correr.

q: Luiz vai andar.

Assinale a alternativa que traduz corretamente para a linguagem corrente a proposição: tilde p rightwards arrow tilde q.

Alternativas:

a)
André vai correr se e somente se Luiz vai andar.

b)
André não vai correr ou Luiz não vai andar.

c)
André vai correr e Luiz vai andar.

d)
Se André não vai correr, então Luiz não vai andar.

e)
Se André vai correr, então Luiz não vai andar.

Answer 1

A reposta correta é a alternativa c)  André vai correr e Luiz vai andar.

Inicialmente é importante observar aquilo que o enunciado da questão deseja, nesse caso é a maneira coerente da linguagem para as afirmações que foram dadas, que são as seguintes:

- André vai correr.

- Luiz vai andar.

Dessa maneira a maneira mais coerente e direta de escrever essas afirmações é falando que André vai correr e Luiz vai andar, portanto isso torna a alternativa C correta.

As demais alternativa não atendem o que foi pedido na questão e não condizem com as afirmações ou com a coerência pedida.

Espero ter ajudado, bons estudos e forte abraço.