Se e somente se: diferenças entre revisões

415 bytes adicionados ,  18h01min de 4 de junho de 2012
+ref para abreviatura "sse" que redireciona aqui; format. <math> e pontuação, -predef's obsoletas
m (Checkwiki + ajustes)
(+ref para abreviatura "sse" que redireciona aqui; format. <math> e pontuação, -predef's obsoletas)
{{semmais notas|Este artigo|data=maio de 2011}}
'''Se e somente se''', ou '''Sese e só se''' (abreviadamente, '''sse'''<ref>Haight (1999), {{Citação do google books|id=XRY39PRSDWoC|pag=175|texto=se e somente se', abreviada|p. 175-176}}</ref>), 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>.
 
== Considerações ==
* A ''é equivalente a'' B (a condição A é válida exatamente nas mesma circunstâncias em que a condição B é);
* A <math>\Leftrightarrow</math> B .
 
== Notas ==
<references/>
 
== Referências ==
* SCHEINERMAN, Edward R. (2003). ''Matemática discreta: uma introdução''. São Paulo. Poneira Thomson Learning. ISBN 8522102910.
* {{Citar livro|nome=Mary Rowland |sobrenome=Haight |título=The Snake and the Fox |subtítulo=An Introduction to Logic |idioma= |edição= |local= |editora=Routledge |ano=1999 |páginas= |volumes= |volume= |id=ISBN 9780415166935|url= }}
 
== {{Ver também}} ==
* [[Proposição]]
* [[Recíproca]]