Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — MSConcursos 2025

SE E SOMENTE SE. O conectivo “p se e somente se q”, chamado de bicondicional e escrito p <--> q, é a conjunção de duas condicionais: "p então q" e "q então p". Ou seja, “p se e somente se q” é logicamente equivalente a "(p então q) e (q então p)". A Tabela Verdade da bicondicional, encontra-se a seguir, parcialmente preenchida.Ao preencher, corretamente, a sexta coluna da tabela, que representa a bicondicional "p se e somente q", ordenadamente, de cima para baixo, obtém-se como resultado os valores lógicos:

1. AV – V – F – V.
2. BV – F – V – F.
3. CV – F – F – V.
4. DV – F – V – V.