logo

Lei da Equivalência Lógica em Matemática Discreta

Suponha que existam duas declarações compostas, X e Y, que serão conhecidas como equivalência lógica se e somente se a tabela verdade de ambas contiver os mesmos valores verdade em suas colunas. Com a ajuda do símbolo = ou ⇔, podemos representar a equivalência lógica. Então X = Y ou X ⇔ Y será a equivalência lógica dessas afirmações.

Com a ajuda da definição de equivalência lógica, esclarecemos que se as proposições compostas X e Y são equivalências lógicas, neste caso, X ⇔ Y deve ser Tautologia.

Leis da Equivalência Lógica

Nesta lei, usaremos os símbolos 'AND' e 'OR' para explicar a lei da equivalência lógica. Aqui, AND é indicado com a ajuda do símbolo ∧ e OR é indicado com a ajuda do símbolo ∨. Existem várias leis de equivalência lógica, que são descritas a seguir:

Lei Idempotente:

Na lei idempotente, usamos apenas uma única afirmação. De acordo com esta lei, se combinarmos duas afirmações iguais com os símbolos ∧(e) e ∨(ou), então a afirmação resultante será a própria afirmação. Suponha que exista uma afirmação composta P. A seguinte notação é usada para indicar a lei idempotente:

 P ∨ P ? P P ∧ P ? P 

A tabela verdade para esta lei é descrita a seguir:

P P P ∨ P P ∧ P
T T T T
F F F F

Esta tabela contém os mesmos valores verdade nas colunas de P, P ∨ P e P ∧ P.

Portanto podemos dizer que P ∨ P = P e P ∧ P = P.

Leis Comutativas:

As duas declarações são usadas para mostrar a lei comutativa. De acordo com esta lei, se combinarmos duas afirmações com o símbolo ∧(e) ou ∨(ou), então a afirmação resultante será a mesma mesmo se mudarmos a posição das afirmações. Suponha que haja duas afirmações, P e Q. A proposição dessas afirmações será falsa quando ambas as afirmações P e Q forem falsas. Em todos os outros casos, será verdade. A seguinte notação é usada para indicar a lei comutativa:

 P ∨ Q ? Q ∨ P P ∧ Q ? Q ∧ P 

A tabela verdade para essas notações é descrita a seguir:

P P P∨Q Q ∨ P
T T T T
T F T T
F T T T
F F F F

Esta tabela contém os mesmos valores verdade nas colunas de P ∨ Q e Q ∨ P.

Portanto podemos dizer que P ∨ Q ? Q ∨ P.

Da mesma forma que podemos provar P ∧ Q ? Q ∧ P.

Direito Associativo:

As três afirmações são usadas para mostrar a lei associativa. De acordo com esta lei, se combinarmos três afirmações com a ajuda de colchetes pelo símbolo ∧(e) ou ∨(ou), então a afirmação resultante será a mesma mesmo se mudarmos a ordem dos colchetes. Isso significa que esta lei é independente de agrupamento ou associação. Suponha que existam três afirmações P, Q e R. A proposição dessas afirmações será falsa quando P, Q e R forem falsas. Em todos os outros casos, será verdade. A seguinte notação é usada para indicar a lei associativa:

 P ∨ (Q ∨ R) ? (P ∨ Q) ∨ R P ∧ (Q ∧ R) ? (P ∧ Q) ∧ R 

A tabela verdade para essas notações é descrita a seguir:

P P R P∨Q Q ∨ R (P ∨ Q) ∨ R P ∨ (Q ∨ R)
T T T T T T T
T T F T T T T
T F T T T T T
T F F T F T T
F T T T T T T
F T F T T T T
F F T F T T T
F F F F F F F

Esta tabela contém os mesmos valores verdade nas colunas de P ∨ (Q ∨ R) e (P ∨ Q) ∨ R.

Portanto podemos dizer que P ∨ (Q ∨ R) ? (P ∨ Q) ∨ R.

invertendo string java

O mesmo que podemos provar P ∧ (Q ∧ R)? (P ∧ Q) ∧ R

Direito Distributivo:

As três afirmações são usadas para mostrar a lei distributiva. De acordo com esta lei, se combinarmos uma afirmação pelo símbolo ∨(OR) com as outras duas declarações que estão unidas ao símbolo ∧(AND), então a afirmação resultante será a mesma, mesmo se combinarmos separadamente as declarações com o símbolo ∨(OR) e combinando as instruções unidas com ∧(AND). Suponha que existam três afirmações P, Q e R. A seguinte notação é usada para indicar a lei distributiva:

P ∨ (Q ∧ R) ? (P ∨ Q) ∧ (P ∨ R)

P ∧ (Q ∨ R) ? (P ∧ Q) ∨ (P ∧ R)

A tabela verdade para essas notações é descrita a seguir:

