MathGroup Archive 1995

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

Search the Archive

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.






  • Prev by Date: Training
  • Next by Date: histogram
  • Previous by thread: Training
  • Next by thread: Re: Proof Generator using Rules of Inference