Se e somente se: diferenças entre revisões
categorização |
|||
Linha 1: | Linha 1: | ||
''' |
'''Se''' é 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 é "↔". |
O correspondente símbolo lógico é "↔". |
||
Revisão das 11h42min de 26 de abril de 2006
Se é 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.