1982 | OriginalPaper | Buchkapitel
The connection method in first-order logic
verfasst von : Wolfgang Bibel
Erschienen in: Automated Theorem Proving
Verlag: Vieweg+Teubner Verlag
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The expressive power of propositional logic is too restricted for practical use. Therefore we have to encounter the considerably richer language of first-order logic which will be introduced in the first section of the present chapter. We did not waste our time, however, by the previous development of the connection method for sentential logic. Rather we shall see that the method may be lifted from the ground level to the level of first-order logic by adding some features without any change of the features developed thus far.