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" é:

Diferente da disjunção inclusiva (ou), a disjunção exclusiva (ou... ou), representada pelo símbolo v, exige que as proposições tenham valores lógicos distintos para que o resultado final seja verdadeiro. Se ambas forem verdadeiras ou ambas forem falsas, o valor lógico resultante será falso.

Fonte: Estruturas Lógicas, 2025.

Considere: "Ou Fortaleza é a capital do Ceará ou Juazeiro do Norte é a capital da Paraíba". O valor lógico dessa proposição é:

A proposição condicional, representada pelo conectivo "Se... então" (p -> q), possui uma característica singular em sua tabela-verdade: ela só será falsa em um único caso específico. Em todas as outras combinações de valores lógicos para p e q, a condicional resultará em um valor verdadeiro.

Fonte: Lógica para Concursos, 2024.

A proposição p -> q é FALSA quando:

Considere as seguintes proposições simples:
p: O candidato estudou.
q: O candidato foi aprovado.
A conjunção (p ^ q) só assume valor lógico verdadeiro quando ambas as proposições componentes forem verdadeiras. Se apenas uma delas for falsa, o resultado da operação será falso.

Fonte: Tabela-Verdade e Operadores Lógicos, 2025.

Se o valor lógico de p é Falso e o valor lógico de q é Verdadeiro, a proposição composta "O candidato estudou e foi aprovado" é:

Na lógica sentencial, uma proposição é uma sentença declarativa que pode ser julgada como verdadeira (V) ou falsa (F), mas não ambas. Sentenças exclamativas, interrogativas, imperativas ou abertas (sem sujeito definido) não são consideradas proposições lógicas.

Fonte: Fundamentos de Lógica Matemática, 2024.

Assinale a alternativa que apresenta uma proposição lógica válida:

"Não entregaram-me as chaves do auditório."

Fonte: Reclamação Formal, 2025.

Assinale a alternativa que reescreve a frase acima de acordo com a norma padrão de colocação pronominal: