bn:02842858n
Noun Named Entity
AR
No term available
EN
In propositional logic, tautology is either of two commonly used rules of replacement. Wikipedia
English:
rule of inference
Relations
Sources