G. Havas Katalin: Így logikus! (Budapest, 2002)

III. Igaz, vagy nem igaz?

BIZONYÍTSD BE, HOGY IGAZAD VAN! P ^ (д л f)- Miért így zárójeleztél, és miért nem így? (p->q) лг- Mert ez az utóbbi azt jelentené, hogy a széles fejsze mindig mo­solyog, függetlenül attól, hogy mi van az úri pusztasággal, hogy rikol­­tozik-e, vagy sem. Itt azonban a versben nem erről van szó, hanem arról, hogy egy alap két következményt von maga után, q-1 és r-et.- Be kell látnom, az érvelésed meggyőzött.- Tudod, hogy hívják az ilyen érvelést?- Nem, nem tudom.- Nem is érdekel?- Mondjuk, hogy érdekel. Mondjad gyorsan!- Amikor állítasz valamit, és be akarod bizonyítani, hogy az állí­tásod igaz, akkor ezt megteheted úgy, hogy megmutatod, hogy ez logikailag következik már igaznak elfogadott állításokból. Ez a köz­vetlen bizonyítás. De bizonyíthatsz úgy is, hogy kimutatod az állítá­soddal ellenkező tétel lehetetlenségét. Ez a közvetett bizonyítás egyik módja. Itt két állítás állt egymással szemben: 1. Az egyik állítás a logika nyelvén kifejezve: p —> (q л r) 2. A másik állítás a logika nyelvén kifejezve: (p —» q) л r 185

Next