🌐EnglishEnglishEspañolFrançaisPortuguêsРусский한국어日本語EntityQ5164489· pop 5· linked from 52 articlesconstructive dilemmaRule of inference of propositional logicAvailable in 5 languagesEspañolFrançaisPortuguês한국어via Wikidata sitelinks · CC0ConnectionslogicEntitytheoremEntityCategoriesDilemmasRules of inferenceTheorems in propositional logic