La lóxica ye lestudiu de los principios del razonamientu válidu y la inferencia, como tamién de la consistencia, solidez y completitud. Por casu, na mayoría de los sistemes na lóxica, la llei de Peirce, (((P→Q)→P)→P) ye un teorema. En lóxica clásica, pue ser fácilmente verificáu con una tabla de verdá. Lestudiu de les demostraciones matemátiques ye particularmente importante en lóxica y tien aplicaciones na demostración automática de teoremas y verificación formal de software.