Considerando a proposição "Nesse processo, três réus foram absolvidos e os outros dois prestarão serviços à comunidade", simbolizada na forma AvB, em que A é a proposição "Nesse processo, três réus foram absolvidos" e B é a proposição "Nesse processo, dois réus prestarão serviços à comunidade", julgue os itens que se seguem.

A proposição (¬A)→A pode ser assim traduzida: Se, nesse processo, três réus foram condenados, então três réus foram absolvidos.

A negação da sentença "A Terra é chata e a Lua é um planeta." é:

Texto para as questões 24 e 25

Assinale a opção correspondente à proposição logicamente equivalente à negação da proposição I do texto.

De acordo com as definições apresentadas no texto acima, julgue os itens subseqüentes.

Considere-se que A represente a proposição "Branca de Neve come a maçã" e B, a proposição "Branca de Neve adormece". Desse modo, se a proposição "Se Branca de Neve come a maçã então Branca de Neve adormece" e a proposição "Branca de Neve não come a maçã" — (¬A) — forem julgadas V, então a proposição ¬B — "Branca de Neve não adormece" —, só pode ser julgada V.

A negação da proposição A é "Existem estabelecimentos comerciais que não dispõem de lixeira para uso público".

Ainda com relação ao texto, julgue os seguintes itens.

Considerando que P seja a proposição "Todo jogador de futebol será craque algum dia", então a proposição ¬P é corretamente enunciada como "Nenhum jogador de futebol será craque sempre".

Com base nessas informações, julgue os itens que se seguem, a respeito de estruturas lógicas e lógica de argumentação.

Com relação à lógica formal, julgue os itens subseqüentes.

A negação da proposição "Ninguém aqui é brasiliense" é a proposição "Todos aqui são brasilienses".

Com base nessas informações, julgue os itens de 117 a 120.