modus ponens

/ Latin (ˈməʊdəs ˈpəʊˌnɛnz) /

noun

logic the principle that whenever a conditional statement and its antecedent are given to be true its consequent may be validly inferred, as in if it's Tuesday this must be Belgium and it's Tuesday so this must be Belgium

Word Origin for modus ponens

literally: mood that affirms