Desde un enfoque algorítmico, se consideran las proposiciones o enunciados lógicos siguientes: