implikation

En logisk implikation förenar två påståenden till ett nytt påstående med betydelsen att om det ena påståendet gäller så gäller även det andra. Språkligt används konstruktioner som "om p så q", "såvida p så q", "q givet p" m.fl.