A disjunção (p v q) pode ser reescrita como uma condicional. A regra é: nega-se a primeira parte, troca-se o "ou" por "se... então" e mantém-se a segunda parte (~p -> q).

A proposição "Sou feliz ou estudo" é equivalente a:

Considere o argumento:
Premissa 1: Se o edital sair, eu estudarei.
Premissa 2: Eu não estudei.

A conclusão logicamente válida para que o argumento seja correto é:

A negação da proposição "Nenhum aluno foi aprovado" deve seguir a lógica de mostrar que existe pelo menos uma exceção à regra de nulidade.

Assinale a alternativa que nega corretamente a sentença:

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