¿Cuántos tipos de proposición hay y cuáles son?