Leis de Equivalência: DÚVIDA

Temos as definições:

Proposição – Uma proposição é a afirmação de que algo é verdadeiro.

Negação –  É a mudança do valor lógico. A negação de uma proposição verdadeira é falsa.

Conjunção – Proposições compostas com duas afirmações.

Disjunção – É uma proposição composta com condições inversas.

Considerando que P e Q sejam duas preposições, logo de acordo com:

\(\[\begin{align} & Lei\text{ }De\text{ }Morgan\text{ }: \\ & \left( P\text{ }\wedge \text{ }\left( \neg \left( \neg P\text{ }\vee \text{ }Q \right) \right) \right)\text{ }\vee \text{ }\left( P\text{ }\wedge \text{ }Q \right)\text{ } \\ & Propriedade\text{ }da\text{ }Associatividade\text{ } \\ & \left( P\text{ }\wedge \text{ }\left( P\text{ }\wedge \text{ }\neg Q \right) \right)\text{ }\vee \text{ }\left( P\text{ }\wedge \text{ }Q \right)\text{ } \\ & Propriedade\text{ }da\text{ }Idempot\hat{e}ncia: \\ & \left( \left( P\text{ }\wedge \text{ }P \right)\text{ }\wedge \text{ }\neg Q \right)\text{ }\vee \text{ }\left( P\text{ }\wedge \text{ }Q \right)\text{ } \\ & Propriedade\text{ }da\text{ }Distributividade.: \\ & P\text{ }\wedge \text{ }\left( \neg Q\text{ }\vee \text{ }Q \right) \\ & Identidade\text{ }com\text{ }a\text{ }tautologia\text{ }t.\text{ } \\ & P\text{ }\wedge \text{ }t \\ \end{align}\] \)