Física2100
Olá visitante!

Por favor, faça login ou crie uma conta se ainda não estiver registado.

Condição necessária e suficiente

Ver o tópico anterior Ver o tópico seguinte Ir em baixo

Condição necessária e suficiente

Mensagem por danilom em 26th Janeiro 2012, 02:52

Gostaria de entender mais sobre esse assunto.

Quando dizemos que P implica Q (P => Q) estamos afirmando que P é condição suficiente para Q e Q é condição necessária para P, certo?

"Se é ouro, então brilha"

p: Ser ouro
q: Brilhar
p => q

Ser ouro é suficiente para brilhar, mas brilhar é necessário para ser ouro.
Isso funcionaria para toda sentença onde o antecessor implica o consequente?

O equivalente a (p => q) é (¬q => ¬p). Então ficaria assim:

Não brilhar é suficiente para não ser ouro, mas não ser ouro é necessário para não brilhar.
Isso me parece razoável. Funcionaria em todos os exemplos?

danilom
Membro Regular
Membro Regular

Mensagens : 109

Voltar ao Topo Ir em baixo

Ver o tópico anterior Ver o tópico seguinte Voltar ao Topo


Permissão deste fórum:
Você não pode responder aos tópicos neste fórum