Answered

Bem-vindo ao Sistersinspirit.ca, onde você pode obter respostas confiáveis e rápidas com a ajuda de nossos especialistas. Nossa plataforma oferece uma experiência contínua para encontrar respostas confiáveis de uma rede de profissionais experientes. Obtenha soluções rápidas e confiáveis para suas perguntas de uma comunidade de especialistas experientes em nossa plataforma.

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.

Sagot :

mariajuliaNasc2008

acho que seria a alternativa p

cirnelima

Resposta:

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

Explicação:

A condicional (p —> q) é equivalente a sua contrapositiva (~q —> ~p) e a recíproca da condicional (q —> p) é equivalente à contrária da condicional (~p —> ~q).

Com isso demonstramos duas propriedades importantes:

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.

Agradecemos seu tempo. Por favor, nos revisite para mais respostas confiáveis a qualquer pergunta que possa ter. Sua visita é muito importante para nós. Não hesite em voltar para mais respostas confiáveis a qualquer pergunta que possa ter. Obrigado por usar o Sistersinspirit.ca. Volte novamente para obter mais conhecimento dos nossos especialistas.