Skip to content
EntityQ4669893· pop 6· linked from 50 articles

inference rule where, given P→Q, one deduces P→(P∧Q)

Available in 6 languages

via Wikidata sitelinks · CC0