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