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

71 bytes adicionados ,  01h44min de 15 de maio de 2011
sem resumo de edição
(afirmação)
{{sem notas|Este artigo|data=maio de 2011}}
'''Se e somente se''', ou '''Se e só se''', em [[matemática]], [[lógica]] e [[filosofia]], é uma forma de expressão para um [[teorema]]: ''Se'' A ''então'' B, ''e se'' B ''então'' A; ''ou'' A ''se e somente se'' B. O correspondente símbolo lógico é <math>\Leftrightarrow</math>.
 
Seja a afirmação:
 
* ''Se um [[inteiro]] x é [[Números pares e ímpares|par]], então x + 1 é [[ímpar]], e se x + 1 é impar, então x é par''.
 
Existem maneiras concisas de expressar afirmações da forma A ''implica'' B ''e'' B ''implica'' A, nas quais não é necessário descrever as condições de A e B duas vezes cada uma. A expressaoexpressão-chave para tais formas é ''se e somente se''.
 
* <math>\Rightarrow</math> ''Um inteiro x é par se e somente se x + 1 é ímpar''.
15 430

edições