implication蕴涵

将两个简单命题联系起来，即若P则Q的逻辑命题，P为前题，Q为结果。在数理逻辑中，两个命题不需要相互关联，这称作实质蕴涵，例如“如果地球是平的，金子则是金属”。只有在前提为真结果为假的情况下，实质蕴涵才为假，否则相反（所举例子就是真蕴涵）。人们一般讨论的是形式蕴涵。在形式蕴涵中，两个命题在意义上相互关联，例如“如果不给我加薪，我就辞职”。蕴涵写作P'UQ，读作“P蕴涵O”。