A negação da sentença "se você estudou lógica então você acertará esta questão" é:

Sou amiga de Abel ou sou amiga de Oscar. Sou amiga de Nara ou não sou amiga de Abel. Sou amiga de Clara ou não sou amiga de Oscar. Ora, não sou amiga de Clara. Assim,

Ana é artista ou Carlos é carioca. Se Jorge é juiz, então Breno não é bonito. Se Carlos é carioca, então Breno é bonito. Ora, Jorge é juiz. Logo:

Ou Lógica é fácil, ou Artur não gosta de Lógica. Por outro lado, se Geografia não é difícil, então Lógica é difícil. Daí segue-se que, se Artur gosta de Lógica, então:

Se Maria vai ao cinema, Pedro ou Paulo vão ao cinema. Se Paulo vai ao cinema, Teresa e Joana vão ao cinema. Se Pedro vai ao cinema, Teresa e Ana vão ao cinema. Se Tereza não foi ao cinema, pode-se afi rmar que:

Dizer que "Ana não é alegre ou Beatriz é feliz" é do ponto de vista lógico, o mesmo que dizer:

Quando não vejo Lucia, não passeio ou fico deprimido. Quando chove, não passeio e fico deprimido. Quando não faz calor e passeio, não vejo Lucia. Quando não chove e estou deprimido, não passeio. Hoje, passeio. Portanto, hoje

Se navegar é preciso, então viver não é preciso; se navegar não é preciso, então criar não é preciso. Mas Fernando Pessoa disse que criar é preciso, logo:

Ana, Beatriz e Carla desempenham diferentes papéis em uma peça de teatro. Uma delas faz o papel de bruxa, a outra o de fada, e a outra o de princesa. Sabe-se que: ou Ana é bruxa, ou Carla é bruxa; ou Ana é fada, ou Beatriz é princesa; ou Carla é princesa, ou Beatriz é princesa; ou Beatriz é fada, ou Carla é fada. Com essas informações conclui-se que os papéis desempenhados por Ana e Carla são, respectivamente:

A afirmação "Alda é alta, ou Bino não é baixo, ou Ciro é calvo" é falsa. Segue-se, pois, que é verdade que:

Pedro namora ou trabalha; lê ou não namora; rema ou não trabalha. Sabendo-se que Pedro não rema, é correto concluir que ele:

Considere a seguinte afirmação:

Jorge se mudará ou Maria não será aprovada no concurso.

Tal afirmação é logicamente equivalente à afirmação:

Do ponto de vista lógico, se for verdadeira a proposição condicional "se eu ganhar na loteria, então comprarei uma casa", necessariamente será verdadeira a proposição:

O reino está sendo atormentado por um terrível dragão. O mago diz ao rei: 'O dragão desaparecerá amanhã se e somente se Aladim beijou a princesa ontem'. O rei, tentando compreender melhor as palavras do mago, faz as seguintes perguntas ao lógico da corte:

1. Se a afirmação do mago é falsa e se o dragão desaparecer amanhã, posso concluir corretamente que Aladim beijou a princesa ontem?

2. Se a afirmação do mago é verdadeira e se o dragão desaparecer amanhã, posso concluir corretamente que Aladim beijou a princesa ontem?

3. Se a afirmação do mago é falsa e se Aladim não beijou a princesa ontem, posso concluir corretamente que o dragão desaparecerá amanhã?

O lógico da corte, então, diz acertadamente que as respostas logicamente corretas para as três perguntas são, respectivamente:

Um economista deu a seguinte declaração em uma entrevista: "Se os juros bancários são altos, então a inflação é baixa". Uma proposição logicamente equivalente à do economista é:

André é inocente ou Beto é inocente. Se Beto é inocente, então Caio é culpado. Caio é inocente se e somente se Dênis é culpado. Ora, Dênis é culpado. Logo

Se não leio, não compreendo. Se jogo, não leio. Se não desisto, compreendo. Se é feriado, não desisto. Então,

A negação da afirmativa "Me caso ou compro sorvete" é: