Következtetési szabályok

A logikai következtetési szabályok adják az alapot ahhoz, hogy helyes érveléseket építsünk fel. Ezek olyan minták, amelyek biztosítják, hogy ha a kiinduló állítások igazak, akkor a következtetés is igaz lesz.

Modus Ponens

Ha p igaz, és ha p-ből következik q, akkor q is igaz.

Példa: Ha esik az eső (p), akkor vizes lesz az út (q). Esik az eső → tehát az út vizes.

Modus Tollens

Ha p → q igaz, és q hamis, akkor p sem lehet igaz.

Példa: Ha esik az eső (p), akkor vizes az út (q). Az út nem vizes → tehát nem esik az eső.

Hipotetikus szillogizmus

Ha p-ből következik q, és q-ból következik r, akkor p-ből következik r is.

Példa: Ha tanulsz (p), akkor megérted az anyagot (q). Ha megérted az anyagot, akkor sikeres leszel a vizsgán (r). Tehát: ha tanulsz, sikeres leszel a vizsgán.

Diszjunktív szillogizmus

Ha p vagy q igaz, és p hamis, akkor q igaz.

Példa: Vagy otthon van Anna (p), vagy a boltban (q). Ha nem otthon van, akkor biztosan a boltban.

Kettős tagadás szabálya

A kettős tagadás visszaadja az eredeti állítást: ha nem az igaz, hogy nem p, akkor p igaz.

Összefoglalás

A következtetési szabályok biztosítják a helyes érvelést. A legismertebbek: modus ponens, modus tollens, hipotetikus és diszjunktív szillogizmus, valamint a kettős tagadás szabálya.

Gyakorló feladat