home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 2005 < prev    next >
Encoding:
Internet Message Format  |  1992-11-11  |  1005 b 
  1. Path: sparky!uunet!cis.ohio-state.edu!zaphod.mps.ohio-state.edu!cs.utexas.edu!sun-barr!ames!data.nas.nasa.gov!taligent!apple!equinox!dws014!mjb
  2. From: mjb@dws014.unr.edu (Mike Brown)
  3. Newsgroups: sci.logic
  4. Subject: Programs for simple logic proofs:  where are they?
  5. Message-ID: <4804@equinox.unr.edu>
  6. Date: 12 Nov 92 05:30:28 GMT
  7. Sender: news@equinox.unr.edu
  8. Reply-To: mjb@dws020.unr.edu (Mike Brown)
  9. Followup-To: sci.logic
  10. Organization: University of Nevada, Reno  Department of Computer Science
  11. Lines: 16
  12.  
  13. I am looking for programs that will do proofs like:
  14.             Prove: Q            \
  15.     1 P then Q    Premis               > The problem
  16.     2 P        Premis              /
  17.     3 Q             1, 2, Modus Ponens  >  The program's proof
  18.  
  19. (The proofs do get more involved)
  20.  
  21. I have looked around, but can't find a program for this.
  22. (I tried archie searches for many keywords and didn't find a program)
  23.  
  24. Is there a program out there that will do these proofs?
  25.  
  26. Thanks
  27. --
  28. Mike Brown, mjb@cs.unr.edu    "I am the scratch monkey"
  29.