Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
1995
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*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 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