Se e somente se: diferenças entre revisões
m Se, e somente se, movido para Se e somente se sob redirecionamento |
|||
| Linha 8: | Linha 8: | ||
# Maria come a sopa ''se e só 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 |
A afirmação (1) apenas indica que Maria comerá sopa de cenoura. Nada diz sobre a possibilidade de que a Maria possa 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. |
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. |
||
Revisão das 07h01min de 3 de outubro de 2007
Se e somente se, abreviado como Sse é 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 possa 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.
