No contexto da Lógica de Primeira Ordem, a fórmula válida é

Qual das seguintes sentenças NÃO é uma tautologia?

Se é verdade que alguns pesquisadores são atletas e que nenhum pianista é atleta, então é possível afirmar que

Se João Francisco joga futebol, então Raquel não pinta quadros a óleo. Ou Raquel pinta quadros a óleo ou Silveirinha é surfista. Se Ana Paula não faz compras na Internet, então João Francisco joga futebol. Sabe-se, entretanto, que nem Silveirinha é surfista nem Márcia Lopes é cartomante.

Logo, é possível concluir que

Um guardador de carros acaba de estacionar cinco carros, um ao lado do outro, no estacionamento, da esquerda para a direita, ou seja, o carro mais à esquerda é o primeiro. Os carros estacionados são um Corsa, uma BMW, uma Mercedes, um Focus e um Jaguar, não necessariamente nesta ordem. Têm-se as seguintes informações sobre a ordem dos carros.

!$ ullet !$ A Mercedes não é o primeiro e o Focus não é o último;

!$ ullet !$ O Jaguar está entre o Focus e o Corsa;

!$ ullet !$ O Focus está separado da BMW por dois outros carros.

Às 13h, Adriano, o dono do carro que está na quarta posição da esquerda para a direita, chega ao estacionamento e pede o seu carro ao guardador. Qual é o carro de Adriano?

João, Pedro e Paulo são três amigos que estão indo para o aeroporto. Os três nasceram em cidades diferentes, um nasceu no Rio de Janeiro, outro em São Paulo e o outro em Curitiba, não necessariamente nesta ordem. Ao chegarem ao aeroporto, encontraram Manoel, amigo dos três, que perguntou onde eles nasceram. Manoel ouviu que

!$ ullet !$ Pedro não nasceu no Rio de Janeiro;

!$ ullet !$ João nasceu no Rio de Janeiro;

!$ ullet !$ Paulo não nasceu em São Paulo.

Sabendo-se que duas afirmações feitas para Manoel são falsas e uma é verdadeira, ele pode concluir que os nascimentos de João, Pedro e Paulo ocorreram nas seguintes cidades:

Três amigos estão se vestindo para pular no Carnaval.

A camisa de um deles é branca, a do outro é azul e a do outro, verde. Eles usam short destas mesmas três cores, mas somente João está com camisa e short da mesma cor. Nem a camisa e nem o short de Ivo são brancos.

Luciano está com o short azul. Conclui-se que

x !$ leftrightarrow !$ y possui a mesma tabela verdade que

Qual das seguintes sentenças NÃO é equivalente às demais?

Conhecendo o fato de que a proposição “Todos os jogadores de futebol são convocados para a seleção” é falsa, conclui-se que