Modus tollens

Ulogici,modus tolensje formalni naziv zavalidanindirektan dokazilidokazkontrapozicijom,sledećeg oblika:

Ako P, onda Q.

Q je netačno.

Stoga, P je netačno.

Objašnjenje

Modus tolens ima dvepremise.Prva premisa je uslovniako-ondaiskaz, da iz P sledi Q. Druga je da je Q netačno (neistinito). Iz ove dve premise se može logički zaključiti da P mora biti netačno.

Razmotrimo primer:

Ako u prostoriji ima vatre, onda u prostoriji ima kiseonika.

U prostoriji nema kiseonika.

Stoga,u prostoriji nema vatre.

Još jedan primer:

Ako počinim zločin biću uhapšen.

Neću biti (nisam) uhapšen.

Zaključujemo -nisam počinio zločin.

Pretpostavimo da su obe premise istinite. Ako je neka osoba počinila zločin, onda ona zaista mora biti uhapšena; a činjenica je da ta osoba nije uhapšena, odnosno neće ni biti. Šta sledi? Da ona nije počinila zločin. Ako je argument validan iakosu premise istinite, zaključakmorada sledi.

Ali pretpostavimo sada da nije neophodno da ubica poseduje sekiru. Na primer, moguće je da je ubica pozajmio sekiru (znači, Jovan može biti ubica uprkos neposedovanju sekire). Ovo znači da je prva premisaneistinita.Argument je svejedno validan:dasu premise bile tačne, zaključakbisledio. U našem konkretnom slučaju, nisu sve premise tačne. Naravno iz ovoga ne sledi da Jovan mora da bude ubica, već samo ne sledi da nije ubica.

Veza sa modus ponensom

Svaka upotreba modus tolensa se može pretvoriti u upotrebumodus ponensai jednu upotrebutranspozicijeu premisu koja je materijalna implikacija. Na primer:

Ako P, onda Q. (premisa -- materijalna implikacija)

AKo je Q netačno, onda je P netačno. (dobijeno transpozicijom)

Q je netačno. (premisa)

Stoga, P je netačno. (dobijeno modus ponensom)

I obratno, svaka upotreba modus ponensa se može pretvoriti u upotrebu modus tolensa uz transpoziciju.

Formalna notacija

Zapisanologičkim operatorima:

$((P\Rightarrow Q)\land \neg Q)\vdash \neg P$

Ili u notacijiteorije skupova:

$P\subseteq Q$

$x\notin Q$

$\therefore x\notin P$

(P je podskup od Q. Element x nije u Q. Stoga, x nije u P.)

Ili u notaciji prirodne dedukcije:

${\frac {P\Rightarrow Q~~~\neg Q}{\neg P}}$

Takođe se može videti u obliku:

Ako P onda Q

Ne-Q

Stoga, ne-P

Povezano

• Modus ponens
• Modus tolendo ponens
• Modus tolendo tolens

Spoljašnje veze

• mathworld.wolfram.com:Modus tolens