Created on Feb. 23, 2013, 6:45 p.m. by Hevok & updated by age on Feb. 10, 2015, 7:01 a.m. Hevok on Feb. 10, 2015, 7:01 a.m.
Simple Inference Rules can be built always by the same Patterns or Templates.
major premise All Humans
are mortal
minor premise All Greeks
are Humans
Conclusion All Greeks
are mortal
So this defines a Pattern. According to this Pattern one can do Logic, because between premises and the conclusion one can do an inference. This inference can be done by a simple Machine so it is always the same: one has a Subject, predicate as well as major, middle, and minor Terms. With this one comes up with a machine that is able to with Rules that are expressed with these Patterns to make mechanical Conclusions.
Comment on This Data Unit