#logical implication #if-then #conditional #p implies q #entails