Se e somente se: diferenças entre revisões
m Bot: Adicionando: hu:Akkor és csak akkor |
m Bot: Modificando: pl:Równoważność |
||
| Linha 35: | Linha 35: | ||
[[mk:Ако и само ако]] |
[[mk:Ако и само ако]] |
||
[[nl:Dan en slechts dan als]] |
[[nl:Dan en slechts dan als]] |
||
[[pl: |
[[pl:Równoważność]] |
||
[[simple:If and only if]] |
[[simple:If and only if]] |
||
[[sr:Акко]] |
[[sr:Акко]] |
||
Revisão das 04h05min de 15 de abril 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 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.
