Se e somente se
Keywords: Se e somente se, Filosofia, Lógica, Matemática
Sse é uma abreviatura utilizada em matemática, lógica e filosofia que significa "se e só se". Deste modo estabelecem-se a condição necessária e a condição suficiente numa dupla implicação. O correspondente símbolo lógico é "↔".
A diferença entre "se" e "se e só se" pode ser apreciada no exemplo:
- Maria come a sopa se a sopa tem cenoura.
- Maria come a sopa se e só se a sopa tem cenoura.
A afirmação (1) apenas indica que Maria comerá sopa de cenoura. Nada diz sobre a possibilidade de que a Maria posssa comer outra sopa qualquer que não tenha cenoura. Talvez coma, talvez não. A afirmação nada nos diz sobre isso. Apenas ficamos a saber que ela não se recusa a comer sopa de cenoura.
A afirmação (2), no entanto, torna claro que a Maria comerá sopa com cenoura e apenas sopa com cenoura. De certeza que recusará comer outra qualquer sopa sem cenoura.