Law of Proper Inference

The law of proper inference is one of the basic laws of classical logic.  It states that “If A=B, and B=C, then A=C.”  It is exemplified in such statements as: 1) All men are mortal.  2) Socrates is a man.  3) Therefore, Socrates is mortal.

 

 

 

 
 
CARM ison