Logical Implication
nounverified·updated May 18, 2026
a logical relation between propositions p and q of the form `if p then q'
Outgoing relationships
No outgoing triples
This term is not the subject of any RDF-style relationship yet.
Incoming relationships
No incoming triples
No other term currently asserts a relationship to this one.