Disciplina: Outras Disciplinas 0 Curtidas

As Operações Lógicas obedecem a regras de um cálculo, denominado

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.

Solução