Modus ponens

Pravidlo modus ponens, též modus ponendo ponens nebo pravidlo vynětí, je odvozovací pravidlo a základ argumentace a dokazování nejen ve výrokové logice.

Obsah

Tato část článku je příliš stručná nebo neobsahuje všechny důležité informace. Pomozte Wikipedii tím, že ji vhodně rozšíříte.

Pravidlo zní: Z $\varphi , \varphi \Rightarrow \psi$ odvoď $\,\psi$ .

Jestliže "A" platí a z "A vyplývá B" platí, pak i "B" platí.

Tato část článku potřebuje úpravy.

Můžete Wikipedii pomoci tím, že ji vhodně vylepšíte. Jak by měly články vypadat, popisují stránky Vzhled a styl, Encyklopedický styl a Odkazy.

Tato část článku je příliš stručná nebo neobsahuje všechny důležité informace. Pomozte Wikipedii tím, že ji vhodně rozšíříte.