1 Equival�ncias L�gicas - Regras para reescrever frases.

2 Regras de equival�ncia l�gica

2.1 Uso de sin�nimos

Ex: Se estudo, passo => Como estudo, passo

2.2 "Todo-Se ent�o"

Ex: Todo aluno � bonito => Se � aluno, ent�o � bonito

2.3 Se ent�o -> Se ent�o: Inverte a ordem, negando a primeira e a segunda

proposi��es.

Ex: Se trabalho, ent�o ganho dinheiro => Se n�o ganho dinheiro, ent�o n�o trabalho.

2.4 Se ent�o -> Ou: Nega o come�o e mant�m o final.

Ex: Se estudo, ent�o canso => N�o estudo ou canso.

Vou ao parque ou estudo => Se n �o vou ao parque, ent�o estudo

Aten��o!:N�o h� equival�ncias para outros conectivos al�m destes acima descritos.

____________________________

Se os seres humanos soubessem se comportar, ent�o haveria menos conflitos entre os

povos

Se n�o houvesse menos conflitos entre os povos, ent�o os seres humanos n�o saberiam
se comportar

Os seres humanos n�o sabem se comportar ou h� menos conflitos entre os povos.

____________________________
Se as a��es de um empres�rio contribuirem para emprego, ent�o tal empres�rio merece
gratid�o social

Se tal empres�rio n�o merece gratid�o social, ent�o as a��es do empres�rio n�o
contribuem para o emprego.

As a��es de um empres�rio n�o contribuir�o para emprego ou tal empres�rio merece

gratid�o social
___________________________

Se nao ha juiz, ent�o nao ha jogada fora da lei

Se H� jogada fora da lei, ent�o ha juiz

H� juiz ou n�o ha jogada fora da lei

___________________________