Question

Na computação, a lógica pode ser utilizada, entre outras coisas, para:

• Conceber circuitos lógicos (o raciocínio do computador é um raciocínio lógico);
• Representar conhecimento (programação lógica);
• Validar algoritmos e corrigir programas (testes lógicos das especificações em engenharia
de software).

Pensando, especificamente, em testes lógicos, é possível pensar que nem sempre conseguimos trabalhar somente com proposições afirmativas, tendo que nesse caso, utilizar os argumentos negativos para provar determinada validade de um algoritmo.

Para negar uma proposição utiliza-se o til (~)

• Na forma textual basta colocar o ‘não’:
– Diego é professor;
– Diego NÃO é professor (negativa).

Já a negação de proposições compostas seguem regras próprias, de acordo com o conectivo empregado, por exemplo:

• A negação de uma conjunção:
p ^ q
~p v ~q (negativa)

Considerando o descrito, qual das frases a seguir representa A' se A é a sentença "Julie adora manteiga e detesta nata"?

Alternativas
Alternativa 1:
Julie detesta manteiga e nata.

Alternativa 2:
Julie não gosta de manteiga ou nata.

Alternativa 3:
Julie não gosta de manteiga, mas adora nata.

Alternativa 4:
Julie detesta manteiga ou adora nata.

Alternativa 5:
Julie ama manteiga ou ama nata.

Answer 1

Resposta:

Alternativa - 4

Explicação:

Basicamente é a aplicação do teorema de De Morgan. (Livro Lógica de programação Unicesumar. pg.29)

A = p ^ q

A' = ~ (p ^ q)  =  (~p v ~q)  (Aplicação De Morgan)  

p = adora manteiga.

q = detesta nata.

~p = detesta manteiga.

v = Lógica "OU".

~q = adora nata.