Sentences with phrase «uses logical implication»

Not exact matches

What we find here is the beginning of the forms of implication as self - evident axioms used by Whitehead and Russell to deduce hundreds of proved theorems by displaying the logical connections between the primitive axioms and the theorems.