Rule of logic

Is there any name for the rule of logic:

If a then b
If not a then b
Therefore b

Thanks

via International Skeptics Forum http://ift.tt/2GKPBCN