[obm-l] Provar

[Nelson <nelson_alotiab@xxxxxxxxxxxx>]

Olá a todos, aqui vai uma questão:

 

Sejam P1, P2, Q1, Q2 propriedades referentes a elementos de um conjunto-universo U. Suponha que P1 e P2 esgotam todos os casos possíveis (ou seja, um elemento qualquer de U ou tem a propriedade P1 ou tem P2). Suponha ainda que Q1 e Q2 são incompatíveis (isto é, excluem-se mutuamente). Suponha, finalmente, que P1 => Q1 e P2 => Q2. Prove que valem as recíprocas: Q1 => P1 e Q2 => P2.

 

Desde já agradeço,

[]´s Nelson

---

Yahoo! GeoCities: a maneira mais fácil de criar seu web site grátis!