En lógica matemática y en lógica proposicional, una demostración es una secuencia finita de fórmulas lógicas bien formadas: