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

С Википедије, слободне енциклопедије
Иди на навигацију Иди на претрагу

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

И P и Q.
Дакле, P. (Дакле, Q.)

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

  • леви:

, односно, секвентно записано ,

  • десни:

, односно, секвентно записано .

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

Објашњење истинитосном таблицом[уреди | уреди извор]

P Q PQ
T T T
T F F
F T F
F F F

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

Види још[уреди | уреди извор]