Flashcard FC511631
Como se representam em lógica "P é condição suficiente para Q" e "P se e somente se Q"?
Lógica de Proposições
IBFC · 2020
Como se representam em lógica "P é condição suficiente para Q" e "P se e somente se Q"?
Mostrar resposta e comentário
Resposta
P é condição suficiente para Q: \(P \rightarrow Q\).P se e somente se Q: \(P \leftrightarrow Q\).
P ser condição suficiente para Q significa que sempre que P ocorre, Q ocorre, logo existe a implicação lógica \(P \rightarrow Q\), e Q é condição necessária para P.
\(P \leftrightarrow Q\) significa que ocorrem simultaneamente \(P \rightarrow Q\) e \(Q \rightarrow P\), portanto P e Q têm os mesmos valores de verdade.
Exemplo:
Condicional: Se acionar o interruptor então a lâmpada acende, isto é \( \text{Interruptor acionado} \rightarrow \text{Lâmpada acende}\).
Bicondicional: Um inteiro \(n\) é par se e somente se o resto da divisão por 2 é zero, escrito \( \text{n é par} \leftrightarrow (n \bmod 2 = 0)\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509263
Conteúdo do catálogo FC Concursos · Atualizado em