"logical implication"@en-us . .