La validez del modus ponens en la lógica clásica de dos valores se puede demostrar claramente demostrada utilizando una tabla de verdad.