---
title: "Obvious Logical Inferences"
authors:
  - "Martin Davis"
doi: ""
url: "https://ijcai.org/proceedings/1981/99"
pdf: "https://ijcai.org/proceedings/1981/0099.pdf"
venue: "Proceedings of the Seventh International Joint Conference on Artificial Intelligence"
year: 1981
pages: "530-530"
track: "Theorem Proving"
keywords:
---

# Obvious Logical Inferences

Martin Davis

*Proceedings of the Seventh International Joint Conference on Artificial Intelligence*, pages 530-530.

## Abstract

A precise definition is given of a class of inferences in predicate logic which it is proposed to identify with the class of "obvious" inferences. A mechanism for implementing "obvious inference" as a rule of inference in proof checking systems is discussed.