Home›Rules of inference›soğurma🌐TürkçeEnglishDeutschEspañolPortuguêsTürkçeEntityQ4669893· pop 6· linked from 50 articlessoğurmainference rule where, given P→Q, one deduces P→(P∧Q)Available in 6 languagesEspañolDeutschPortuguêsSerbianSerbian (Latin)via Wikidata sitelinks · CC0Connectionspropositional calculusEntitydistributive propertyEntityCategoriesRules of inferenceTheorems in propositional logic