Поједностављење или елиминација конјункције је математичко (працизније, логичко) правило које налаже да се од истините целине може издвојити истинити део. У суштини, правило поједностављења вели следеће: уколико су тачна оба исказа, тада је сваки од њих понаособ тачан, тј. И -{P}- и -{Q}-. Дакле, -{P}-. (Дакле, -{Q}-.)
Правило поједностављења уско је повезано са конјункцијом, и има два потпуно равноправна облика: леви и десни, и то су:
леви: , односно, секвентно записано , десни: , односно, секвентно записано .
Ово правило је једно од основних правила математичке логике и не доказује се.
Објашњење истинитосном таблицом
+ P Q P ∧ Q T T T T F F F T F F F F
Као што се да видети у таблици конјункције, исказ -{P}- ∧ -{Q}- је истинит акко су оба аргумента тачна, те истинитост -{P}- ∧ -{Q}- повлачи истинитост и -{P}- и -{Q}- понаособ, иначе, уколико би макар један био нетачан, била би нетачна и њихова конјункција.
Види још
Дисјункција Математичка логика
Категорија:Логика