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

62 bytes adicionados ,  07h03min de 19 de fevereiro de 2012
m
Checkwiki + ajustes
(Desfeita a edição 26690278 de 189.20.84.50 (discussão | contribs))
m (Checkwiki + ajustes)
|}
 
É impossível a condição A ser verdadeira quando B é falsa, porque A <math>\Rightarrow</math> B. da mesma forma, é impossível a condição B ser verdadeira quando A é falsa, porque B <math>\Rightarrow</math> 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;
* SCHEINERMAN, Edward R. (2003). ''Matemática discreta: uma introdução''. São Paulo. Poneira Thomson Learning. ISBN 8522102910.
 
== {{Ver também}} ==
* [[Proposição]]
* [[Recíproca]]
* [[Prova matemática]]
* [[Condições necessárias e suficientes]]
* [[Equivalência lógica]]
 
{{Portal3|Matemática}}
 
{{DEFAULTSORT:Se Somente Se}}
[[Categoria:Lógica matemática]]
[[Categoria:Terminologia matemática]]
718 366

edições