Se e somente se: diferenças entre revisões
m Checkwiki + ajustes |
+ref para abreviatura "sse" que redireciona aqui; format. <math> e pontuação, -predef's obsoletas |
||
| Linha 1: | Linha 1: | ||
{{ |
{{mais notas|Este artigo|data=maio de 2011}} |
||
'''Se e somente se''', ou ''' |
'''Se e somente se''', ou '''se 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 == |
== Considerações == |
||
| Linha 44: | Linha 44: | ||
* A ''é equivalente a'' B (a condição A é válida exatamente nas mesma circunstâncias em que a condição B é); |
* 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 . |
* A <math>\Leftrightarrow</math> B . |
||
== Notas == |
|||
<references/> |
|||
== Referências == |
== Referências == |
||
* SCHEINERMAN, Edward R. (2003). ''Matemática discreta: uma introdução''. São Paulo. Poneira Thomson Learning. ISBN 8522102910. |
* 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]] |
* [[Proposição]] |
||
* [[Recíproca]] |
* [[Recíproca]] |
||
Revisão das 18h01min de 4 de junho de 2012
 |
Se e somente se, ou se e só se (abreviadamente, sse[1]), 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 é
Considerações
Seja a afirmação:
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 expressão-chave para tais formas é se e somente se.
- Um inteiro x é par se e somente se x + 1 é ímpar.
Sobre as condições de A e B, elas podem ser, cada uma delas, verdadeira ou falsa, havendo assim, quatro possibilidades. Se a afirmação A se e somente se B é verdadeira, temos:
| Condição A | Condição B | ||
| Verdadeira | Verdadeira | Possível | |
| Verdadeira | Falsa | Impossível | |
| Falsa | Verdadeira | Impossível | |
| Falsa | Falsa | Possível |
É impossível a condição A ser verdadeira quando B é falsa, porque A B. da mesma forma, é impossível a condição B ser verdadeira quando A é falsa, porque B A. Assim as duas condições A e B devem ser ambas verdadeiras ou ambas falsas. No exemplo acima a condição A é x é par e a condição B é x + 1 é ímpar. Para alguns inteiros (por exemplo, x = 6) A e B são ambas verdadeiras (6 é par e 7 é impar), mas para outros inteiros (x = 9), ambas as condições são falsas (9 não é par e 10 não é ímpar).
Alternativas
- A sse B (abreviada);
- A é necessário e suficiente para B;
- A é equivalente a B (a condição A é válida exatamente nas mesma circunstâncias em que a condição B é);
- A B .
Notas
- ↑ Haight (1999), p. 175-176
Referências
- SCHEINERMAN, Edward R. (2003). Matemática discreta: uma introdução. São Paulo. Poneira Thomson Learning. ISBN 8522102910.
- Haight, Mary Rowland (1999). The Snake and the Fox. An Introduction to Logic. [S.l.]: Routledge. ISBN 9780415166935
