Considerando "toda prova de Lógica é difícil" uma proposição verdadeira, é correto inferir que

Sob o aspecto da lógica, a negação da afirmação “se o valor do dólar aumentar e se as taxas de exportação diminuírem, o volume de exportação brasileiro irá aumentar” é a seguinte:

Todos os limões são azedos e algumas laranjas também são azedas.

Uma frase que corresponde a uma negação dessa proposição é:

Considere como verdadeiras as sentenças a seguir.
I. Alguns matemáticos são professores.
II. Nenhum físico é matemático.
Então, é necessariamente verdade que

Dizer - "Se você não olha nos meus olhos, então eu não me sinto um ser humano." - é o mesmo que dizer:

Considere a seguinte afirmação: "Se João estuda e Pedro não trabalha, então Maria cuida da casa." Uma afirmação equivalente a essa é:

Considere como verdadeiras as afirmativas a seguir:
I. Se Carlos mentiu, então João é o culpado.
II. Se João é culpado, então Carlos não mentiu.
III. Se Carlos não mentiu, então Pedro não é o culpado.
IV. Se Pedro não é o culpado, então João não é culpado.
Com base nas afirmativas acima, é correto concluir que:

Uma afirmação equivalente à afirmação: "Se Marcondes é físico ou Isabela não é economista, então Natália não é advogada e Rui é médico", é:

Dentre as alternativas a seguir e considerando os conectivos lógicos, a única incorreta é:

Marcos, Paulo e Sérgio são irmãos e fazem cursos diferentes, cada um fazendo apenas um curso. Um tio, visitando a família, sem conhecer qual curso cada sobrinho fazia, ouviu a seguinte conversa:

Marcos: “Eu não curso engenharia.”

Paulo: “Eu curso engenharia.”

Sérgio: “Eu não curso medicina.”

A mãe dos jovens disse corretamente ao tio que seus três filhos cursavam engenharia, medicina e direito e que apenas um falou a verdade, o que permitiu ao tio determinar que Marcos, Paulo e Sérgio cursam, respectivamente,

Considere os conectivos lógicos usuais e assuma que as letras maiúsculas representam proposições lógicas simples. Com base nessas informações, julgue o item seguinte relativo à lógica proposicional.

A proposição lógica (P ⇒ Q) ⇔ ((∿P) ˅ Q) é uma tautologia.

Considerando o conectivo lógico bicondicional entre duas proposições, é correto afirmar que seu valor lógico é verdade se: