Flashcard FC92104
Qual conectivo lógico corresponde à construção "A somente se B"?
Lógica de Proposições
CEBRASPE (CESPE) · 2024
Qual conectivo lógico corresponde à construção "A somente se B"?
Mostrar resposta e comentário
Resposta
Implicação (→)Explicação:
A expressão "A somente se B" corresponde ao condicional \(A\to B\).
A conjunção \(A\land(A\to B)\) é logicamente equivalente a \(A\land B\), pois se \(A\) é verdadeiro e \(A\to B\) também, então \(B\) deve ser verdadeiro.
Consequentemente, quando se afirma \(A\), a frase impõe que \(B\) seja verdadeiro e, nesse caso, \(A\land B\) implica que o bicondicional \(A\leftrightarrow B\) seja verdadeiro (ambos têm valor verdadeiro).
Exemplo:
Seja \(p\): "Vou ao cinema" e \(q\): "o filme é bom".
A frase "Vou ao cinema somente se o filme for bom" é \(p\to q\).
Se alguém diz "Vou ao cinema, mas só se o filme for bom" temos \(p\land(p\to q)\), que equivale a \(p\land q\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/83115
Conteúdo do catálogo FC Concursos · Atualizado em