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.
Soluções para a tarefa
Considerando as informações contidas no enunciado, bem como os conceitos acerca do tema Operações Lógicas, podemos afirmar que a alternativa correta é a letra D, ou seja, "se André não vai correr, então Luiz não vai andar", já que tal alternativa traduz corretamente para a linguagem corrente a proposição: tilde p rightwards arrow tilde q.
Sobre operações lógicas
Sabe-se que, na lógica matemática, a condicional (se, então), representada por (p —> q) é equivalente à sua contrapositiva (~q —> ~p). E, por outro lado, a recíproca da condicional (q —> p) é equivalente à contrária da condicional (~p —> ~q).
Assim, nessa situação, podemos demonstrar duas propriedades relevantes da condicional, quais sejam:
- A condicional p → q e a sua contrapositiva ~q → p são equivalentes.
- A recíproca q → p e a contrária ~p → ~q, da condicional p → q, são equivalentes.
Por fim, como sua pergunta está incompleta, é provável que o trecho abaixo seja o complemento do enunciado. Ressalto que a resposta acima foi dada com base nestas informações:
"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.
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."
Saiba mais sobre operações lógicas em brainly.com.br/tarefa/15117166
#SPJ4
Resposta: LETRA D.
Explicação: Se André não vai correr, então Luiz não vai andar.