Segundo as Leis de Morgan, a negação da proposição "Luiz é um homem feliz e sua esposa Fernanda é uma mulher realizada" é:

Sempre que uma proposição composta recebe todos os seus possíveis valores lógicos verdadeiros, independentemente dos valores lógicos das proposições simples componentes, dizemos que a proposição em questão é uma:

Sejam p e q duas proposições. A proposição ~p → q equivale a:

Considere verdadeiras as seguintes proposições P, Q e R:

P: Jacques gosta de heavy metal e Paulo não gosta de samba.

Q: Paulo gosta de samba ou Érika não gosta de sertanejo.

R: Se Paulo não gosta de samba, então Carol não gosta de funk.

Dessa forma, é necessariamente verdadeiro que:

Zélia, tentando convencer seu filho a não comer "besteira", disse a ele: "se você não comer muito chocolate, então eu te levo ao shopping para ver o Papai Noel". Uma afirmação logicamente equivalente à feita por Zélia é:

Dona Lourdes, contando histórias antigas para seus netos, lembrou que disse ao avô deles a seguinte frase P: “Se eu não me caso com você, então eu volto para Portugal”. Uma frase logicamente equivalente a P é a seguinte:

Romeu, em um almoço de família, afirmou: “Eu vou comer esse nhoque todo ou não me chamo Romeu”. A negação da afirmação de Romeu é:

Leia o texto a seguir.

Republicano vira votos em 4º dia, mas racha para chefia da Câmara dos EUA persiste

Em um beco sem saída, os deputados republicanos fizeram uma grande conferência por telefone na manhã desta sexta, e o resultado dela se mostrou positivo para McCarthy. Mesmo que não tenha alcançado o número de votos necessários, virou uma série de cadeiras a seu favor, retomando a esperança de ainda poder ser eleito. Porém, se assume o cargo, então houve concessão.

(Adaptado de: <www.folha.com.br/mundo>. Acesso em: 19 jan. 2023.)

Assinale a alternativa que apresenta, corretamente, uma equivalência lógica com a condicional sublinhada no texto.

Considerando que os símbolos ¬, ∧, ∨ e → representam negação, conjunção, disjunção e implicação, respectivamente, assinale a alternativa que apresenta uma fórmula equivalente a ¬((A→¬B)→(A ∧ B)).

Considerando que os símbolos ¬, →, ∃ e ∀ representam negação, conjunção, implicação, quantificador existencial e quantificador universal, respectivamente, e o universo como sendo o conjunto dos números naturais, dados os conjuntos A = {7, 18, 19, 21, 31}, B = {2, 11, 18, 19, 22} e C = {19, 22, 31}, qual das alternativas apresenta a fórmula verdadeira?

Paulo faz a seguinte proposição na terça-feira:

“Se hoje não chover e amanhã eu conseguir pegar o ônibus, então amanhã irei para a casa de minha tia.”

No dia seguinte, verifica-se que Paulo não foi para a casa de sua tia. Podemos, portanto, afirmar que:

Considere a afirmação: 

A escrita é clara e é precisa, e gera incerteza.

Assinale a alternativa que apresenta uma afirmação que corresponda à sua negação lógica.