Diferenças entre edições de "Se e somente se"

1 210 bytes adicionados ,  20h59min de 31 de janeiro de 2007
m
Revertidas edições por 201.9.98.3, para a última versão por 200.161.154.161
( branqueio de página)
m (Revertidas edições por 201.9.98.3, para a última versão por 200.161.154.161)
'''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.
 
{{esboço-matemática}}
 
[[Categoria:Lógica matemática]]
[[Categoria:Lógica]]
[[Categoria:Filosofia]]
 
[[de:Gdw]]
[[en:Iff]]
[[fr:Ssi]]
[[he:אם ורק אם]]
[[is:Eff]]
[[ja:同値]]
[[nl:Dan en slechts dan als]]
[[pl:Gddy]]
[[sv:Omm]]
[[zh:当且仅当]]
224 157

edições