Pojednostavljenje ili eliminacija konjunkcije je matematičko (praciznije, logičko) pravilo koje nalaže da se od istinite celine može izdvojiti istiniti deo. U suštini, pravilo pojednostavljenja veli sledeće: ukoliko su tačna oba iskaza, tada je svaki od njih ponaosob tačan, tj.

I P i Q.
Dakle, P. (Dakle, Q.)

Pravilo pojednostavljenja usko je povezano sa konjunkcijom, i ima dva potpuno ravnopravna oblika: levi i desni, i to su:

  • levi:

, odnosno, sekventno zapisano ,

  • desni:

, odnosno, sekventno zapisano .

Ovo pravilo je jedno od osnovnih pravila matematičke logike i ne dokazuje se.

Objašnjenje istinitosnom tablicom

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

Kao što se da videti u tablici konjunkcije, iskaz P ∧ Q je istinit akko su oba argumenta tačna, te istinitost P ∧ Q povlači istinitost i P i Q ponaosob, inače, ukoliko bi makar jedan bio netačan, bila bi netačna i njihova konjunkcija.

Vidi još

uredi