Модус поненс

Из Википедије, слободне енциклопедије

У логици, модус поненс је једноставан валидан, облик аргумента. Често се употребљава. Следећег је облика:

Ако P, онда Q.
P.
Следи, Q.

Записано у нотацији логичких оператора:

((P \to Q) \land P) \vdash Q

где \vdash представља логичко тврђење (да је Q тачно).

Модус поненс се може записати и на следећи начин:

\qquad\frac{(P \rightarrow Q), P}{Q}.

Аргумент има две премисе. Прва је ако-онда, условно тврђење, да из P следи Q (P имплицира Q). Друга премиса је да је P, антецедент условног тврђења тачно. Из ове две премисе се може логички закључити да и Q мора бити тачно.

Следи пример логичког закључивања које има облик модус поненса:

Ако напољу пада киша, понећу кишобран.
Напољу пада киша.
Стога, понећу кишобран.

Чињеница да је аргумент валидан не значи да је било који од исказа у њему истинит; валидност модус поненса нам говори да закључак мора бити истинит уколико су све премисе истините.

Види још[уреди]