Hypothesis generation by machine
β
Charles G. Morgan
π
Article
π
1971
π
Elsevier Science
π
English
β 806 KB
A method for deriving sets of falsehood preserving inference rules (for first-order predicate calculus) from truth preserving inference rules is demonstrated. It is shown that such sets of rules have a property ,~ completeness analogous w the completeness of the truth preserving rules. Further, it i