Модус поненс
Из Википедије, слободне енциклопедије
У логици, модус поненс је једноставан валидан, облик аргумента. Често се употребљава. Следећег је облика:
- Ако P, онда Q.
- P.
- Следи, Q.
Записано у нотацији логичких оператора:
где 
представља логичко тврђење (да је Q тачно).
Модус поненс се може записати и на следећи начин:
Аргумент има две премисе. Прва је ако-онда, условно тврђење, да из P следи Q (P имплицира Q). Друга премиса је да је P, антецедент условног тврђења тачно. Из ове две премисе се може логички закључити да и Q мора бити тачно.
Следи пример логичког закључивања које има облик модус поненса:
- Ако напољу пада киша, понећу кишобран.
- Напољу пада киша.
- Стога, понећу кишобран.
Чињеница да је аргумент валидан не значи да је било који од исказа у њему истинит; валидност модус поненса нам говори да закључак мора бити истинит уколико су све премисе истините.
