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