Questão FC262268
A negação lógica de ``Se Douglas for solteiro então Pedro é casado´´ é:
Lógica de Proposições
IDECAN · 2023
A negação lógica de ``Se Douglas for solteiro então Pedro é casado´´ é:
- Douglas não é solteiro e Pedro não é casado
- Douglas é solteiro e Pedro não é casado
- Se Douglas não for casado então Pedro é casado
- Se Douglas não for solteiro então Pedro não é casado
Mostrar resposta e comentário
Gabarito
B
Comentário do professor
Condicional: a afirmação dada é "Se Douglas for solteiro então Pedro é casado".
Seja \(p\) = Douglas é solteiro e \(q\) = Pedro é casado. A sentença original é \(p \to q\).
A negação de uma condicional corresponde à situação em que o antecedente é verdadeiro e o consequente é falso. Em termos lógicos: \(\neg(p \to q)\equiv p \land \neg q\).
Aplicando aqui, a negação é Douglas é solteiro e Pedro não é casado, isto é, \(p \land \neg q\). Essa é a forma que torna a condicional original falsa, portanto corresponde à alternativa correta.
Conteúdo do catálogo FC Concursos · Atualizado em