Se e somente se: diferenças entre revisões
m Bot: Modificando: es:Bicondicional |
|||
Linha 11: | Linha 11: | ||
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. |
||
=={{Ver também}}== |
|||
*[[Condições necessárias e suficientes]] |
|||
*[[Equivalência lógica]] |
|||
{{esboço-matemática}} |
{{esboço-matemática}} |
Revisão das 07h38min de 19 de junho 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.