Found:

implication

**SEMANTICS: **1. (material implication) the combination in
**propositional logic** of two formulae with the connective -> (*if ... then ...*), also called conditional. The implication of phi and psi, phi -> psi, is only false if phi
(which is called the antecedent) is true while psi (the consequent) is false:

(i) phi psi phi -> psi 1 1 1 1 0 0 0 1 1 0 0 12. (logical implication) the relation that exists between two sentences phi and psi if phi -> psi is a

(ii) (p V q) -> qThis implication is true for every combination of

LIT. | Gamut, L.T.F. (1991) |