## Lisp Propositional resolution : Implement a theorem in Lisp

You have problems, and we're glad to hear them. Explain the problem, what you have tried, and where you got stuck.
Feel free to share a little info on yourself and the course.
Forum rules
Please respect your teacher's guidelines. Homework is a learning tool. If we just post answers, we aren't actually helping. When you post questions, be sure to show what you have tried or what you don't understand.

### Lisp Propositional resolution : Implement a theorem in Lisp

In a function , if two clauses are given as a input ,then how to resolve them together by applying the resolution rule? How to prove that contradiction has been found or not. Looking for LISP code .
mistcse09

Posts: 1
Joined: Wed Oct 04, 2017 7:44 pm

### Re: Lisp Propositional resolution : Implement a theorem in L

Please clarify your question. What exactly are you doing? Where are you getting stuck?

nuntius

Posts: 537
Joined: Sat Aug 09, 2008 10:44 am
Location: Newton, MA

### Who is online

Users browsing this forum: No registered users and 1 guest