🌐EnglishEnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoPortuguêsРусскийالعربية日本語EntityQ1361787· pop 5· linked from 37 articlesrule of replacementinference rule that may be applied to only a particular segment of an expressionAvailable in 5 languagesEspañolFrançaisDeutschUkrainianvia Wikidata sitelinks · CC0Connectionslogical equivalenceEntityrule of inferenceEntityCategoriesLogical expressionsPropositional calculusRules of inference