Introdução

O presente trabalho de pesquisa apresenta o tema equivalência material, no qual se aborda a

sua definição, propriedades e a linguagem simbólica.

A linguagem predominante no seguinte trabalho é clara e breve, de modo a simplificar a

compreensão do leitor.
Equivalência material

Definição: A equivalência material de duas proposições, p e q, e uma proposição que se

representa ligando p e q pelo símbolo ↔ (lê-se se e só se ou é equivalente a); esta nova
proposição (p ↔ q) é verdadeira se p e q têm o mesmo valor lógico e falsa se têm os
mesmos valores lógicos diferentes.

Em linguagem corrente, a proposição p ↔ q traduz:

P é condição necessária e suficiente para q;

P se e somente q;

Ou

p se e só se q.

Ex: p: 2 + 3 x 5 = 25

q: 3 x 5 = 15

p ↔ q : 2 + 3 x 5 = 25 ↔ 3 x 5 = 15

Como p é falsa e q é verdadeira, p ↔ q é falsa.

Ex: a: 4 + (2 + 3) = 10

b: 2 +3 =6

a ↔ b : 4 + (2 + 3) = 10 ↔ 2 + 3 = 6

Apesar de a e b serem falsas, a ↔ b é verdadeira.

Ex c: Paulina Chiziane escreveu `` Balada do amor ao vento.

d: O rio Zambeze nasce na Zâmbia.

c ↔ d : Paulina Chiziane escreveu `` Balada do amor ao vento ↔ O rio Zambeze nasce na

Zâmbia.

No universo lógico, a equivalência corresponde a qualquer das seguintes tabelas de verdade:

p q p↔q
V V V
V F F
F V F
F F V
l Ou

p q p↔q
1 1 1
1 0 0
0 1 1
0 0 1

Propriedades de equivalência material

A equivalência material como conjunção de implicações

Utilizando uma tabela da verdade, podemos verificar se tem:

p ↔ q ↔ (p → q ) ˄ (q → p)

Assim:

p q p ↔ q (p→q) (q→p) p→ q ˄ q →p
V V V V V V
V F F F V F
F V F V F F
F F V V V V

Vimos já que:

(p ↔ q) ↔ (p → q) ˄ (q → p).

Exprimindo as implicações em disjunção, vem:

(p ↔ q) ↔ ( ̴p ˅q ) ˄ ( ̴ q ˅ p).

Logo, ̴ (p ↔ q) ↔ ̴ ( ̴ p ˅ q) ˄ ( ̴ q ˅ p).

Aplicando as leis de Morgan, resulta:

̴ (p↔q) ↔ (p ˄ ̴ q) ˅ (q ˄ ̴p)

Negar que duas proposições são equivalentes materialmente equivale a dizer que a primeira e
verdadeira e a primeira é falsa.

Uma utilização importante das propriedades que acabamos de estudar é a simplificação de

expressões. Trata-se de, por razoes de economia de pensamento e de tempo, reduzir uma
expressão a outra equivalente, mas com um número mínimo de operações lógicas a efectuar.

Exemplos:

Simplifique:

1. a ˄ ( ̴ a ˅ b ) ; 2. p ˄ (p ˅ q ); 3. (a → b) ↔ b.
Resolução

1. Como a conjunção é distributiva em relação à disjunção, temos:

a ˄ ( ̴ a ˅ b) ↔ (a˄ ̴a) ˅ (a ˄ b) (a ˄ ̴a ↔ F)

↔ F ˅ (a ˄ b) ( F é neutro para ˅ )

↔a˄b

2. Atendendo a que P ˅ F ↔ p , podemos escrever :

p ˄ (p ˅ q) ↔ (p ˅ F) ˄ (p ˅ q) (propriedades distributiva)
↔ p ˅ (F ˄ q) (F é absorvente para ˄ )
↔p˅F (F é neutro para ˅ )
↔p
3. Começamos por transformar a implicação em disjunção e, em seguida, a equivalência na
conjunção:
(a → b) ↔ b ↔ ( ̴ a ˅ b) ↔ b (p → q ↔ ̴ p ˅ q )

↔ [( ̴ a ˅ b) → b] ˄ [b → ( ̴ a ˅ b)]

(propriedade distributiva, associativa e comutativa) ↔ [(a ˄ ̴ b) ˅ b ] ˄ [ ̴ b ˅ ( a̴ ˅ b) ]

( ̴b˅b↔V) ↔ [(a ˅ b) ˄ ( ̴b ˅ b)] ˄ [ ̴ a ˅ ( ̴b ˅ b)]

(V é neutro para ˄) ↔ [(a ˅ b) ˄ V] ˄ ( ̴ a ˅ V)

(V é absorvente para ˅) ↔ (a ˅ b) ˄ V

↔a˅b

Convenções:

Para evitar o uso desnecessário de parênteses numa expressão com as varias operações
lógicas convencionou-se (como acontecia nas expressões numéricas) que:

 A primeira operação a efectuar é a negação;

 Em seguida, e pela ordem em que apareçam, a conjunção e as disjunções;
 Por ultimo, e também pela ordem em que surjam, a implicação e a equivalência.
Então, pode escrever-se:
p → q ˄ r, p ˅ q ↔ r
e
a˅ ̴b↔c
Respectivamente, com o significado de:
p → ( q ˄ r ), (p ˅ q) → r
e
[a ˅ ( ̴ b)] ↔ c.
Por outro lado, e de acordo com a convenção, é absolutamente necessário utilizar
parênteses quando as operações têm a mesma prioridade.
Como vimos, têm significados diferentes:
 (p ˄ q) ˅ r e p ˄ (q ˅ r)

bem como:
(p ↔ q) → r e p ↔ (q → r).
Conclusão

Com o presente trabalho de pesquisa concluímos que, que uma equivalência material
é verdadeira somente quando dois elementos (seja p e q) tenham o mesmo valor
lógico e falsa quando estes apresentem valores lógicos diferentes.
Bibliografia
Neves,Maria Augusta Ferreira & Silva, Jorge Nuno; Matemática; 11ª classe; plural editores.