Vybrané logické operácie

Z Psychostudia

Hlavná stránka / Umelá inteligencia / Fuzzy rozhodovanie

---

Obsah 1 Modus ponens 2 Modus tollens 3 Modus ponendo tollens 4 Modus tollendo ponens 5 Nesprávne uvažovanie 6 Zdroje

Modus ponens

• Pravidlo modus ponens (modus ponendo ponens, pravidlo odlúčenia), ak mám dané že platí A a zároveň je dané pravidlo "ak platí A potom platí B", potom viem povedať že platí aj B.

Schéma uvažovania:

• dané: (Antecendent ⇒ Konzekvent) ∧ Antecendent = True

• odvodené: Konzekvent = True

Modus ponens (Wiki)

Modus tollens

• Pravidlo modus tollens (modus tollendo tollens), ak mám dané že neplatí B a zároveň je dané pravidlo "ak platí A potom platí B", potom viem povedať že neplatí ani A.

Schéma uvažovania:

• dané: (Antecendent ⇒ Konzekvent) ∧ Konzekvent = False

• odvodené: Antecendent = False

Dá sa chápať aj ako proces so štyrmi krokmi:

1. Predpokladám že platí A.
2. Z tvrdenia "ak platí A potom platí B" vyvodím, že platí B.
3. Zistím, že neplatí B, teda spor.
4. Vzniknutá kontradikcia zabezpečí elimináciu predpokladu (Antecendentu).

Modus tollens (Wiki)

Modus ponendo tollens

• Pravidlo modus ponendo tollens

Schéma uvažovania:

1. Nemôže platiť súčasne A a B.
2. Platí A.
3. Neplatí B.

Wiki EN

Modus tollendo ponens

Schéma uvažovania:

1. Platí A alebo platí B (cháp ako logické or teda or[0,0]=0, or[0,1]=1, or[1,0]=1, or[1,1]=1)
2. Neplatí A
3. Platí B

Wiki EN

Nesprávne uvažovanie

Logicky neprávnymi podmienenými formami uvažovania, ktoré bezprostredne súvisia s uvedeným sú:

• Odmietnutie antecendentu, ak mám dané že neplatí A a zároveň je dané pravidlo "ak platí A potom platí B", nestačí to k prehláseniu, že neplatí B.

• Potvrdenie konzekventu, ak mám dané že platí B a zároveň je dané pravidlo "ak platí A potom platí B", nestačí to k prehláseniu, že platí A.

Zdroje

Info o tom ako sa tieto a súvisiace procesy uvažovania realizujú v mozgu môžete nájsť napríklad aj v tomto článku.