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, P-k Q inplikatzen badu, eta Q ez bada egiazkoa, orduan P ere ez da egiazkoa.

Hori era formalean honela adieraz daiteke:

:\frac{P \to Q, \neg Q}{\therefore \neg P}

non P \to Q-k esan nahi duen “P-k inplikatzen du Q” eta \neg Q-k esan nahi duen “ez da Q-ren kasua” (edo, laburrago, “ez Q”). Orduan, bai “P \to Q” eta bai “\neg Q” frogapen batean lerro gisa agertzen badira, “\neg P” 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 
:P\to Q, \neg Q \vdash \neg P

\vdash sinbolo metalogikoa da eta adierazten du \neg P, P \to Q-ren eta \neg Q-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:

:((P \to Q) \land \neg Q) \to \neg P

non P eta Q sistema formalen batean adierazitako proposamenak diren.

### *Modus tollendo tollens* suposizioak sartuz 
Honela idazten da:
:\frac{\Gamma \vdash P\to Q ~~~ \Gamma \vdash \neg Q}{\Gamma \vdash \neg P}.

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\subseteq Q
:x\notin Q
:\therefore x\notin P
("P, Q-ren azpimultzoa da, x ez dago Q-n, beraz x ez dago P-n)

Baita lehen ordenako predikatu-logikan ere:
:\forall x:~P(x) \to Q(x)
:\exists x:~\neg Q(x)
:\therefore \exists x:~\neg P(x)
("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