[Date Index] [Thread Index] [Author Index]

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.