Modus tollendo tollens
Modus tollendo tollens (latinez: "ukatuz ukatzen duen modua"; modus tollens, atzekariaren ukapenaren legea edo kontrajartze-legea izenez ere ezaguna) baliozko argudio-forma eta inferentzia-erregela da logika proposizionalean. Adierazpen bat baliozkoa bada, bere kontrajartzea ere badela dioen egia orokorraren aplikazioa da. Modus tollendo tollens erregelaren historiak antzinaroraino egiten du atzera. Modus tollendo tollens erregela esplizituki azaltzen lehenak estoikoak izan ziren.

Modus tollendo tollens inferentzia-erregelak ezartzen du lehen baieztapen batek bigarren bat inplikatzen badu, eta bigarrena ez bada egiazkoa, lehenak ezin duela egiazkoa izan inferitu daitekeela. Hau da, -k  inplikatzen badu, eta  ez bada egiazkoa, orduan  ere ez da egiazkoa.

Hori era formalean honela adieraz daiteke:

non -k esan nahi duen “P-k inplikatzen du Q” eta -k esan nahi duen “ez da Q-ren kasua” (edo, laburrago, “ez Q”). Orduan, bai “” eta bai “” frogapen batean lerro gisa agertzen badira, “” era baliozkoan jar dezakegu ondorengo lerro batean.

Hona hemen modus tollendo tollens-en adibide bat:

 Euririk ari badu, antzokiaren barruan itxarongo dizut.
 Ez naiz antzokiaren barruan itxaroten ari.
 Beraz, ez du euririk ari.

Modus tollendo tollens estuki lotuta dago modus ponens edo silogismo disjuntiboarekin. Biek argumentuaren antzeko forma dute: atzekariaren baieztapena eta aurrekariaren ukapena.

Notazio formala 
Modus tollendo tollens-en erregela hainbat eratara idatz daiteke.

Modus tollendo tollens ondoriozko notazioan 

 sinbolo metalogikoa da eta adierazten du , -ren eta -ren ondorio sintaktikoa dela sistema logiko batean.

Modus tollendo tollens tautologia egia-funtzionalaren baieztapentzat 

Notazio honi logika proposizionalaren teorema ere deitzen zaio eta honela idazten da:

non  eta  sistema formalen batean adierazitako proposamenak diren.

Modus tollendo tollens suposizioak sartuz 

Honela idazten da:
.

Erregela honek ez duenez suposizio multzoa aldatzen, ez da behar-beharrezkoa.

Idazte konplexuagoak 

Askotan, berridazketa konplexuagoak daude barruan modus tollendo dutenak, adibidez, multzo-teorian.

