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:
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:
A afirmação "Não é verdade que, se Pedro está em Roma, então Paulo está em Paris" é logicamente equivalente à afirmação:
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:
ESAF•
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:
ESAF•
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 afirmação condicional "se Ana viajar, Paulo vai viajar" é:
Considere a seguinte proposição: "Se chove ou neva, então o chão fica molhado". Sendo assim, pode-se afirmar que:
Se não durmo, bebo. Se estou furioso, durmo. Se durmo, não estou furioso. Se não estou furioso, não bebo. Logo,
Se Pedro não bebe, ele visita Ana. Se Pedro bebe, ele lê poesias. Se Pedro não visita Ana, ele não lê poesias. Se Pedro lê poesias, ele não visita Ana. Segue-se, portanto que, Pedro:
A negação de: Milão é a capital da Itália ou Paris é a capital da Inglaterra é:
Ana é prima de Bia, ou Carlos é filho de Pedro. Se Jorge é irmão de Maria, então Breno não é neto de Beto. Se Carlos é filho de Pedro, então Breno é neto de Beto. Ora, Jorge é irmão de Maria. Logo:
Investigando uma fraude bancária, um famoso detetive colheu evidências que o convenceram da verdade das seguintes afirmações
1) Se Homero é culpado, então João é culpado.
2) Se Homero é inocente, então João ou Adolfo são culpados.
3) Se Adolfo é inocente, então João é inocente.
4) Se Adolfo é culpado, então Homero é culpado.
As evidências colhidas pelo famoso detetive indicam, portanto, que:
Admita que, em um grupo: "se algumas pessoas não são honestas, então algumas pessoas são punidas". Desse modo, pode-se concluir que, nesse grupo:
Márcia não é magra ou Renata é ruiva. Beatriz é bailarina ou Renata não é ruiva. Renata não é ruiva ou Beatriz não é bailarina. Se Beatriz não é bailarina então Márcia é magra. Assim,
A proposição composta p ? p ? q é equivalente à proposição: