Home›Logical expressions›regra de substituição🌐PortuguêsEnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoPortuguêsРусскийالعربية日本語EntityQ1361787· pop 5· linked from 37 articlesregra de substituiçãoinference 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