Disciplinas:
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:
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:
