Language, Proof and Logic (Linguagem, Prova e Lógica, em tradução livre) é um pacote de software educacional criado e escrito por Dave Barker-Plummer, Jon Barwise e John Etchemendy, gerado para ensinar lógica formal através do uso de uma integração entre o livro-texto (de mesmo nome do pacote) e quatro programas, onde três deles são relacionados a lógica (Boole, Fitch e Tarki’s World) e o outro (Submit) é um serviço de submissão de respostas através da internet ao Grade Grinder, o avaliador das respostas submetidas. O nome do pacote é uma paranomásia derivada de Language, Truth and Logic (Linguagem, Veracidade e Lógica, em tradução livre), o livro de filosofia de A. J. Ayer.