logical_implicationEnglish

A logical relation between propositions p and q of the form `if p then q', if p is true then q cannot be false

English: implication, logical implication, conditional relation

Bahasa: implikasi