absorption
Sign in to saveinference rule where, given P→Q, one deduces P→(P∧Q)
Wikidata facts
- Instance of
- rule of inference
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0
inference rule where, given P→Q, one deduces P→(P∧Q)
via Wikidata · CC0