Mathematica 9 is now available
Services & Resources / Wolfram Forums
MathGroup Archive
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 1995

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

Search the Archive

Proof Generator using Rules of Inference

  • To: mathgroup at
  • 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
	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