. . "logical implication"@en-us . . . "113860281"^^ . . . "a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false"@en-us . "a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false"@en-us . . "0"^^ . . . . "113074886"@en-us . "13860281-n"^^ . . . "implication"^^ . . "conditional relation"@en-us . "109985536"@en-us . . "implication"@en-us . "0"^^ . .