Cáfolás

Olyan logikai művelet v. műveletsor, mely valamely kijelentés, tétel hamis voltát láttatja be más igaz kijelentések, érv ek segítségével. A cáfolás lehet direkt és indirekt. A direkt cáfolás menete: érvényes következtetést szerkesztenek úgy, hogy a tételt igaz kijelentésekkel logikailag összekapcsolják (előzmény), s a tételt ezekből az adott logikai kapcsolat alapján levezetik (zárótétel) úgy, hogy a következmény csak a tétel hamis értékénél teljesedjen (bizonyítás). Az indirekt cáfolás hasonló az indirekt bizonyításhoz.

Lenkovics Ildikó

Szerkesztette: Lapoda Multimédia