Поједностављење

Шаблон:Правила трансформације Поједностављење или елиминација конјункције је математичко (працизније, логичко) правило које налаже да се од истините целине може издвојити истинити део. У суштини, правило поједностављења вели следеће: уколико су тачна оба исказа, тада је сваки од њих понаособ тачан, тј.

И -{P}- и -{Q}-.

Дакле, -{P}-. (Дакле, -{Q}-.)

Правило поједностављења уско је повезано са конјункцијом, и има два потпуно равноправна облика: леви и десни, и то су:

• леви:

$\frac{P\wedge Q}{P}(\underset{E}{\overset{L}{\wedge }})$, односно, секвентно записано $P\wedge Q⊢P$,

• десни:

$\frac{P\wedge Q}{Q}(\underset{E}{\overset{D}{\wedge }})$, односно, секвентно записано $P\wedge Q⊢Q$.

Ово правило је једно од основних правила математичке логике и не доказује се.

Објашњење истинитосном таблицом

P	Q	P ∧ Q
T	T	T
T	F	F
F	T	F
F	F	F

Као што се да видети у таблици конјункције, исказ -{P}- ∧ -{Q}- је истинит акко су оба аргумента тачна, те истинитост -{P}- ∧ -{Q}- повлачи истинитост и -{P}- и -{Q}- понаособ, иначе, уколико би макар један био нетачан, била би нетачна и њихова конјункција.

Види још

• Дисјункција
• Математичка логика