Hipi Zhdripi i Matematikës/Konsekuenca

Konsekuenca NË ENCIKLOPEDI

---

Rast i veçantë i implikacionit është konsekuenca - kur prej gjykimit p logjikisht rrjedh gjykimi q, i cili është i saktë vetëm kur p është i saktë . Raste të këtlla paraqiten në mes të teoremave matematike dhe konsekuencave të tyre, sikurse edhe në mes të supozimeve të teoremave dhe konkludimeve të tyre. Në këto raste implikacioni p$\Rightarrow$q lexohet edhe kështu : p është kusht i mjaftueshëm për q; q është kusht i nevojshëm për p; q është rrjedhim i q ; etj. Fakti se prej gjykimit p logjikisht nuk rrjedh gjykimi q, shënohet p$\Rightarrow ̸$q