from 含意

論理学で、任意の 命題p・qについて、pが真であれば常にqも真であるとき、pはqを含意するという。