Logic Resolution

From GM-RKB
(Redirected from resolution (logic))
Jump to navigation Jump to search

A Logic Resolution is an inference rule that ...



References

2014

  1. Here: p.210, "III. Rule for Eliminating Atomic Formulas".