lisp-inference icon indicating copy to clipboard operation
lisp-inference copied to clipboard

Published 20 hours ago • verified publisher icon ryukinix

Add reader macro for proposition as P()

Open ryukinix opened this issue 6 years ago • 0 comments

Whishful desires:

(prove :premises (list P(p => q) P(q))
       :conclusion P(q)) ;; T
;;; modus ponens

ryukinix avatar Feb 28 '19 17:02 ryukinix