proposiciones compuestas matemáticas