Aplicaciones de la Logica Matematica

La lógica proposicional se la usa para proporcionar reglas y técnicas para poder saber si un argumento es válido o no. Además en matemáticas se puede aplicar para la resolución de teoremas; en ciencias de la computación se lo puede aplicar para saber si son o no correctos los algoritmos de un programa; en las ciencias físicas y naturales se los usa para sacar conclusiones de experimentos; y en las ciencias sociales y el diario vivir se lo usa para resolver multitud de problemas.

Otra de las aplicaciones que se le ha podido encontrar a la lógica proposicional es en el internet en un buscador ya que si tratamos de buscar dos significados que tengan relación o bien que sean opuestos mediante el uso de los conectora and y or: si buscamos un concepto y lo queremos asociar con otro usamos el conector and, en cambio si queremos buscar dos significados que sean diferentes usamos el conector or.