: sammensat udsagn bestående af to udsagn hvor det første
siges at implicere (medføre) det andet. En implikation er sand undtagen når
første udsagn er sandt og det andet er falsk. I en implikation må man altså
ikke kunne slutte fra noget sandt til noget falsk.
........................................................................................................................