Acho que aqui vão alguns exemplos, com ou sem side contitions :)
http://imgur.com/Dkpalmp
--
Elaine.
-------------------------------------------------
Elaine Pimentel - MAT/UFRN
Address: Departamento de Matemática
Universidade Federal do Rio Grande do Norte
Campus Universitário - Av. Senador Salgado Filho, s/nº
Lagoa Nova, CEP: 59.078-970 - Natal - RN
Pone: +55 84 3215-3819 / 3215-3822
Fax: +55 84 3211-9219
htps://sites.google.com/site/elainepimentel/
--------------------------------------------------------
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
