Também não entendi direito mas vou dar uma interpretação também. A condições necessária e suficiente se relaciona com <=> da seguinte forma.
A => B é o mesmo que dizer que A é condição suficiente para B. Isto é A verdadeiro garante que B é verdadeiro. A => B é o mesmo que dizer que B é condição necessária para A. Isto é, se B é falso então A é falso (caso contrário se A fosse verdadeiro B teria que ser também por causa da explicação anterior :P) Então se A => B dizemos que A é condição suficiente para B e se B => A dizemos que A é condição necessária para B juntando os dois escrevemos A <=> B para dizer que A é condição necessária e suficiente para B. 2009/5/11 Albert Bouskela <bousk...@msn.com> > Olá! > > > > Não consegui entender perfeitamente a sua dúvida, não obstante, posso lhe > explicar o que segue: > > > > Considere as proposições “p” e “q” e o conectivo lógico <=> (se, e > somente se). A respectiva tabela-verdade é: > > > > p q p<=>q (“p” se, e somente se, “q”) > > 1 1 1 > > 1 0 0 > > 0 1 0 > > 0 0 1 > > > > 1 = proposição verdadeira; 0 = proposição falsa. > > > > E.g.: > > Proposição “p”: “n” (um número natural) é par; > > Proposição “q”: “n+1” é impar. > > > > E verifica-se que: p<=>q . > > > > A proposição p<=>q também pode ser lida assim: “p” é uma condição > necessária e suficiente para “q” e vice-versa (veja, novamente, o exemplo > acima). > > > > Outros exemplos: > > [1] > > Proposição “p”: “n” (um número natural) é múltiplo de 4; > > Proposição “q”: “n+1” é impar. > > > > E NÃO se verifica que: p<=>q : n+1=3 (n=2), “n” NÃO é múltiplo de 4. > I.e., a proposição “p” é suficiente, mas não é necessária! > > > > [2] > > Proposição “p”: “n” (um número natural) é múltiplo de 3; > > Proposição “q”: “n” é múltiplo de 9. > > > > E NÃO se verifica que: p<=>q : n=2*3=6, “n” NÃO é múltiplo de 9. I.e., a > proposição “p” é necessária, mas não é suficiente! > > > > Ficou claro? > > > > *Albert Bouskela* > > bousk...@msn.com > > > > *From:* owner-ob...@mat.puc-rio.br [mailto:owner-ob...@mat.puc-rio.br] *On > Behalf Of *Carlos Silva da Costa > *Sent:* Monday, May 11, 2009 10:41 AM > *To:* obm-l@mat.puc-rio.br > *Subject:* [obm-l] necessária e suficiente > > > > Colegas da lista, > > estou com uma dúvida simples, > > > > como relacionar a condição necessária e suficiente, com algo do tipo a<=> > b > > alguém poderia me orientar? > > obrigado, > > > > Carlos > -- Denisson