🌐EnglishEnglishDeutschEspañolFrançaisItalianoPolskiPortuguêsSvenskaРусский한국어中文日本語EntityQ430954· pop 13· linked from 78 articlesdisjunctive syllogisminference rule in logics : with "A or B" and "not A" deduce "B"ConnectionssyllogismEntityformal systemEntityCategoriesClassical logicParaconsistent logicRules of inferenceTheorems in propositional logic