[obm-l] Lógica+Conjuntos

[Nelson <nelson_alotiab@xxxxxxxxxxxx>]

Olá a todos,

Gostaria de saber se é correta a igualdade:

[A C B e B C C => A C C] = [(A => B ^ B => C) => (A => C)]

 

obs: ^ = e

 

e também:

(A = B) = (A <=> B) 

 

Desde já, agradeço.

Nelson

---

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