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
[email protected]
From: [email protected] [mailto:[email protected]] On
Behalf Of Carlos Silva da Costa
Sent: Monday, May 11, 2009 10:41 AM
To: [email protected]
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
