noun
(logic) An indirect argument which proves a thing by showing the impossibility or absurdity of the contrary.
Mac + Safari
iPhone + iPad
Google Chrome
Mozilla Firefox
Opera
Microsoft Edge