Question

2)
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

Resposta:

D) Se André não vai correr, então Luiz não vai andar. corrigido pelo AVA

Explicação:

Answer 2

Sobre as operações Lógicas está correta: Se André não vai correr, então Luiz não vai andar.

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

Na lógica matemática, aprendemos que a condicional (se, então) representada por (p —> q) é equivalente a sua contrapositiva (~q —> ~p).

Por outro lado,  a recíproca da condicional (q —> p) é equivalente à contrária da condicional (~p —> ~q).

Observe que nessa condições, é possível demonstrar duas propriedades importantes da condicional:

• que a condicional p → q   e a sua contra positiva ~q → p  são equivalentes.

• que a recíproca q → p  e a contrária ~p → ~q, da condicional p → q , são assertivas equivalentes.

Leia mais em:

https://brainly.com.br/tarefa/15117166