operaciones con proposiciones lógicas - matematica quidimat