Na condicional p -> q, dizemos que p é condição suficiente para q, e q é condição necessária para p. Esse conceito é frequentemente explorado pela AOCP para confundir o candidato sobre a ordem das proposições.
Na frase "Se chover, a colheita estará garantida", chover é:
Considere a proposição composta: P = (p ^ q) -> (p v q). Ao construir a tabela-verdade para essa proposição, verifica-se que o resultado da última coluna apresenta apenas valores lógicos Verdadeiros.
Nesse caso, a proposição P é uma:
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 é: