Em uma caixa só pode haver bolas pretas ou brancas. Sabe-se que a caixa não está vazia e que não é verdade que “todas as bolas na caixa são pretas". Então é correto concluir que:
Se o dobro de x é igual ao triplo de y, então a terça parte de x é igual:
A negação lógica da sentença “Se eu como e não corro, então eu engordo” é:
João é mais baixo do que Ana. Pedro não é mais baixo do que Ana. Denise não é mais alta do que João. É correto concluir que:
Sabe-se que:
• Se X é vermelho, então Y não é verde.
• Se X não é vermelho, então Z não é azul.
• Se Y é verde, então Z é azul.
Logo, deduz-se que:
Considere a sentença: “Se x é um número par e y é um número maior do que x, então y é um número ímpar".
Sendo x um elemento do conjunto A e y um elemento do conjunto B, um cenário no qual a sentença dada é sempre verdadeira é:
Uma gaveta A tem sete canetas vermelhas e uma gaveta B tem sete canetas azuis. Essas são as únicas canetas contidas nas duas gavetas. Retiram-se três canetas da gaveta A, que são então colocadas na gaveta B. Agora, retiram-se, aleatoriamente, quatro canetas da gaveta B, que são então colocadas na gaveta A.
Após essas transferências, é correto afirmar que:
Considere a sentença: “Se Pedro é torcedor do Avaí e Marcela não é torcedora do Figueirense, então Joana é torcedora da Chapecoense".
Uma sentença logicamente equivalente à sentença dada é:
Considere como verdadeiras as afirmativas:
• Se Jorge é francês, então Denise é espanhola.
• Denise não é espanhola ou Beatriz é brasileira.
Sabe-se que Beatriz não é brasileira. Logo, é correto afirmar que:
Sabe-se que são verdadeiras as afirmativas:
•Se Z, então não X.
•Se não Z, então Y.
Logo, deduz-se que: