Existen dos tipos de proposiciones lógicas: