En esta lógica hay tres tipos diferentes de proposiciones: