A negação de um quantificador universal ("Todo") não é feita com outro quantificador universal ("Nenhum"). A regra correta é utilizar um quantificador particular (Existe um / Algum / Pelo menos um) acompanhado da negação do verbo.

A negação de "Todo político é corrupto" é:

Considere as seguintes premissas:
P1: Todo cearense é forte.
P2: Alguns fortes são atletas.
P3: João é cearense.

Com base exclusivamente nessas premissas, é correto afirmar que:

Para negar uma proposição composta pelo conectivo "ou" (p v q), aplica-se a Lei de De Morgan: nega-se a primeira parte, nega-se a segunda parte e troca-se o conectivo "ou" pelo conectivo "e" (~p ^ ~q).

Qual é a negação da proposição "Carlos é médico ou Ana é dentista"?

Uma das equivalências mais importantes da condicional (p -> q) é a contrapositiva. Para aplicá-la, devemos inverter as proposições e negar ambas (~q -> ~p). Essa regra é fundamental pois mantém o mesmo valor lógico da sentença original.

A frase "Se o crime é afiançável, então o réu responderá em liberdade" é equivalente a:

Para negar uma proposição condicional (p -> q), utiliza-se a regra do "MANÉ": Mantém a primeira parte E nega a segunda parte (p ^ ~q). É um erro comum tentar negar uma condicional usando outra condicional.

Fonte: Lógica Proposicional, 2025.

A negação de "Se eu estudar, então passarei no concurso" é:

Uma das equivalências mais cobradas pelo Instituto AOCP para a condicional (p -> q) é a sua transformação em uma disjunção. A regra diz: nega-se a primeira parte, troca-se o conectivo por "ou" e mantém-se a segunda parte (~p v q).

Fonte: Guia de Estudos RLM, 2024.

A proposição "Se chover, eu levo o guarda-chuva" é equivalente a:

O número de linhas de uma tabela-verdade depende diretamente da quantidade de proposições simples que compõem a proposição composta. A fórmula matemática para esse cálculo é 2^n, onde "n" representa o número de proposições simples distintas.

Fonte: Probabilidade e Lógica, 2025.

Uma proposição composta formada por 4 proposições simples distintas terá uma tabela-verdade com:

A bicondicional "p se e somente se q" (p <-> q) indica que p e q possuem o mesmo valor lógico. Ou seja, a proposição resultante é verdadeira se p e q forem ambos verdadeiros ou ambos falsos. Se os valores forem divergentes, a bicondicional será falsa.

Fonte: Manual de Lógica AOCP, 2024.

Se p é Falso e q é Falso, o valor lógico de p <-> q é:

Na análise de tabelas-verdade, uma proposição composta pode ser classificada de três formas: Tautologia (quando o resultado é sempre V), Contradição (quando o resultado é sempre F) e Contingência (quando o resultado depende dos valores das proposições simples, podendo ser V ou F).

Fonte: Lógica Formal, 2023.

A proposição (p ^ ~p) é classificada como uma:

De acordo com as Leis de De Morgan, a negação de uma conjunção (p ^ q) é equivalente à disjunção das negações (~p v ~q). Em termos práticos, para negar uma frase ligada pelo conectivo "e", nega-se ambas as partes e troca-se o "e" pelo "ou".

Fonte: Raciocínio Lógico Matemático, 2024.

A negação da proposição "O céu é azul e o mar é calmo" é: