Home›Logical expressions›قاعدة الاستبدال🌐العربيةEnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoPortuguêsРусскийالعربية日本語EntityQ1361787· pop 5· linked from 37 articlesقاعدة الاستبدالinference 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