Ukapen

Logikan eta matematikan, ukapena edo ezeztapena enuntziatuen arteko operaketa da, $P$ enuntziatu bat "ez $P$" enuntziatu batera ( $\lnot P$,${\mathord {\sim }}P$ edo ${\overline {P}}$ irakurtzen dena) eramaten duena. Logika klasikoan ukapena normalean egiazko funtzioekin erlazionatzen da, zeinak bere balioa egiatik gezurrera aldatzen duen eta alderantziz. Intuitiboki, enuntziatu baten ukapena egia da baldin eta proposizio hori gezurra bada eta alderantziz.

Definizioa

Izatez, ez dago adostasunik ukapena defintzeko garaian, ez bere estatus logikoaren inguruan, ez funtzioan, ezta esanahiean ere.

Logika klasikoan, ukapena lokailu logiko bat da (orokorrean proposizio bati aplikatzen zaiona) baldin eta $P$ enuntziatu bat bada, $P$-ren ukapena edo ezeztapena, beste enuntziatu bat da $\lnot P$ adierazten dena eta "P gezurra da" dioena, eta alderantziz. Hau da, $P$ egia bada, $\lnot P$ gezurra da eta $P$gezurra bada, $\lnot P$ egia da.

Ukapenaren egia taula honako hau da:

$P$	$\lnot P$
Egia	Gezurra
Gezurra	Egia

Ukapena beste modu batzuetara ere defini daiteke beste lokailu logiko batzuekin. Adibidez, $\lnot P$ , ${\displaystyle P\rightarrow \bot }$ bezala defini daiteke (non $\rightarrow$ ondorio logikoa den eta $\bot$ gezur absolutua den). Bestalde, $\bot$ definitzeko modu bat $P\land \lnot P$ izango litzateke, $P$ edozein proposizio izanik (eta $\land$konjuntzio logikoa den). Azken horren oinarria edozein kontraesan gezurra dela da, baina, nahiz eta logika horrek logika klasiko eta intuitiboan balio, ez du funtzionatzen logika parakontsistentean, non kontraesanek ez duten zertan gezur izan.

Propietateak

Ukapen bikoitza

Enuntziatu baten ukapen bikoitza, hau da, enuntziatuaren ukapenaren ukapena, enuntziatu beraren baliokidea da.

$\lnot \lnot P\equiv P$

Banakortasun propietatea

De Morganen legeak disjuntzio eta konjuntzio baten gainean ukapena banatzea ahalbidetzen du:

$\neg (P\lor Q)\equiv (\neg P\land \neg Q)$ eta

$\neg (P\land Q)\equiv (\neg P\lor \neg Q)$

Zenbakitzaileen ukapena

Lehen mailako logikan bi zenbakitzaile daude, zenbakitzaile unibertsala $\forall$ ("edozein" esan nahi duena) eta zenbakitzaile existentziala $\exists$ ("existitzen da" esan nahi duena). Zenbakitzaile unibertsalaren ukapena zenbakitzaile existentzialaren baliokidea da eta alderantziz. Hau da,

$\neg \forall xP(x)\equiv \exists x\neg P(x)$ eta

$\neg \exists xP(x)\equiv \forall x\neg P(x)$

Inferentzia arauak

Ukapena arautzeko hainbat modu baliokide daude. Ukapen klasikoa formulatzeko modu ohiko bat ondorengo arauak aintzat hartuz da:

• Ukapenaren sarrera ($P$-k inplikatzen badu $Q$ eta $\lnot Q$, $\lnot P$ inferitzen da; arau honi reductio ad absurdum deritzo).
• Ukapenaren ezabapena ($P$ eta $\lnot P$ emanik, $Q$ inferitzen da; arau honi ex falso quadiblet).
• Ukapen bikoitzaren ezabapena ($\lnot \lnot P\equiv P$).

Ukapen intuizionistarako arauak modu berean lortzen dira, baina ukapen bikoitzaren ezabapenaren araua baztertuz.

Ukapenaren sarrerak ezartzen du $P$ absurdoa bada, $P$-k ez duela kasua izan behar ($P$ gezurra da (klasikoa) edo gezurtagarria (intuizionista), etab.). Ukapenaren ezabapenak ezartzen du edozer absurdutik ondorioztatzen dela. Batzuetan ukapenaren ezabapena $\bot$ absurdoaren zeinua erabiliz formulatzen da. Kasu horretan arauak dioena da $P\land \lnot P$-tik absurdoa ondorioztatzen dela.

Adibideak

$P$	$\lnot P$
$\forall x\in {\displaystyle \mathbb {R} },\exists n$ non $x\leq n$	$\exists x\in {\displaystyle \mathbb {R} },\forall n$ non $x>n$
$\forall x\geq 0,\exists y\in {\displaystyle \mathbb {R} },x=y^{2}$	$\exists x\geq 0,\forall y\in {\displaystyle \mathbb {R} },x\neq y^{2}$

Kanpo estekak

• Datuak: Q190558
• Multimedia: Negation / Q190558