, then "
or
" implies "
or
."
These are the formal principles of deduction employed in Principia Mathematica. A formal principle of deduction has a double use, and it is in order to make this clear that we have cited the above five propositions. It has a use as the premiss of an inference, and a use as establishing the fact that the premiss implies the conclusion. In the schema of an inference we have a proposition