("P, Q-ren azpimultzoa da, x ez dago Q-n, beraz x ez dago P-n)

Baita lehen ordenako predikatu-logikan ere:

("x guztietarako, x P baldin bada, orduan x Q da. Badago x bat ez dena Q, beraz, baita ere badago x bat ez dena P")

Zentzu zehatzean ez dira tollendo modus-en instantziak. Baina Modus tollendo tollens erabiliz ondorioztatu ahal izango dira neurri gehigarri batzuk erabilita.

Azalpena 

Argudioak bi premisa ditu. Lehen premisa baldintzazkoa edo “baldin-orduan” motako adierazpena da. Adibidez, baldin P orduan Q. Bigarren premisa da ez dela Q-ren kasua (“ez Q”). Bi premisa horietatik abiatuta logikoki ondorioztatu daiteke ez dela P-ren kasua (“ez P”).

Adibidez:
 P1: Atari-txakurrak sarkin bat antzematen badu, atari-txakurrak zaunka egiten du.

 P2: Atari-txakurrak ez zuen zaunka egin.

 O: Beraz, atari-txakurrak ez zuen sarkinik antzeman.

Premisak egiazkoak direla suposatuta (txakurrak sarkin bat antzematen badu zaunka egiten du, eta ez du zaunka egin), ondorioztatzen da ez dela sarkinik antzeman. Baliozko argudioa da, ez baita posible ondorioa faltsua izatea premisak egiazkoak badira. (Baliteke txakurrak antzeman ez duen sarkin bat egon izana, baina horrek ez du argudioa baliogabetzen; lehen premisa “txakurrak sarkin bat antzematen badu” da). Gertaera garrantzitsua txakurrak sarkina antzematen duen ala ez da, ez existitzen den ala ez.

Beste adibide bat:
 P1: Ni aizkoraren hiltzailea banaiz, orduan aizkora bat erabil dezaket.

 P2: Ezin dut aizkora bat erabili.

 O: Beraz, ni ez naiz aizkoraren hiltzailea.

Modus ponens-ekiko erlazioa 
Modus tollendo tollens-en edozein erabilpen bihur dezakegu modus ponens eta inplikazio materiala den premisaren transposizioaren erabilpen. Adibidez:
Baldin P, orduan Q(premisa - inplikazio materiala)
Baldin ez Q, orduan ez P (deribatua transposizioaren bitartez)
Ez Q. (premisa) Beraz, ez P (deribatua modus ponens-en bidez)

Era berean, modus ponens-en erabilpen bakoitza bihurtu daiteke modus tollendo tollens-en eta transposizioaren erabilpen.

Egia-taula bidezko justifikazioa 
Modus tollendo tollens-aren baliozkotasuna argi froga daiteke egia-taula baten bidez.

Modus tollendo tollens kasuetan premisa gisa onartzen ditugu p → q egiazkoa dela eta q faltsua dela. Taulako lerro bakarrak (laugarrenak) betetzen ditu egiazko bi baldintza horiek. Lerro horretan, p faltsua da. Beraz, p → q egiazkoa den eta q faltsua den kasu guztietan, p-k ere faltsua izan behar du.

Frogapen formala

Silogismo disjuntibo bidez

Reductio ad absurdum bidez

Ikus, gainera 
 Modus ponendo ponens
 Arrazoibide deduktibo

Erreferentziak

Bibliografia 
 Alfred Tarski 1946 Introduction to Logic and to the Methodology of the Deductive Sciences 2. edizioa, reprinted by Dover Publications, Mineola NY.  (pbk). 
 Alfred North Whitehead y Bertrand Russell 1927 Principia Mathematica to *56 (Bigarren edizioa) boltsiko edizioa 1962, Cambridge at the University Press, Londres, Erresuma Batua . No ISBN, no LCCCN. 
 Herbert B. Enderton, 2001, A Mathematical Introduction to Logic Second Edition, Harcourt Academic Press, Burlington MA, .

Kanpo estekak 
Modus Tollens, Wolfram MathWorld-en 
http://mathworld.wolfram.com/ModusTollens.html

Proposizio logika
Logika klasikoa
Modus tollendo tollens ( latinez : " ukatuz ukatzen duen modua " ; modus tollens , atzekariaren ukapenaren legea edo kontrajartze-legea izenez ere ezaguna ) baliozko argudio-forma eta inferentzia-erregela da logika proposizionalean . Adierazpen bat baliozkoa bada , bere kontrajartzea ere badela dioen egia orokorraren aplikazioa da . Modus tollendo tollens erregelaren historiak antzinaroraino egiten du atzera . Modus tollendo tollens erregela esplizituki azaltzen lehenak estoikoak izan ziren . Modus tollendo tollens inferentzia-erregelak ezartzen du lehen baieztapen batek bigarren bat inplikatzen badu , eta bigarrena ez bada egiazkoa , lehenak ezin duela egiazkoa izan inferitu daitekeela . Hau da , -k inplikatzen badu , eta ez bada egiazkoa , orduan ere ez da egiazkoa . Hori era formalean honela adieraz daiteke : non -k esan nahi duen “ P-k inplikatzen du Q ” eta -k esan nahi duen “ ez da Q-ren kasua ” ( edo , laburrago , “ ez Q ” ) . Orduan , bai “ ” eta bai “ ” frogapen batean lerro gisa agertzen badira , “ ” era baliozkoan jar dezakegu ondorengo lerro batean . Hona hemen modus tollendo tollens-en adibide bat : Euririk ari badu , antzokiaren barruan itxarongo dizut . Ez naiz antzokiaren barruan itxaroten ari . Beraz , ez du euririk ari . Modus tollendo tollens estuki lotuta dago modus ponens edo silogismo disjuntiboarekin . Biek argumentuaren antzeko forma dute : atzekariaren baieztapena eta aurrekariaren ukapena . Notazio formala Modus tollendo tollens-en erregela hainbat eratara idatz daiteke . Modus tollendo tollens ondoriozko notazioan sinbolo metalogikoa da eta adierazten du , -ren eta -ren ondorio sintaktikoa dela sistema logiko batean . Modus tollendo tollens tautologia egia-funtzionalaren baieztapentzat Notazio honi logika proposizionalaren teorema ere deitzen zaio eta honela idazten da : non eta sistema formalen batean adierazitako proposamenak diren . Modus tollendo tollens suposizioak sartuz Honela idazten da : . Erregela honek ez duenez suposizio multzoa aldatzen , ez da behar-beharrezkoa . Idazte konplexuagoak Askotan , berridazketa konplexuagoak daude barruan modus tollendo dutenak , adibidez , multzo-teorian . ( " P , Q-ren azpimultzoa da , x ez dago Q-n , beraz x ez dago P-n ) Baita lehen ordenako predikatu-logikan ere : ( "x guztietarako , x P baldin bada , orduan x Q da . Badago x bat ez dena Q , beraz , baita ere badago x bat ez dena P " ) Zentzu zehatzean ez dira tollendo modus-en instantziak . Baina Modus tollendo tollens erabiliz ondorioztatu ahal izango dira neurri gehigarri batzuk erabilita . Azalpena Argudioak bi premisa ditu . Lehen premisa baldintzazkoa edo “ baldin-orduan ” motako adierazpena da . Adibidez , baldin P orduan Q . Bigarren premisa da ez dela Q-ren kasua ( “ ez Q ” ) . Bi premisa horietatik abiatuta logikoki ondorioztatu daiteke ez dela P-ren kasua ( “ ez P ” ) . Adibidez : P1: Atari-txakurrak sarkin bat antzematen badu , atari-txakurrak zaunka egiten du . P2 : Atari-txakurrak ez zuen zaunka egin . O : Beraz , atari-txakurrak ez zuen sarkinik antzeman . Premisak egiazkoak direla suposatuta ( txakurrak sarkin bat antzematen badu zaunka egiten du , eta ez du zaunka egin ) , ondorioztatzen da ez dela sarkinik antzeman . Baliozko argudioa da , ez baita posible ondorioa faltsua izatea premisak egiazkoak badira . ( Baliteke txakurrak antzeman ez duen sarkin bat egon izana , baina horrek ez du argudioa baliogabetzen ; lehen premisa “ txakurrak sarkin bat antzematen badu ” da ) . Gertaera garrantzitsua txakurrak sarkina antzematen duen ala ez da , ez existitzen den ala ez . Beste adibide bat : P1: Ni aizkoraren hiltzailea banaiz , orduan aizkora bat erabil dezaket . P2 : Ezin dut aizkora bat erabili . O : Beraz , ni ez naiz aizkoraren hiltzailea . Modus ponens-ekiko erlazioa Modus tollendo tollens-en edozein erabilpen bihur dezakegu modus ponens eta inplikazio materiala den premisaren transposizioaren erabilpen . Adibidez : Baldin P , orduan Q( premisa - inplikazio materiala ) Baldin ez Q , orduan ez P ( deribatua transposizioaren bitartez ) Ez Q . ( premisa ) Beraz , ez P ( deribatua modus ponens-en bidez ) Era berean , modus ponens-en erabilpen bakoitza bihurtu daiteke modus tollendo tollens-en eta transposizioaren erabilpen . Egia-taula bidezko justifikazioa Modus tollendo tollens-aren baliozkotasuna argi froga daiteke egia-taula baten bidez . Modus tollendo tollens kasuetan premisa gisa onartzen ditugu p → q egiazkoa dela eta q faltsua dela . Taulako lerro bakarrak ( laugarrenak ) betetzen ditu egiazko bi baldintza horiek . Lerro horretan , p faltsua da . Beraz , p → q egiazkoa den eta q faltsua den kasu guztietan , p-k ere faltsua izan behar du . Frogapen formala Silogismo disjuntibo bidez Reductio ad absurdum bidez Ikus , gainera Modus ponendo ponens Arrazoibide deduktibo Erreferentziak Bibliografia Alfred TarskiIntroduction to Logic and to the Methodology of the Deductive Sciences edizioa , reprinted by Dover Publications , Mineola NY. ( pbk ) . Alfred North Whitehead y Bertrand RussellPrincipia Mathematica to *56 ( Bigarren edizioa ) boltsiko edizioa Cambridge at the University Press , Londres , Erresuma Batua\ . No ISBN , no LCCCN . Herbert B . Enderton , A Mathematical Introduction to Logic Second Edition , Harcourt Academic Press , Burlington MA,\ . Kanpo estekak Modus Tollens , Wolfram MathWorld-en http://mathworld.wolfram.com/ModusTollens.html Proposizio logika Logika klasikoa