La lógica proposicional es una herramienta muy útil en el desarrollo y verificación de programas informaticos ya que la programación está basada en la lógica y las matematicas.[1]

Las situaciones en las que mas se llega a usar son aquellas en las que se utilizan las condicionales y los bucles.