P P R Q ∧ R P∨(Q ∧R) P∨Q P ∨ R (P ∨ Q) ∧ (P ∨ R)
T T T T T T T T
T T F F T T T T
T F T F T T T T
T F F F T T T T
F T T T T T T T
F T F F F T F F
F F T F F F T F
F F F F F F F F

Esta tabela contém os mesmos valores verdade nas colunas de P ∨ (Q ∧ R) e (P ∨ Q) ∧ (P ∨ R).

Portanto, podemos dizer que P ∨ (Q ∧ R) = (P ∨ Q) ∧ (P ∨ R)

O mesmo que podemos provar P ∧ (Q ∨ R)? (P ∧ Q) ∨ (P ∧ R)

Lei de Identidade:

Uma única declaração é usada para mostrar a lei de identidade. De acordo com esta lei, se combinarmos uma afirmação e um valor Verdadeiro com o símbolo ∨(ou), então gerará o valor Verdadeiro. Se combinarmos uma instrução e um valor False com o símbolo ∧(e), então a própria instrução será gerada. Da mesma forma, faremos isso com os símbolos opostos. Isso significa que se combinarmos uma afirmação e um valor Verdadeiro com o símbolo ∧(e), então ela gerará a própria afirmação, e se combinarmos uma afirmação e um valor Falso com o símbolo ∨(ou), então irá gerar o Valor falso. Suponha que haja uma afirmação composta P, um valor verdadeiro T e um valor falso F. A seguinte notação é usada para indicar a lei de identidade:

 P ∨ T ? T and P ∨ F ? P P ∧ T ? P and P ∧ F ? F 

A tabela verdade para essas notações é descrita a seguir:

P T F P ∨ T P ∨ F
T T F T T
F T F T F

Esta tabela contém os mesmos valores verdade nas colunas de P ∨ T e T. Portanto, podemos dizer que P ∨ T = T. Da mesma forma, esta tabela também contém os mesmos valores verdade nas colunas de P ∨ F e P. Portanto podemos dizer que P ∨ F = P.

Da mesma forma que podemos provar P ∧ T ? P e P ∧ F ? F

Lei Complementar:

Uma declaração única é usada na lei do complemento. De acordo com esta lei, se combinarmos uma afirmação com sua afirmação complementar com o símbolo ∨(ou), então ela gerará o valor Verdadeiro, e se combinarmos essas afirmações com o símbolo ∧(e), então gerará o valor Falso valor. Se negarmos um valor verdadeiro, gerará um valor falso, e se negarmos um valor falso, gerará o valor verdadeiro.

touros vs boi

A seguinte notação é usada para indicar a lei do complemento:

 P ∨ ¬P ? T and P ∧ ¬P ? F ¬T ? F and ¬F ? T 

A tabela verdade para essas notações é descrita a seguir:

P ¬P T ¬T F ¬F P ∨ ¬P P ∧ ¬P
T F T F F T T F
F T T F F T T F

Esta tabela contém os mesmos valores verdade nas colunas de P ∨ ¬P e T. Portanto, podemos dizer que P ∨ ¬P = T. Da mesma forma, esta tabela também contém os mesmos valores verdade nas colunas de P ∧ ¬P e F. Portanto podemos dizer que P ∧ ¬P = F.

Esta tabela contém os mesmos valores verdade nas colunas de ¬T e F. Portanto, podemos dizer que ¬T = F. Da mesma forma, esta tabela contém os mesmos valores verdade nas colunas de ¬F e T. Portanto, podemos dizer que ¬F = T.

Lei da Dupla Negação ou Lei da Involução

Uma única afirmação é usada para mostrar a lei da dupla negação. De acordo com esta lei, se fizermos a negação de uma afirmação negada, então a afirmação resultante será a própria afirmação. Suponha que haja uma afirmação P e uma afirmação negativa ¬P. A seguinte notação é usada para indicar a lei da dupla negação:

 ¬(¬P) ? P 

A tabela verdade para essas notações é descrita a seguir:

P ¬P ¬(¬P)
T F T
F T F

Esta tabela contém os mesmos valores verdade nas colunas de ¬(¬P) e P. Portanto, podemos dizer que ¬(¬P) = P.

Da Lei de Morgan:

As duas declarações são usadas para mostrar a lei de De Morgan. De acordo com esta lei, se combinarmos duas afirmações com o símbolo ∧(AND) e depois fizermos a negação dessas afirmações combinadas, então a afirmação resultante será a mesma mesmo se combinarmos a negação de ambas as afirmações separadamente com o símbolo ∨( OU). Suponha que existam duas declarações compostas, P e Q. A seguinte notação é usada para indicar a Lei de De Morgan:

 ¬(P ∧ Q) ? ¬P ∨ ¬Q ¬(P ∨ Q) ? ¬P ∧ ¬Q 

