A Formulation for Language Independent Prelogical Deductive Inference

摘要

A reality, supposedly described by an Object Attrribute Table, and an unspecified language capable to describe subsets of objects are assumed. The requirements for an statement to be true are investigated, using set theoretical concepts only. The results lead to a sufficient condition for a statement to be deduced from a set of other statements (premises), by means of some algorithmic approach.