Proof Generator using Rules of Inference
- To: mathgroup at smc.vnet.net
- Subject: [mg2071] Proof Generator using Rules of Inference
- From: furlan at Uni.Rain.NI (Orlando Furlan )
- Date: Sat, 23 Sep 1995 20:35:46 -0400
Hello ! I would like to know if exist some package or notebook for proof a conclusion from a set of premises, using rules of inference something like a "Proof Generator". Or some specific from Propositional Calculus. Thanks for this help in advance. Greetings from Nicaragua earth from lakes and volcanos. Orlando Furlan National University of Engineering Managua, Nicaragua.