Flashcard FC329764
Qual conectivo lógico indica que duas proposições implicam-se mutuamente, sendo verdadeiro somente quando têm o mesmo valor de verdade?
Lógica de Proposições
Qual conectivo lógico indica que duas proposições implicam-se mutuamente, sendo verdadeiro somente quando têm o mesmo valor de verdade?
Mostrar resposta e comentário
Resposta
p ↔ qExplicação:
O operador bicondicional é verdadeiro quando p e q são ambas verdadeiras ou ambas falsas.
Equivalências: \(p\leftrightarrow q \equiv (p\to q)\land(q\to p) \equiv (p\land q)\lor(\neg p\land\neg q)\).
Exemplo:
Se p = “n é par” e q = “n ≡ 0 (mod 2)”:
Para n = 4: p e q são verdadeiros → \(p\leftrightarrow q\) é verdadeiro.
Para n = 3: p e q são falsos → \(p\leftrightarrow q\) é verdadeiro.
Se uma for verdadeira e a outra falsa, então \(p\leftrightarrow q\) é falso.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/329349
Conteúdo do catálogo FC Concursos · Atualizado em