Logica
Truth Table
Clausal Form
Unification
Transformation
Deduction
Resolution
Epilog
Step
Proof
Justification
Identical Clause Elimination
Enter the premise you wish to add to the proof:
© 2001-2007 Stanford University Logic Group. All rights reserved.
Comments to
Michael Genesereth
.