implication#1 (n)
logical implication (n)
conditional relation (n)

n13860281

type n
lex_filenum 24
def a logical relation between propositions p and q of the form `if p then q'
def if p is true then q cannot be false
Outgoing links
Hypernym logical relation
Derivationally related form implication → implicational; implication → imply
Derivationally related form implication → implicate
Incoming links
Derivationally related form implicational → implication; imply → implication
Pertainym (pertains to noun) implicational → implication
Hyponym logical relation
Derivationally related form implicate → implication

Back to the index

Click for the XML entry