A tabela verdade para essas notações é descrita a seguir:

P P ¬P ¬Q P ∧ Q ¬(P∧Q) ¬ P ∨ ¬Q
T T F F T F F
T F F T F T T
F T T F F T T
F F T T F T T

Esta tabela contém os mesmos valores verdade nas colunas de ¬(P ∧ Q) e ¬ P ∨ ¬Q. Portanto podemos dizer que ¬(P ∧ Q) = ¬ P ∨ ¬Q.

O mesmo que podemos provar ¬(P ∨ Q) ? ¬P ∧ ¬Q

uma matriz de objetos java

Lei de Absorção:

As duas afirmações são usadas para mostrar a lei de absorção. De acordo com esta lei, se combinarmos uma afirmação P pelo símbolo ∨(OR) com a mesma afirmação P e uma outra afirmação Q, que são unidas ao símbolo ∧(AND), então a afirmação resultante será a primeira afirmação P. O mesmo resultado será gerado se trocarmos os símbolos. Suponha que existam duas declarações compostas, P e Q. A seguinte notação é usada para indicar a Lei de Absorção:

 P ∨ (P ∧ Q) ? P P ∧ (P ∨ Q) ? P 

A tabela verdade para essas notações é descrita a seguir:

P P P ∧ Q P∨Q P ∨ (P ∧ Q) P ∧ (P ∨ Q)
T T T T T T
T F F T T T
F T F T F F
F F F F F F

Esta tabela contém os mesmos valores verdade nas colunas de P ∨ (P ∧ Q) e P. Portanto, podemos dizer que P ∨ (P ∧ Q) ? P.

Da mesma forma, esta tabela também contém os mesmos valores verdade nas colunas de P ∧ (P ∨ Q) e P. Portanto, podemos dizer que P ∧ (P ∨ Q) ? P.

Exemplos de equivalência lógica

Existem vários exemplos de equivalência lógica. Alguns deles são descritos a seguir:

Exemplo 1: Neste exemplo, estabeleceremos a propriedade de equivalência para uma instrução, que é descrita a seguir:

p → q ? ¬p ∨ q

Solução:

Provaremos isso com a ajuda de uma tabela verdade, que é descrita a seguir:

P P ¬p p → q ¬p ∨ q
T T F T T
T F F F F
F T T T T
F F T T T

Esta tabela contém os mesmos valores verdade nas colunas de p → q e ¬p ∨ q. Portanto podemos dizer que p → q ? ¬p ∨ q.

Exemplo 2: Neste exemplo, estabeleceremos a propriedade de equivalência para uma instrução, que é descrita a seguir:

P ↔ Q ? ( P → Q ) ∧ ( Q → P )

Solução:

P P P → Q Q → P P ↔ Q ( P → Q ) ∧ ( Q → P )
T T T T T T
T F F T F F
F T T F F F
F F T T T T

Esta tabela contém os mesmos valores verdade nas colunas de P ↔ Q e (P → Q) ∧ (Q → P). Portanto podemos dizer que P ↔ Q ? (P → Q) ∧ (Q → P).

Exemplo 3: Neste exemplo, usaremos a propriedade equivalente para provar a seguinte afirmação:

p ↔ q ? ( p ∧ q ) ∨ ( ¬ p ∧ ¬q )

Solução:

Para provar isso, usaremos algumas das leis acima descritas e desta lei temos:

p ↔ q ? (¬p ∨ q) ∧ (¬q ∨ p) ...........(1)

Agora usaremos a lei comutativa na equação acima e obteremos o seguinte:

? (p ∨ q) ∧ (p ∨ ¬q)

Agora usaremos a lei distributiva nesta equação e obteremos o seguinte:

? (¬ p ∧ (p ∨ ¬q)) ∨ (q ∧ (p ∨ ¬q))

Agora usaremos a lei distributiva nesta equação e obteremos o seguinte:

? (p ∧ p) ∨ (p ∧ ¬q) ∨ (q ∧ p) ∨ (q ∧ ¬q)

Agora usaremos a lei do complemento nesta equação e obteremos o seguinte:

? F ∨ (¬p ∧ ¬q) ∨ (q ∧ p) ∨ F

Agora usaremos a lei da identidade e obteremos o seguinte:

não

? (¬ p ∧ ¬ q) ∨ (q ∧ p)

Agora usaremos a lei comutativa nesta equação e obteremos o seguinte:

? (p ∧ q) ∨ (¬ p ¬q)

Finalmente, a equação (1) torna-se a seguinte:

p ↔ q ? (p ∧ q) ∨ (¬ p ¬q)

Finalmente, podemos dizer que a equação (1) torna-se p ↔ q ? (p ∧ q) ∨ (¬ p ∧ ¬q)