MD-liburua/Predikatu-logika

KONTUZ! Fitxategi hau zirriborroa da oraindik. LANEAN ARI GARA

2. Gaia: Predikatu-logika

2.1 Sarrera

Proposizio-logikan, argumentuen baliozkotasuna enuntziatu konposatuak sortzeko asmoz enuntziatu bakunak konbinatzeko eraren menpe dago, baina ez enuntziatuen barne-egituraren menpe.

Adibidez, intuizioz zuzena dirudien argumentu hau hartuko dugu:

Txakur guztiak ugaztunak dira.

Bizi txakurra da.

Beraz, Bizi ugaztuna da.

Proposizio-kalkuluan, “Txakur guztiak ugaztunak dira” premisa proposizio bakuna da, eta ${\textstyle p}$ atomo batez adierazten dugu. Berdin gertatzen da bigarren premisarekin eta ondorioarekin, “Bizi txakurra da” proposizio bakuna ${\textstyle q}$ atomoaz adieraziko dugu eta “Bizi ugaztuna da” proposizio bakuna ${\textstyle r}$ atomoaz.

Beraz, proposizio-kalkuluan, argumentua honela adieraziko dugu:

$${\begin{array}{c}p\\q\\\hline r\end{array}}$$

Eta argumentu hori ez da baliozkoa; izan ere, ${\textstyle I=\{p,q,\neg r\}}$ interpretaziorako premisak egiazkoak dira eta ondorioa faltsua da.

Hori hala da, argumentuaren baliozkotasuna enuntziatuen barne-egitura logikoaren menpe dagoelako. Horrelako kasuetan, barne-egitura horiek analizatzeko tresnak garatu beharko ditugu. Predikatu-logika proposizio-logikaren hedapena da, analisi horrek behar duen tresna.

Argumentuaren bigarren premisak dio “Bizi” izeneko indibiduoak txakurra izatearen atributua duela. “Bizi” subjektua da eta “txakurra” predikatua da (subjektuak duen ezaugarri bat adierazten du).

Enuntziatuen egiturak aztertzen ditugunean, funtsean, bi adierazpen-mota hauek interesatzen zaizkigu: alde batetik, indibiduoei (izaki zehatzak: pertsonak, zenbakiak...) dagozkien adierazpenak eta, beste aldetik, indibiduoen propietateak edo indibiduoen arteko erlazioak azaltzen dituzten adierazpenak (predikatuak).

Esate baterako, “Bizi txakurra da”, “Ilargia zuria da”, “2 5 baino txikiagoa da”, “Anek tea nahiago du kafea baino” enuntziatuetan “Bizi”, “ilargia”, “2”, “5”, “Ane”, “tea”, “kafea” indibiduoak dira eta “txakurra da”, “zuria da”, “baino txikiagoa da”, “nahiago du” predikatuak dira, indibiduoen propietateak edo indibiduoen arteko erlazioak azaltzen dituzten adierazpenak.

Formalizazioa

Indibiduoak adierazteko ${\textstyle a,b,c,\dots }$ letra xeheak erabiliko ditugu. Sinbolo horiek indibiduoak adierazten dituztenez, konstante deituko diegu.

Predikatuak adierazteko letra larriak erabiliko ditugu.

Adibidez,

1. Bizi txakurra da.

   ${\textstyle b}$: “Bizi”
   ${\textstyle T}$: “txakurra izan”	${\textstyle \ \ \ \ \ T(b)}$

2. Ilargia zuria da.

   ${\textstyle i}$: “ilargia”
   ${\textstyle Z}$: “zuria izan”	${\textstyle \ \ \ \ \ TZ(i)}$

3. 2 7 baino txikiagoa da.

   ${\textstyle b}$: “2”
   ${\textstyle z}$: “7”	${\textstyle T(b,z)}$
   ${\textstyle T}$: “txikiagoa izan”

4. Anek tea nahiago du kafea baino.

   ${\textstyle a}$: “Ane”
   ${\textstyle t}$: “tea”	${\textstyle \ \ \ \ \ TN(a,t,k)}$
   ${\textstyle k}$: “kafea”
   ${\textstyle N}$: “nahiago izan”

Aurreko adibideetan ikus dezakegu predikatu batzuetan indibiduoen izen bakarra agertzen dela (banako predikatuak) eta beste batzuetan indibiduoen bi izen edo gehiago agertzen direla (predikatu anizkoitzak: bitarrak, hirutarrak...).

Azter dezagun, orain, predikatu-sinbolo bera duten proposizioak nola formulatzen diren:

Bizi txakurra da: ${\textstyle T(b)}$

Lagun txakurra da: ${\textstyle T(l)}$

7 txakurra da: ${\textstyle T(z)}$

Proposizio horiek guztiak batera adierazteko ${\textstyle T(x)}$ idatziko dugu. ${\textstyle x}$ letrari aldagai esango diogu. Ez da konstantea, eta edozein konstantez ordezka dezakegu.

${\textstyle T(b)}$, ${\textstyle T(l)}$, ${\textstyle T(z)}$ proposizioak dira, hots, esan dezakegu egiazkoak edo faltsuak diren; baina ${\textstyle T(x)}$ ez da egiazkoa, ezta faltsua ere, ez da proposizio.

${\textstyle T(x)}$ bazalako adierazpenei proposizio-funtzio deituko diegu. Banako aldagaiak onartzen dituzten adierazpenak dira, eta proposizio bihurtzen dira banako aldagaien ordez banako konstanteak jartzen ditugunean.

Proposizio-funtzio batetik proposizio bat lortzeko prozesuari, aldagai bat konstante batez ordezkatuz, instantziazio deituko diogu, eta ateratzen den proposizioari ordezkapen-instantzia.

Esate baterako,

${\textstyle \neg T(b)}$ (Bizi ez da txakurra) eta ${\textstyle \neg T(z)}$ (7 ez da txakurra) ${\textstyle \neg T(x)}$ proposizio-funtzioaren bi instantziazioren emaitzak dira. ${\textstyle \neg T(b)}$ eta ${\textstyle \neg T(z)}$ ${\textstyle \neg T(x)}$ proposizio-funtzioaren bi ordezkapen-instantzia dira.

Badago beste prozedura bat proposizio-funtzio batetik proposizio bat lortzeko: aldagaiak kuantifikatzea.

Orain arte banako enuntziatuen adibideak ikusi ditugu, zeinetan indibiduo bati propietate bat egokitu zaion edo bi indibiduoren edo gehiagoren arteko erlazio bat ezarri den. Baina enuntziatuak ez dira beti banakoak; adibidez, “Dena zuria da” eta “Zerbait zuria da” proposizio orokorrak dira, ez dute indibiduo-izenik. Hala ere, proposizio-funtzio batetik lor ditzakegu, ez instantziazioen bidez, baizik eta orokortzearen edo kuantifikatzearen bidez.

Lehenengo adibidea, “Dena zuria da”, beste era honetan ere adieraz dezakegu: “Edozein gauza emanik, gauza hori zuria da”; eta, ${\textstyle x}$ aldagaia erabiliz, “Edozein ${\textstyle x}$ emanik, ${\textstyle x}$ zuria da”.

“Edozein ${\textstyle x}$ emanik” esaldia zenbatzaile unibertsala da, eta ${\textstyle \forall x}$ idatziz adieraziko dugu. Sinbolo hori erabiliz, “Dena zuria da” esaldia honela idatziko dugu:

$$\forall xZ(x)$$

Antzeko eran, “Zerbait zuria da” esaldia honela idatz dezakegu:“Badago gutxienez gauza bat zuria dena”; eta, aldagai batekin, “Badago gutxienez ${\textstyle x}$ bat, non ${\textstyle x}$ zuria den”.

“Badago gutxienez ${\textstyle x}$ bat” esaldia zenbatzaile existentziala da, eta ${\textstyle \exists x}$ idatziz adieraziko dugu. Sinbolo hori erabiliz, “Zerbait zuria da” esaldia honela idatziko dugu:

$$\exists xZ(x)$$

Laburbilduz, “${\textstyle x}$ zuria da” (${\textstyle Z(x)}$) bezalako proposizio-funtzio bat emanik (edo enuntziatu irekia), bi bide dauzkagu proposizio bat lortzeko (edo enuntziatua ixteko):

1. Instantziazioa, aldagaia konstante batez ordezkatzea: ${\textstyle Z(i)}$, “Ilargia zuria da”. Bide honen bidez banako enuntziatua lortuko dugu.

2. Orokortzea edo kuantifikazioa, zenbatzaile bat aurrean jartzea: ${\textstyle \forall xZ(x)}$, “Dena zuria da”; ${\textstyle \exists xZ(x)}$, “Zerbait zuria da”.

   Bide honen bidez enuntziatu orokorra lortuko dugu.

Historiari begira, logika tradizionalak lau proposizio-mota nabarmendu zituen; ikus ditzagun adibide hauekin:

• ${\textstyle A}$ (baiezko proposizio unibertsala): “Txakur guztiak ugaztunak dira”.
• ${\textstyle E}$ (ezezko proposizio unibertsala): “Txakur bat ere ez da ugaztun”.
• ${\textstyle I}$ (baiezko proposizio partikularra): “Zenbait txakur ugaztunak dira”.
• ${\textstyle O}$ (ezezko proposizio partikularra): “Zenbait txakur ez dira ugaztun”.

${\textstyle T(x)}$=”${\textstyle x}$ txakurra da” eta ${\textstyle U(x)}$=”${\textstyle x}$ ugaztuna da” proposizio-funtzioak erabiltzen baditugu, ${\textstyle A}$, baiezko unibertsala, honela irakur genezake: “Edozein gauza emanik, gauza hori txakurra bada, gauza hori ugaztuna izango da” edo “Edozein ${\textstyle x}$ emanik, ${\textstyle x}$ txakurra bada, ${\textstyle x}$ ugaztuna izango da”. Eta adierazpen sinbolikoan:

$$\forall x(T(x)\rightarrow U(x)).$$

Era berean gainerako hiru proposizioekin:

${\textstyle E}$: “Edozein ${\textstyle x}$ emanik, ${\textstyle x}$ txakurra bada, ${\textstyle x}$ ez da ugaztun”. Adierazpen sinbolikoan:

$$\forall x(T(x)\rightarrow \neg U(x))$$

${\textstyle I}$: “Badago gutxienez ${\textstyle x}$ bat, non ${\textstyle x}$ txakurra den eta ${\textstyle x}$ ugaztuna den”. Adierazpen sinbolikoan:

$$\exists x(T(x)\wedge U(x))$$

${\textstyle O}$: “Badago gutxienez ${\textstyle x}$ bat, non ${\textstyle x}$ txakurra den eta ${\textstyle x}$ ez den ugaztun”. Adierazpen sinbolikoan:

$$\exists x(T(x)\wedge \neg U(x))$$

Adibideak

1. Arranoek altu egiten dute hegan: ${\textstyle \forall x(A(x)\rightarrow H(x))}$.

   Arranoek bakarrik hegan egiten dute altu: ${\textstyle \forall x(H(x)\rightarrow A(x))}$.

2. Beroki bat ere ez da iragazgaitza ez bada bereziki tratatua izan:

   $$\forall x(B(x)\wedge I(x)\rightarrow T(x)).$$

3. Zenbaki arrazional bakoitza zenbaki erreala da, baina zenbait zenbaki erreal ez dira arrazional:

   $$\forall x(Q(x)\rightarrow R(x))\wedge \exists x(R(x)\wedge \neg Q(x)).$$

4. Edozein zenbaki arrunten hurrengoa zenbaki arrunta da:

   $$\forall x\forall y(N(x)\wedge H(y,x)\rightarrow N(y)),\quad (H(y,x):{\mbox{ y x-ren hurrengoa da}}).$$

5. Edozein zenbaki arrunten hurrengoa zeroren desberdina da:

   $$\forall x\forall y(N(x)\wedge H(y,x)\rightarrow \neg B(y,a)),\quad (B(y,x):y=x;a:0).$$

2.2 Sintaxia

definizioa Predikatu-kalkuluaren ${\mathcal {A}}$ alfabetoa sinbolo hauek osatzen dute:

1. Aldagaiak: ${\mathcal {V}}=\{x,y,z,\ldots \}$;
2. Konstanteak: ${\mathcal {C}}=\{a,b,c,\ldots \}$;
3. Predikatuak: ${\mathcal {P}}=\{P,Q,R,\ldots \}$; $P$ predikatu bakoitzak zenbaki arrunt bat darama elkarturik, predikatuak onartzen duen aldagaien edo konstanteen kopurua adierazten duena, hain zuzen; zenbaki horri predikatuaren aritate deituko diogu eta $ar(P)$ idatziko dugu.
4. Lokailu logikoak: $\{\neg ,\wedge ,\vee ,\rightarrow ,\leftrightarrow \}$.
5. Zenbatzaileak : $\{\forall$, $\exists \}$.
6. Sinbolo inpropioak: $\{(,),,\}$ (parentesiak eta komak).

${\mathcal {A}}={\mathcal {V}}\cup {\mathcal {C}}\cup {\mathcal {P}}\cup \{\neg ,\wedge ,\vee ,\rightarrow ,\leftrightarrow \}\cup \{(,),,\}.$

definizioa Aldagaiei eta konstanteei lehen ordenako termino deituko diegu.

definizioa $P$ $n$ aritateko predikatu-sinbolo bat bada eta $t_{1},\ldots ,t_{n}$ terminoak badira, $P(t_{1},\ldots ,t_{n})$ atomo bat edo formula atomiko bat da.

Adibidea Har ditzagun ${\mathcal {V}}=\{x,y,z\}$ aldagaien multzoa, ${\mathcal {C}}=\{a,b\}$ konstanteen multzoa eta ${\mathcal {P}}=\{P,Q,R,S\}$ predikatuen multzoa, $ar(P)=1$, $ar(Q)=3$, $ar(R)=2$, $ar(S)=3$ aritateak barne.

Hona hemen atomo batzuk: $P(x)$, $P(b)$, $Q(x,a,y)$, $Q(x,y,x)$, $R(x,y)$, $S(a,b,b)$.
Honako hauek, ordea, ez dira atomo: $P(x,y)$, $Q(a)$.

definizioa Predikatu-kalkuluan formula ongi eratuak (foe) arau hauei jarraituz eraikiko ditugu:

1. Atomo bat formula ongi eratua da.
2. $A$ eta $B$ formula ongi eratuak badira, $(\neg A)$, $(A\wedge B)$, $(A\vee B)$, $(A\rightarrow B)$ eta $(A\leftrightarrow B)$ ere formula ongi eratuak dira.
3. $A$ formula ongi eratu bat bada eta $x$ aldagai bat bada, $(\forall xA)$ eta $(\exists xA)$ formula ongi eratuak dira.
4. Aurreko hiru arauak kopuru finitu aldiz erabiliz lortzen diren formulak soilik dira formula ongi eratuak.

Adibidea Har ditzagun ${\mathcal {V}}=\{x,y,z\}$ aldagaien multzoa, ${\mathcal {C}}=\{a,b\}$ konstanteen multzoa eta ${\mathcal {P}}=\{P,Q,R\}$ predikatuen multzoa, $ar(P)=1$, $ar(Q)=3$, $ar(R)=2$ aritateak barne.

Hona hemen formula ongi eratu batzuk: $P(x)$, $P(b)$, $Q(x,a,y)$, $R(y,a)$, $(\exists yR(y,a))$, $(\exists xR(y,a))$, $(\forall xP(x))$, $((\neg P(x))\rightarrow Q(x,a,y))$, $(\forall z(((\neg P(x))\rightarrow Q(x,a,y))\wedge (\exists xR(y,a))))$.
Honako hauek, aldiz, ez dira formula ongi eratu: $(\forall aP(x))$, $(\forall P(x,y))$, $(\forall x,yP(x,y))$.

Proposizio-kalkuluan bezala, bi eratan ken ditzakegu parentesi batzuk, nahasteko arriskurik ez dagoenean eta zenbatzaileen eta lokailuen artean hierarkia bat definituz:

• 1. maila: $\neg$, $\forall$, $\exists$.
• 2. maila: $\wedge$, $\vee$.
• 3. maila: $\rightarrow$, $\leftrightarrow$.

Adibideak

1. $(\forall z((P(x)\wedge R(x,z))\rightarrow Q(x,a,y)))$ formula honela idatz dezakegu: $\forall z(P(x)\wedge R(x,z)\rightarrow Q(x,a,y))$.
2. $\forall xP(x)\rightarrow R(x,y)$ formula $((\forall xP(x))\rightarrow R(x,y))$ formula da, eta ez $(\forall x(P(x)\rightarrow R(x,y)))$.
3. $\forall x\forall yR(x,y)\vee P(y)$ formula $((\forall x(\forall yR(x,y)))\vee P(y))$ formula da.

definizioa $A$ formula emanik, $A$ formularen azpiformula $A$ formularen zatia den ondoz ondo eraikitako formula ongi eratu bat da.

Adibidez, $A=\forall xP(x)\rightarrow R(x,y)$ formula emanik, $\forall xP(x)$ eta $R(x,y)$ azpiformulak dira, baina $P(x)\rightarrow R(x,y)$ ez da azpiformula.

definizioa Formula batean, zenbatzaile baten agerpen baten irismena agerpen horrek eragiten duen azpiformula da.

Adibideak

1. $\forall x\exists yR(x,y)$ formulan, $\exists y$ zenbatzailearen irismena $R(x,y)$ azpiformula da, eta $\forall x$ zenbatzailearena $\exists yR(x,y)$.
2. $\forall y(\exists xR(x,y)\vee P(x))$ formulan, $\exists x$ zenbatzailearen irismena $R(x,y)$ azpiformula da, eta $\forall y$ zenbatzailearena $\exists xR(x,y)\vee P(x)$.
3. $\forall y(R(x,y)\rightarrow \forall x\exists yQ(x,a,y))$ formulan, $\exists y$ zenbatzailearen irismena $Q(x,a,y)$ azpiformula da, $\forall x$ zenbatzailearena $\exists yQ(x,a,y)$ azpiformula da, eta $\forall y$ zenbatzailearena $R(x,y)\rightarrow \forall x\exists yQ(x,a,y)$.

definizioa Aldagai baten agerpen bat formula batean lotua da zenbatzaile batekin badago edo aldagaia erabiltzen duen zenbatzaile baten irismenaren barne badago. Agerpena askea da ez bada lotua.

Aldagai bat askea da formula batean gutxienez aldagaiaren agerpen bat askea bada formulan. Aldagai bat lotua da formula batean gutxienez aldagaiaren agerpen bat lotua bada formulan. Ohar gaitezen aldagai bat aldi berean askea eta lotua izan daitekeela.

definizioa Formula bat itxia da ez badauka aldagai askeen agerpenik.

Adibideak

1. $\forall xR(x,y)$.

   Zenbatzaileen agerpenen irismenak azpimarratuko ditugu, eta irismenei eta zenbatzaileek lotzen dituzten aldagaien agerpenei azpiindize bera jarriko diegu:

   $\forall x_{1}{\underline {R(x_{1},y)}}_{1}$. $x$ lotua da; $y$ askea da.

2. $\forall x\exists y(R(x,y)\rightarrow \forall xP(x))$.

   Jakiteko zenbatzaileen agerpen bakoitzak aldagaien zer agerpen lotzen dituen, formularen barrutik kanpora joango gara, formula eraikitzeko bideari jarraituz.

   $\forall x_{3}{\underline {\exists y_{2}{\underline {(R(x_{3},y_{2})\rightarrow \forall x_{1}{\underline {P(x_{1})}}_{1})}}_{2}}}_{3}$. $x$, $y$ lotuak dira eta formula itxia da.

3. $\exists x\forall yR(x,y)\vee \exists zQ(x,a,z)$.

   $\exists x_{2}{\underline {\forall y_{1}{\underline {R(x_{2},y_{1})}}_{1}}}_{2}\vee \exists z_{3}{\underline {Q(x,a,z_{3})}}_{3}$. $x$ askea eta lotua da; $y$, $z$ lotuak dira.

4. $\forall x\exists yR(x,y)\rightarrow \forall xP(x)$.

   $\forall x_{2}{\underline {\exists y_{1}{\underline {R(x_{2},y_{1})}}_{1}}}_{2}\rightarrow \forall x_{3}{\underline {P(x_{3})}}_{3}$. $x$, $y$ lotuak dira eta formula itxia da.

2.3 Semantika

Proposizio-kalkuluan interpretazio bat atomoei egia-balioak esleitzea zen. Predikatu-kalkuluan aldagaiak erabiltzen ditugunez, hori baino zerbait gehiago beharko dugu.

Lehendabizi, kontuan izan behar dugu zer objektu izan daitezkeen aldagaiaren balioak (hots, aldagaiaren definizio-eremua). Esaterako, demagun $Z(x,y)$ formulak “$x$ $y$-ren zatitzailea dela” esan nahi duela. $x$ eta $y$ aldagaiak zenbaki osoz ordezkatzen baditugu, proposizio bat lortuko dugu, egiazkoa edo faltsua izango dena. Baina aldagaiak zuhaitz-izenez ordezkatzen baditugu, ez da horrela gertatzen. Ez du zentzurik “Pagoak haritza zatitzen du” esateak. Dena dela, horrelako eztabaida baztertuko dugu suposatuz $D$ eremu ez-huts bat dagoela, non $D$ eremuaren elementuak aldagaien balioak diren.

Suposatuko dugu $D$ multzo ez-hutsa ez dugula ezagutzen; hau da, saiatuko gara predikatu-logika garatzen edozein $D$ multzo ez-huts erabiliz.

Adibidez, $D$ eremuak bi elementu baditu, elementuei 1 eta 2 deituko diegu; orduan, $D=\{1,2\}$ idatz dezakegu. $P$ 3 aritateko predikatu bat bada, $P(x,y,z)$ adierazpenean $x$, $y$, $z$ aldagaiek 1 eta 2 balioak har ditzakete: $P(1,1,1)$, $P(1,1,2)$, ..., $P(2,2,2)$.

Guztira, $2^{3}=8$ aukera ditugu, 1 eta 2 zenbakiekin osa ditzakegun hirukote guztiak, hain zuzen. Hirukote horien multzoa honela adieraziko dugu:

$D^{3}=\{(1,1,1),(1,1,2),(1,2,1),(1,2,2),(2,1,1),(2,1,2),(2,2,1),(2,2,2)\}$

Antzeko eran, $D^{2}=\{(1,1),(1,2),(2,1),(2,2)\}$ dugu.

$D=\{1,2,3\}$ eremua badugu, $3^{2}=9$ bikoteen multzoa hau izango da:

$D^{2}=\{(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3)\},$

eta $3^{3}=27$ hirukoteen multzoa beste hau:

$D^{3}=\{(1,1,1),(1,1,2),(1,1,3),\ldots ,(3,3,3)\}.$

Oro har, $D$ eremuak $m$ elementu baditu, $D^{n}$ multzoak $m^{n}$ $n$-kote izango ditu.

Orain, $P(x,y,z)$ formulatik $x$, $y$, $z$ aldagaiak $D^{3}$ multzoaren $(d_{1},d_{2},d_{3})$ hirukotearen balioez ordezkatzean lortzen den proposizioa egiazkoa edo faltsua izango da (baina ez biak). Hori $D^{3}$ multzoaren hirukote bakoitzarekin gertatuko da; beraz, 3 aritateko $P$ predikatuari $\varphi$ funtzio bat esleitu ahal izango diogu; funtzio horrek $D^{3}$ multzoaren hirukote bakoitzari $E$ edo $F$ balioa esleituko dio, hau da, $\varphi :D^{3}\longrightarrow \{E,F\}$ funtzio bat izango dugu.

Adibidez, $D=\{1,2\}$ bada, demagun $P(1,1,1)$, $P(1,2,1)$, $P(1,2,2)$ proposizioei $E$ balioa esleitzen diegula, eta gainerakoei $F$ balioa. Orduan, $P$ predikatuari esleitzen diogun funtzioa hau da:

${\begin{array}{llll}\varphi :&D^{3}&\rightarrow &\{E,F\}\\&111&\mapsto &E\\&112&\mapsto &F\\&121&\mapsto &E\\&122&\mapsto &E\\&211&\mapsto &F\\&212&\mapsto &F\\&221&\mapsto &F\\&222&\mapsto &F\end{array}}$

$D^{3}$ zutabean $111,112,...$ idatzi dugu, $(1,1,1),(1,1,2),...$ idatzi beharrean, idazkera sinplifikatzeko asmoz. Horrela egingo dugu nahasteko arriskurik ez dagoenean.

Funtzio horri 3 aritateko funtzio logiko deituko diogu, eta honela adieraziko dugu:

${\begin{array}{cc}D^{3}&\varphi \\\hline 111&E\\112&F\\121&E\\122&E\\211&F\\212&F\\221&F\\222&F\end{array}}$

$D=\{1,2\}$ eremuaren kasuan 3 aritateko $2^{8}=256$ funtzio logiko daude $P$ predikatuari esleitu ahal izateko:

${\begin{array}{cccccc}D^{3}&\varphi _{1}&\varphi _{2}&\varphi _{3}&\ldots &\varphi _{256}\\\hline 111&E&E&E&\ldots &F\\112&E&E&E&\ldots &F\\121&E&E&E&\ldots &F\\122&E&E&E&\ldots &F\\211&E&E&E&\ldots &F\\212&E&E&E&\ldots &F\\221&E&E&F&\ldots &F\\222&E&F&E&\ldots &F\end{array}}$

Antzera, $P$ $n$ aritateko predikatu bakoitzari $n$ aritateko funtzio logiko bat esleituko diogu, $\varphi :D^{n}\longrightarrow \{E,F\}$.

$D$ eremuak $m$ elementu baditu, $D^{n}$ multzoak $m^{n}$ elementu izango ditu; eta, beraz, $n$ aritateko $2^{(m^{n})}$ funtzio logiko daude.

Adibideak.

1. Izan bedi $D=\{1,2\}$ eremua.

   1 aritateko funtzio logikoak:

   ${\begin{array}{ccccc}D&\varphi _{1}&\varphi _{2}&\varphi _{3}&\varphi _{4}\\\hline 1&E&E&F&F\\2&E&F&E&F\end{array}}$

   2 aritateko funtzio logikoak:

   ${\begin{array}{cccccc}D^{2}&\varphi _{1}&\varphi _{2}&\varphi _{3}&\ldots &\varphi _{16}\\\hline 11&E&E&E&\ldots &F\\12&E&E&E&\ldots &F\\21&E&E&F&\ldots &F\\22&E&F&E&\ldots &F\end{array}}$

2. Izan bedi $D=\{1,2,3\}$ eremua.

   2 aritateko funtzio logikoak:

   ${\begin{array}{ccccc}D^{2}&\varphi _{1}&\varphi _{2}&\ldots &\varphi _{512}\\\hline 11&E&E&\ldots &F\\12&E&E&\ldots &F\\13&E&E&\ldots &F\\21&E&E&\ldots &F\\22&E&E&\ldots &F\\23&E&E&\ldots &F\\31&E&E&\ldots &F\\32&E&E&\ldots &F\\33&E&F&\ldots &F\end{array}}$

Definizioa. $A$ formula ongi eratu baten interpretazio bat emateko $D$ eremu ez-huts bat hartuko dugu eta $A$ formulan agertzen diren konstanteei, aldagai askeei eta predikatu-sinboloei balioak esleituko dizkiegu honela:

1. konstante bakoitzari $D$ eremuaren elementu bat esleituko diogu;
2. aldagai aske bakoitzari $D$ eremuaren elementu bat esleituko diogu;
3. $n$ aritateko predikatu-sinbolo bakoitzari $n$ aritateko funtzio logiko bat esleituko diogu.

Batzuetan, $D$ eremua azpimarratzeko, $D$ eremuaren gaineko interpretazioaz hitz egingo dugu.

Adibidea. $A=P(x)\wedge \forall xQ(x,a)$.

Konstanteak: $a$.

Aldagai askeak: $x$.

Predikatu-sinboloak: $P$, $Q$; $ar(P)=1$, $ar(Q)=2$.

Interpretazio batzuk:

1. ${\begin{array}{cccc}D=\{1,2\}&\quad {\begin{array}{cccc}x&a&P&Q\\\hline 1&2&\alpha &\beta \end{array}}&\quad {\begin{array}{cc}D&\alpha \\\hline 1&E\\2&F\end{array}}&\quad {\begin{array}{cc}D^{2}&\beta \\\hline 11&E\\12&F\\21&F\\22&E\end{array}}\end{array}}$
2. ${\begin{array}{cccc}D=\{1,2\}&\quad {\begin{array}{cccc}x&a&P&Q\\\hline 2&2&\alpha &\beta \end{array}}&\quad {\begin{array}{cc}D&\alpha \\\hline 1&E\\2&E\end{array}}&\quad {\begin{array}{cc}D^{2}&\beta \\\hline 11&E\\12&F\\21&F\\22&E\end{array}}\end{array}}$

Definizioa. $G$ formula ongi eratu bat eta $G$ formularen $D$ eremuaren gaineko $I$ interpretazio bat emanik, $G$ formularen egia-balioa $I$ interpretaziorako honela kalkulatuko dugu:

1. $G=(\neg A)$, $G=(A\wedge B)$, $G=(A\vee B)$, $G=(A\rightarrow B)$ edo $G=(A\leftrightarrow B)$ bada, egia-balioa proposizio-kalkuluan bezala kalkulatuko dugu.

2. $G=(\forall xA)$ edo $G=(\exists xA)$ bada, $A$ formularen egia-balioa kalkulatuko dugu $x$ aldagaiak $A$ formulan duen agerpen aske bakoitza $D$ eremuaren elementu guztiez ordezkatuz; horrela, $x$ aldagaiaren funtzio logiko bat lortuko dugu:
   ${\begin{array}{cc}x&A^{*}\\\hline 1&E\\2&F\\\vdots &\vdots \end{array}}$
   $V(\forall xA,I)=E$ da funtzio logiko horrek $E$ balioa hartzen badu $D$ eremuaren elementu guztietarako, hau da, $A^{*}$ zutabean dena $E$ bada. Bestela, hau da, $A^{*}$ zutabean gutxienez $F$ bat badago, $V(\forall xA,I)=F$.

   $V(\exists xA,I)=E$ da funtzio logiko horrek $E$ balioa hartzen badu gutxienez $D$ eremuaren elementu baterako, hau da, $A^{*}$ zutabean gutxienez $E$ bat badago. Bestela, hau da, $A^{*}$ zutabean dena $F$ bada, $V(\exists xA,I)=F$.

Adibideak.

1. $A=\forall xP(x)$

   $A$ formularen $I$ interpretazio bat emateko $D$ eremu bat hartuko dugu eta $P$ predikatu-sinboloari 1 aritateko $\alpha$ funtzio logiko bat esleituko diogu. Bi elementuko eremu baten gainean 1 aritateko lau funtzio logiko daude. Konstanterik eta aldagai askerik ez dagoenez, eta 1 aritateko predikatu bakarra dagoenez, guztira lau interpretazio izango ditugu (bi elementuko eremu baten gainean). Hona hemen horietako bat:
   ${\begin{array}{cccc}I:&D=\{1,2\}&\quad {\begin{array}{c}P\\\hline \alpha \end{array}}&\quad {\begin{array}{cc}D&\alpha \\\hline 1&E\\2&F\end{array}}\end{array}}$
   $V(A,I)$ kalkulatzeko honela jokatuko dugu:

   1. Funtzio logikoa formulan ordezkatu: $A^{*}=\forall x\alpha (x)$.

   2. Formula $\forall x$ (zenbatzaile) motakoa denez, zenbatzailearen ($\alpha (x)$) irismenaren egia-balioa kalkulatuko dugu $x$ aldagaiak $\alpha (x)$ adierazpenean duen agerpen aske bakoitza $D$ eremuaren elementu bakoitzaz ordezkatuz:
      ${\begin{array}{cc}x\quad &\alpha (x)\\\hline 1\quad &\alpha (1)=E\\2\quad &\alpha (2)=F\\\end{array}}$
      Taulan $F$ bat agertzen denez, $\forall x\alpha (x)=F$ da.

   Hau da, $V(A,I)=F$ da.

2. $A=\exists x\neg P(x)$

   Bi elementuko eremu baten gainean lau interpretazio daude. Har dezagun $A$ formularen interpretazio hau:
   ${\begin{array}{cccc}I:&D=\{1,2\}&\quad {\begin{array}{c}P\\\hline \alpha \end{array}}&\quad {\begin{array}{cc}D&\alpha \\\hline 1&F\\2&E\end{array}}\end{array}}$

   1. Funtzio logikoa formulan ordezkatu: $A^{*}=\exists x\neg \alpha (x)$.

   2. Formula $\exists x$ (zenbatzaile) motakoa denez, zenbatzailearen ($\neg \alpha (x)$) irismenaren egia-balioa kalkulatuko dugu $x$ aldagaiak $\neg \alpha (x)$ adierazpenean duen agerpen aske bakoitza $D$ eremuaren elementu bakoitzaz ordezkatuz. Bestalde, $\neg \alpha (x)$ adierazpena $\neg$ motakoa da, beraz, proposizio-kalkuluan bezala kalkulatuko dugu:
      ${\begin{array}{ccc}x\quad &\alpha (x)&\neg \alpha (x)\\\hline 1\quad &\alpha (1)=F\quad &E\\2\quad &\alpha (2)=E\quad &F\\\end{array}}$
      Taulan $E$ bat agertzen denez, $\exists x\neg \alpha (x)=E$ da.

   Beraz, $V(A,I)=E$ da.

3. $A=P(x)\vee \forall y(P(y)\rightarrow Q(a))$

   $2\cdot 2\cdot 4\cdot 4=64$ interpretazio daude bi elementuko eremu baten gainean (aldagai aske bat, konstante bat eta bi predikatu-sinbolo). Interpretazio hau hartuko dugu:
   ${\begin{array}{ccccc}I:&D=\{1,2\}&\quad {\begin{array}{cccc}x&a&P&Q\\\hline 2&1&\alpha &\beta \end{array}}&\quad {\begin{array}{cc}D&\alpha \\\hline 1&E\\2&F\end{array}}&\quad {\begin{array}{cc}D&\beta \\\hline 1&F\\2&F\end{array}}\end{array}}$

   1. $A^{*}=\alpha (2)\vee \forall y(\alpha (y)\rightarrow \beta (1))=F\vee \forall y(\alpha (y)\rightarrow F)$.

   2. $\forall y(\alpha (y)\rightarrow F)$ kalkulatu behar dugu:
      ${\begin{array}{ccc}y\quad &\alpha (y)&\alpha (y)\rightarrow F\\\hline 1\quad &\alpha (1)=E\quad &F\\2\quad &\alpha (2)=F\quad &E\\\end{array}}$
      $\forall y$ motakoa denez, eta taulan $F$ bat agertzen denez, $\forall y(\alpha (y)\rightarrow F)=F$ da.

      Eta, hortik, $A^{*}=F\vee F=F$ da.

   Beraz, $V(A,I)=F$ da.

4. $A=\forall x\exists yP(x,y)$

   $D=\{1,2,3\}$ eremuaren gainean $2^{9}=512$ interpretazio daude; hau hartuko dugu:
   ${\begin{array}{cccc}I:&D=\{1,2,3\}&\quad {\begin{array}{c}P\\\hline \alpha \end{array}}&\quad {\begin{array}{cc}D^{2}&\alpha \\\hline 11&E\\12&E\\13&F\\21&F\\22&E\\23&E\\31&F\\32&F\\33&E\end{array}}\end{array}}$

   1. $A^{*}=\forall x\exists y\alpha (x,y)$.

   2. $\forall x\exists y\alpha (x,y)$ kalkulatu behar dugu; hona hemen dagokion taula:
      ${\begin{array}{ccc}x\quad &\exists y\alpha (x,y)\\\hline 1\quad &\exists y\alpha (1,y)\\2\quad &\exists y\alpha (2,y)\\3\quad &\exists y\alpha (3,y)\\\end{array}}$
      $\exists y\alpha (1,y)$ adierazpena $\exists y$ motakoa denez, dagokion taula eraiki beharko dugu; eta berdin $\exists y\alpha (2,y)$ eta $\exists y\alpha (3,y)$ adierazpenekin. Beraz, taula baten barnean hiru taula izango ditugu; honela:
      ${\begin{array}{ccc}x\quad &&\exists y\alpha (x,y)\\\hline 1\quad &\left.{\begin{array}{ccc}y\quad &\alpha (1,y)\\\hline 1\quad &\alpha (1,1)=E\\2\quad &\alpha (1,2)=E\\3\quad &\alpha (1,3)=F\\\end{array}}\right\}\quad &\exists y\alpha (1,y)=E\\2\quad &\left.{\begin{array}{ccc}y\quad &\alpha (2,y)\\\hline 1\quad &\alpha (2,1)=F\\2\quad &\alpha (2,2)=E\\3\quad &\alpha (2,3)=E\\\end{array}}\right\}\quad &\exists y\alpha (2,y)=E\\3\quad &\left.{\begin{array}{ccc}y\quad &\alpha (3,y)\\\hline 1\quad &\alpha (3,1)=F\\2\quad &\alpha (3,2)=F\\3\quad &\alpha (3,3)=E\\\end{array}}\right\}\quad &\exists y\alpha (3,y)=E\end{array}}$
      $\forall x$ motakoa denez, eta (eskuineko) taulan dena $E$ denez, $\forall x\exists y\alpha (x,y)=E$ da.

   Hortaz, $V(A,I)=E$ da.

2.4 Baliozkotasuna. Inkontsistentzia. Ondorio logikoak

Baliozkotasunaren, kontsistentziaren eta ondorio logikoaren definizioek bere horretan diraute, proposizio-kalkuluan bezala.

Definizioa. $A$ formula bat tautologia edo baliozkoa da $A$ formularen interpretazio guztietarako egiazkoa bada. $A$ formula baliogabea da ez bada baliozkoa.

$A$ formula bat kontsistentea da gutxienez $A$ formularen interpretazio baterako egiazkoa bada. $A$ formula bat inkontsistentea edo kontraesana da ez bada kontsistentea.

Definizioa. $B$ formula bat $A_{1},\ldots ,A_{n}$ formulen ondorio logikoa dela edo formuletatik logikoki deduzitzen dela esango dugu edozein $I$ interpretaziotarako, non $V(A_{1},I)=\cdots =V(A_{n},I)=E$ den, $V(B,I)=E$ ere bada. Eta honela adieraziko dugu:

$A_{1},\ldots ,A_{n}\Rightarrow B\;{\mbox{ edo }}\;A_{1},\ldots ,A_{n}\models B.$

Definizioa. $P_{1},\ldots ,P_{n}/{\dot {..}}C$ argumentu bat baliozkoa da $C$ ondorioa premisen ondorio logikoa bada. Hau da, edozein $I$ interpretaziotarako, non $V(P_{1},I)=\cdots =V(P_{n},I)=E$ den, $V(C,I)=E$ ere bada. Argumentua baliogabea da ez bada baliozko argumentua.

Teorema hauek ere betetzen dira:

Teorema.

1. $B$ formula $A_{1},\ldots ,A_{n}$ formulen ondorio logikoa da baldin eta soilik baldin $\models (A_{1}\wedge \cdots \wedge A_{n}\rightarrow B)$ bada.
2. $B$ formula $A_{1},\ldots ,A_{n}$ formulen ondorio logikoa da baldin eta soilik baldin $A_{1}\wedge \cdots \wedge A_{n}\wedge \neg B$ formula inkontsistentea bada.

Hala eta guztiz ere, predikatu-kalkuluaren egoera eta proposizio-kalkuluaren egoera zeharo desberdinak dira. Azken horretan edozein formularen egia-taula eraikitzea posiblea den bitartean, predikatu-kalkuluan ez da hori beti posible.

Predikatu-kalkuluan, eremua finitua denean, egia-taula eraiki dezakegu, teorikoki bada ere. Baina formula bat baliozkoa izateko, edozein eremuren gaineko edozein interpretaziotarako egiazkoa izan behar du, eremu infinituak barne. Berdin formula inkontsistenteekin, baliogabeekin...

Dena dela, formula bat baliozkoa edo kontsistentea den ala ez arrazoi dezakegu egia-taula lerroz lerro eraiki gabe.

Adibideak.

1. Ikus dezagun $A=\exists x(P(x)\wedge \neg P(x))$ formula inkontsistentea dela.

   Izan bitez $D$ edozein eremu ez-huts eta $I$ edozein interpretazio eremu horren gainean.
   ${\begin{array}{cccc}I:&\quad D&\quad {\begin{array}{c}P\\\hline \alpha \end{array}}&\quad {\begin{array}{cc}D&\alpha \\\hline 1&?\\\vdots &\vdots \end{array}}\end{array}}$

   1. $A^{*}=\exists x(\alpha (x)\wedge \neg \alpha (x))$.

   2. $\exists x(\alpha (x)\wedge \neg \alpha (x))$ kalkulatu behar dugu.
      ${\begin{array}{cccc}x\quad &\alpha (x)\quad &\neg \alpha (x)\quad &\alpha (x)\wedge \neg \alpha (x)\\\hline 1\quad &\alpha (1)=?\quad &\neg ?\quad &?\wedge \neg ?=F\\\vdots \quad &\vdots \quad &\vdots \quad &\vdots \end{array}}$
      $\exists x$ motakoa denez eta taulan dena $F$ denez, $\exists x(\alpha (x)\wedge \neg \alpha (x))=F$ izango da.

   Beraz, $V(A,I)=F$ da, non $I$ edozein interpretazio eta $D$ edozein eremu diren. Hortaz, $A$ formula inkontsistentea da.

2. Ikus dezagun $A=P(y)\rightarrow \forall xP(x)$ formula baliogabea dela.

   Horretarako nahikoa da $V(A,I)=F$ betetzen duen $I$ interpretazio bat bilatzea.

   Proba dezagun $D=\{1\}$ eremuarekin. ${\begin{array}{cccc}I:&\quad D=\{1\}&\quad {\begin{array}{cc}y&P\\\hline 1&\alpha \end{array}}&\quad {\begin{array}{cc}D&\alpha \\\hline 1&?\\\end{array}}\end{array}}$

   1. $A^{*}=\alpha (1)\rightarrow \forall x\alpha (x)$.

   2. $A^{*}=F$ izateko, $\alpha (1)=E$ eta $\forall x\alpha (x)=F$ bete behar dira. Orduan, 1 aritateko funtzio logiko hau daukagu:
      ${\begin{array}{cc}D&\alpha \\\hline 1&E\\\end{array}}$
      Orduan, taula hau izango genuke:
      ${\begin{array}{cc}x\quad &\alpha (x)\\\hline 1\quad &\alpha (1)=E\\\end{array}}$
      Taulan dena $E$ denez, $\forall x\alpha (x)=E$ izango da.

   Beraz, $D=\{1\}$ eremurako ezin izan dugu aurkitu $A$ formula faltsutzen duen interpretaziorik ($A$ formula kontsistentea da).

   Proba dezagun $D=\{1,2\}$ eremuarekin.
   ${\begin{array}{cccc}I:&\quad D=\{1,2\}&\quad {\begin{array}{cc}y&P\\\hline d&\alpha \end{array}}&\quad {\begin{array}{cc}D&\alpha \\\hline 1&?\\2&?\end{array}}\end{array}}$ ($d$ $D$ eremuaren elementu bat da)

   1. $A^{*}=\alpha (d)\rightarrow \forall x\alpha (x)$.

   2. $A^{*}=F$ izateko, $\alpha (d)=E$ eta $\forall x\alpha (x)=F$ bete behar dira. Biak bete daitezen:
      ${\begin{array}{ccc}x\quad &\alpha (x)&\\\hline 1\quad &\alpha (1)&F{\mbox{ bat eta }}E{\mbox{ bat}}\\2\quad &\alpha (2)&\end{array}}$

   Har dezagun, adibidez, interpretazio hau:
   ${\begin{array}{cccc}I:&\quad D=\{1,2\}&\quad {\begin{array}{cc}y&P\\\hline 1&\alpha \end{array}}&\quad {\begin{array}{cc}D&\alpha \\\hline 1&E\\2&F\end{array}}\end{array}}$
   Egiaztapena:

   1. $A^{*}=\alpha (d)\rightarrow \forall x\alpha (x)$.

   2. Interpretazio honetarako $\alpha (1)=E$ eta $\forall x\alpha (x)=F$ dauzkagu, taula honetan $F$ bat dagoelako: ${\begin{array}{cc}x\quad &\alpha (x)\\\hline 1\quad &\alpha (1)=E\\2\quad &\alpha (2)=F\end{array}}$
      Beraz,$A^{*}=E\rightarrow F=F$ da.

   Ondorioz, $V(A,I)=F$ da eta $A$ formula baliogabea da.

3. Ikus dezagun $B=Q(a)$ formula $A_{1}=\forall x(P(x)\rightarrow Q(x))$ eta $A_{2}=P(a)$ formulen ondorio logikoa dela.

   Horretarako frogatu beharko dugu edozein $I$ interpretaziotarako $V(A_{1},I)=V(A_{2},I)=E$ bada, $V(B,I)=E$ ere izango dela.

   Izan bitez $D$ edozein eremu eta $I$ edozein interpretazio $D$ eremuaren gainean, non $V(A_{1},I)=V(A_{2},I)=E$ den.
   ${\begin{array}{ccccc}I:&D&\quad {\begin{array}{ccc}a&P&Q\\\hline d&\alpha &\beta \end{array}}&\quad {\begin{array}{cc}D&\alpha \\\hline 1&?\\\vdots &\vdots \end{array}}&\quad {\begin{array}{cc}D&\beta \\\hline 1&?\\\vdots &\vdots \end{array}}\end{array}}$
   $A_{1}^{*}=\forall x(\alpha (x)\rightarrow \beta (x))$.

   $A_{2}^{*}=\alpha (d)$.

   $A_{2}^{*}=E$ izateko $\alpha (d)=E$ bete behar da; beraz, $\alpha$ funtzioaren taulan, errenkada bat honelakoa izango da:
   $\quad \quad \underbrace {d\quad \quad \alpha (d)=E} _{\mbox{errenkada}}$

   $A_{1}^{*}=E$ denez, $\alpha (x)\rightarrow \beta (x)$ adierazpenaren taularen errenkada guztietan $E$ agertuko da. Horien artean, $d$ duen errenkada:
   $\quad \quad \underbrace {d\quad \quad \alpha (d)\rightarrow \beta (d)=E} _{\mbox{errenkada}}$

   $B^{*}=\beta (d)$.

   $\alpha (d)\rightarrow \beta (d)=E$ eta $\alpha (d)=E$ direnez, $\beta (d)=E$ bete beharko da.

   Hortaz, $V(B,I)=E$ eta $B$ formula $A_{1}$ eta $A_{2}$ formulen ondorio logikoa da.

4. Ikus dezagun argumentu hau baliogabea dela:
   ${\begin{array}{l}A_{1}=\forall x(P(x)\rightarrow \neg Q(x))\\A_{2}=\exists x(R(x)\wedge Q(x))\\\hline B=\forall x(P(x)\rightarrow R(x))\end{array}}$
   Argumentu bat baliogabea dela frogatzeko nahikoa da frogatzea ondorioa ez dela premisen ondorio logikoa. Hau da, nahikoa da premisak egiaztatzen dituen eta ondorioa faltsutzen duen interpretazio bat aurkitzea.

   Proba dezagun $D=\{1\}$ eremuarekin.
   ${\begin{array}{cccccc}I:&D&\quad {\begin{array}{ccc}P&Q&R\\\hline \alpha &\beta &\gamma \end{array}}&\quad {\begin{array}{cc}D&\alpha \\\hline 1&?\\\end{array}}&\quad {\begin{array}{cc}D&\beta \\\hline 1&?\\\end{array}}&\quad {\begin{array}{cc}D&\gamma \\\hline 1&?\\\end{array}}\end{array}}$

   $A_{1}^{*}=\forall x(\alpha (x)\rightarrow \neg \beta (x))$.

   $A_{1}^{*}=E$ izateko, ${\begin{array}{cc}x\quad &\alpha (x)\rightarrow \neg \beta (x)\\\hline 1\quad &\alpha (1)\rightarrow \neg \beta (1)=E\end{array}}$ bete behar da.

   $A_{2}^{*}=\exists x(\gamma (x)\wedge \beta (x))$.

   $A_{2}^{*}=E$ izateko, ${\begin{array}{cc}x\quad &\gamma (x)\wedge \beta (x)\\\hline 1\quad &\gamma (1)\wedge \beta (1)=E\end{array}}$ bete behar da.

   Hortaz, azkenekotik, $\gamma (1)=E$ eta $\beta (1)=E$ dira. $\beta (1)=E$ denez, $\neg \beta (1)=F$ da eta, $\alpha (1)\rightarrow \neg \beta (1)=E$ bete behar denez, $\alpha (1)=F$ aterako dugu. Eta $B^{*}$ adierazpenerako, taula hau daukagu:
   ${\begin{array}{cc}x\quad &\alpha (x)\rightarrow \gamma (x)\\\hline 1\quad &\alpha (1)\rightarrow \gamma (1)=E\end{array}}$
   eta, hortaz, $B^{*}=E$ da.

   Ondorioz, $D=\{1\}$ eremuarekin ezin izan dugu aurkitu $A_{1}$ eta $A_{2}$ egiaztatu eta $B$ faltsutzen dituen interpretaziorik.

   Proba dezagun $D=\{1,2\}$ eremuarekin.

   ${\begin{array}{cccccc}I:&D&\quad {\begin{array}{ccc}P&Q&R\\\hline \alpha &\beta &\gamma \end{array}}&\quad {\begin{array}{cc}D&\alpha \\\hline 1&?\\2&?\\\end{array}}&\quad {\begin{array}{cc}D&\beta \\\hline 1&?\\2&?\\\end{array}}&\quad {\begin{array}{cc}D&\gamma \\\hline 1&?\\2&?\\\end{array}}\end{array}}$

   $A_{1}^{*}=\forall x(\alpha (x)\rightarrow \neg \beta (x))$.

   $A_{1}^{*}=E$ izateko,
   ${\begin{array}{cc}x\quad &\alpha (x)\rightarrow \neg \beta (x)\\\hline 1\quad &\alpha (1)\rightarrow \neg \beta (1)=E\\2\quad &\alpha (2)\rightarrow \neg \beta (2)=E\end{array}}\;{\mbox{ bete behar da.}}\quad {\mbox{ (tabla1)}}$

   $A_{2}^{*}=\exists x(\gamma (x)\wedge \beta (x))$.

   $A_{2}^{*}=E$ izateko,
   ${\begin{array}{cc}x\quad &\gamma (x)\wedge \beta (x)\\\hline 1\quad &\gamma (1)\wedge \beta (1)\\2\quad &\gamma (2)\wedge \beta (2)\end{array}}\;{\mbox{ batek }}E{\mbox{ izan behar du.}}\quad {\mbox{ (tabla2)}}$

   $B^{*}=\forall x(\alpha (x)\rightarrow \gamma (x))$.

   $B^{*}=F$ izateko, ${\begin{array}{cc}x\quad &\alpha (x)\rightarrow \gamma (x)\\\hline 1\quad &\alpha (1)\rightarrow \gamma (1)\\2\quad &\alpha (2)\rightarrow \gamma (2)\end{array}}\;{\mbox{ batek }}F{\mbox{ izan behar du.}}\quad {\mbox{ (tabla3)}}$

   ([tabla2]) betetzeko, nahikoa da $\gamma (1)=\beta (1)=E$ betetzea ($\neg \beta (1)=F$). Orduan, $\alpha (1)\rightarrow \neg \beta (1)=E$ izan behar denez, $\alpha (1)=F$ aterako dugu. Eta hortik $\alpha (1)\rightarrow \gamma (1)=E$ daukagu.

   ([tabla3]) betetzeko, $\alpha (2)\rightarrow \gamma (2)=F$ bete behar da, hau da, $\alpha (2)=E$ eta $\gamma (2)=F$.

   Hortaz, ([tabla1]) betetzeko, $\alpha (2)=E$ eta $\alpha (2)\rightarrow \neg \beta (2)=E$ badira, $\neg \beta (2)=E$ eta $\beta (2)=F$ izango dira.

   Laburbilduz, hona hemen $A_{1}$ eta $A_{2}$ egiaztatu eta $B$ faltsutzen dituen interpretazio bat:
   ${\begin{array}{cccccc}I:&D&\quad {\begin{array}{ccc}P&Q&R\\\hline \alpha &\beta &\gamma \end{array}}&\quad {\begin{array}{cc}D&\alpha \\\hline 1&F\\2&E\\\end{array}}&\quad {\begin{array}{cc}D&\beta \\\hline 1&E\\2&F\\\end{array}}&\quad {\begin{array}{cc}D&\gamma \\\hline 1&E\\2&F\\\end{array}}\end{array}}$

   Egiaztapena:

   ${\begin{array}{ll}A_{1}^{*}=\forall x(\alpha (x)\rightarrow \neg \beta (x))&\quad {\begin{array}{ccccc}x\quad &\alpha (x)\quad &\beta (x)\quad &\neg \beta (x)\quad &\alpha (x)\rightarrow \neg \beta (x))\\\hline 1\quad &F\quad &E\quad &F\quad &E\\2\quad &E\quad &F\quad &E\quad &E\end{array}}\end{array}}$

   ${\begin{array}{ll}A_{2}^{*}=\exists x(\gamma (x)\wedge \beta (x))&\quad {\begin{array}{cccc}x\quad &\gamma (x)\quad &\beta (x)\quad &\gamma (x)\wedge \beta (x)\\\hline 1\quad &E\quad &E\quad &E\\2\quad &F\quad &F\quad &F\end{array}}\end{array}}$

   ${\begin{array}{ll}B^{*}=\forall x(\alpha (x)\rightarrow \gamma (x))&\quad {\begin{array}{cccc}x\quad &\alpha (x)\quad &\gamma (x)\quad &\alpha (x)\rightarrow \gamma (x)\\\hline 1\quad &F\quad &E\quad &E\\2\quad &E\quad &F\quad &F\end{array}}\end{array}}$

   Beraz, $V(A_{1},I)=V(A_{2},I)=E$ eta $V(B,I)=F$ betetzen dira. Eta argumentua baliogabea da.

2.5 Baliokidetza logikoak

Definizioa. ${\textstyle A}$ eta ${\textstyle B}$ bi formula ongi eratuak logikoki baliokideak dira (${\textstyle A\equiv B}$) egia-balio berberak badituzte interpretazio guztietarako, ${\textstyle V(A,I)=V(B,I)}$.

Ondorioak.

1. Proposizio-kalkuluaren baliokidetza logikoek bere horretan diraute predikatu-kalkuluan.
2. ${\textstyle A\equiv B}$ da baldin eta soilik baldin ${\textstyle \models (A\leftrightarrow B)}$ bada.

Horietaz gain, predikatu-kalkuluan baliokidetza gehiago dauzkagu.

Idazkera.

• ${\textstyle A[x]}$, ${\textstyle B[x]}$: ${\textstyle x}$ aldagai asketzat duten formulak dira.

  Adibideak: ${\textstyle A[x]=P(x)}$, ${\textstyle A[x]=\forall y(P(x)\wedge Q(y)\rightarrow \exists xR(x,x))}$, ${\textstyle A[x]=P(x)\rightarrow \forall yP(y)}$, etab.

• ${\textstyle J}$: ${\textstyle x}$ aldagai asketzat ez duen formula da.

  Adibideak: ${\textstyle J=\forall yP(y)}$, ${\textstyle J=\forall xP(x)\rightarrow Q(y)}$, etab.

• ${\textstyle A^{*}[x]}$, ${\textstyle J^{*}}$: ${\textstyle I}$ interpretazio bat ${\textstyle A[x]}$, ${\textstyle J}$ formuletan ordezkatzean lortzen diren adierazpenak dira.

Zenbatzaileen baliokidetzak.

1. ${\textstyle \neg \forall xA[x]\equiv \exists x\neg A[x]}$.

2. ${\textstyle \forall x\neg A[x]\equiv \neg \exists xA[x]}$.

3. ${\textstyle \forall xA[x]\wedge \forall xB[x]\equiv \forall x(A[x]\wedge B[x])}$, ${\textstyle \forall }$ zenbatzailea banakorra da ${\textstyle \wedge }$ lokailuarekiko.

4. ${\textstyle \exists xA[x]\vee \exists xB[x]\equiv \exists x(A[x]\vee B[x])}$, ${\textstyle \exists }$ zenbatzailea banakorra da ${\textstyle \vee }$ lokailuarekiko.

5. 1. ${\textstyle \forall xA[x]\vee J\equiv \forall x(A[x]\vee J)}$.

   2. ${\textstyle \exists xA[x]\vee J\equiv \exists x(A[x]\vee J)}$.

6. 1. ${\textstyle \forall xA[x]\wedge J\equiv \forall x(A[x]\wedge J)}$.

   2. ${\textstyle \exists xA[x]\wedge J\equiv \exists x(A[x]\wedge J)}$.

Ez dira baliokideak.

N1

${\textstyle \forall xA[x]\vee \forall xB[x]\not \equiv \forall x(A[x]\vee B[x])}$, ${\textstyle \forall }$ zenbatzailea ez da banakorra ${\textstyle \vee }$ lokailuarekiko.

N2

${\textstyle \exists xA[x]\wedge \exists xB[x]\not \equiv \exists x(A[x]\wedge B[x])}$, ${\textstyle \exists }$ zenbatzailea ez da banakorra ${\textstyle \wedge }$ lokailuarekiko.

Froga.

1. ${\textstyle G=\neg \forall xA[x]\equiv \exists x\neg A[x]=H}$ dela frogatzeko ikusi behar dugu edozein ${\textstyle I}$ interpretaziotarako ${\textstyle V(G,I)=V(H,I)}$ betetzen dela.

   Izan bitez ${\textstyle D}$ edozein eremu eta ${\textstyle I}$ edozein interpretazio ${\textstyle D}$ eremuaren gainean.

   ${\textstyle I}$ interpretazioa ${\textstyle G}$ eta ${\textstyle H}$ formuletan ordezkatzean, ${\textstyle G^{*}=\neg \forall xA^{*}[x]}$ eta ${\textstyle H^{*}=\exists x\neg A^{*}[x]}$ adierazpenak lortuko ditugu, hurrenez hurren.

   Bi aukerak ditugu: a) ${\textstyle V(G,I)=E}$. b) ${\textstyle V(G,I)=F}$.

   a) ${\textstyle V(G,I)=E}$ bada, ${\textstyle G^{*}=\neg \forall xA^{*}[x]=E}$ izango da; orduan, ${\textstyle \forall xA^{*}[x]=F}$ izango da. Beraz, ${\textstyle A^{*}[x]}$ adierazpenaren taulan honelako errenkada bat egongo da: ${\underline {\overline {d\quad \quad A^{*}[d]=F}}}$

   ${\textstyle \neg A^{*}[x]}$ adierazpenaren errenkada hori honelakoa izango da: ${\underline {\overline {d\quad \quad \neg A^{*}[d]=E}}}$. Beraz, ${\textstyle H^{*}=\exists x\neg A^{*}[x]=E}$ beteko da.

   Hortaz, ${\textstyle V(H,I)=E=V(G,I)}$ dugu.

   b) ${\textstyle V(G,I)=F}$ bada, ${\textstyle G^{*}=\neg \forall xA^{*}[x]=F}$ izango da; orduan, ${\textstyle \forall xA^{*}[x]=E}$ izango da. Beraz, ${\textstyle A^{*}[x]}$ adierazpenaren taulan dena da ${\textstyle E}$.

   ${\textstyle A^{*}[x]}$ adierazpenaren taulan dena ${\textstyle E}$ bada, ${\textstyle \neg A^{*}[x]}$ adierazpenaren taulan dena ${\textstyle F}$ izango da. Beraz, ${\textstyle H^{*}=\exists x\neg A^{*}[x]=F}$ da.

   Hortaz, ${\textstyle V(H,I)=F=V(G,I)}$ da.

   Bi kasuetan, ${\textstyle V(G,I)=V(H,I)}$ dugu, hau da, ${\textstyle G\equiv H}$.

2. ${\textstyle G=\forall x\neg A[x]\equiv \neg \exists xA[x]=H}$ dela frogatzeko baliokidetasun logikoaren definizioa erabil dezakegu, aurrekoan bezala, eta frogatu edozein ${\textstyle I}$ interpretaziotarako ${\textstyle V(G,I)=V(H,I)}$ betetzen dela.

   Baina, jadanik frogatu ditugun baliokidetzak ere erabil ditzakegu, aurrekoa eta proposizio-kalkuluarenak.

   ${\textstyle G=\forall x\neg A[x]{\stackrel {UB}{\equiv }}\neg (\neg \forall x\neg A[x]){\stackrel {1.}{\equiv }}\neg \exists x\neg \neg A[x]{\stackrel {UB}{\equiv }}\neg \exists xA[x]=H}$.

3. ${\textstyle G=\forall xA[x]\wedge \forall xB[x]\equiv \forall x(A[x]\wedge B[x])=H}$ dela frogatzeko baliokidetasun logikoaren definizioa erabiliko dugu.

   Izan bitez ${\textstyle D}$ edozein eremu eta ${\textstyle I}$ edozein interpretazio ${\textstyle D}$ eremuaren gainean.

   ${\textstyle I}$ interpretazioa ${\textstyle G}$ eta ${\textstyle H}$ formuletan ordezkatzean, ${\textstyle G^{*}=\forall xA^{*}[x]\wedge \forall xB^{*}[x]}$ eta ${\textstyle H^{*}=\forall x(A^{*}[x]\wedge B^{*}[x])}$ adierazpenak lortuko ditugu, hurrenez hurren.

   Bi aukerak ditugu: a) ${\textstyle G^{*}=E}$. b) ${\textstyle G^{*}=F}$.

   a) ${\textstyle G^{*}=E}$ bada, ${\textstyle \forall xA^{*}[x]=E}$ eta ${\textstyle \forall xB^{*}[x]=E}$ izango dira. Beraz, ${\textstyle A^{*}[x]}$ eta ${\textstyle B^{*}[x]}$ adierazpenen tauletan errenkada guztiak dira ${\textstyle E}$.

   Hortik, ${\textstyle A^{*}[x]\wedge B^{*}[x]}$ adierazpenaren taularen errenkada guztietan ${\textstyle E}$ agertuko da. Ondorioz, ${\textstyle H^{*}=\forall x(A^{*}[x]\wedge B^{*}[x])=E}$ dugu.

   Hortaz, ${\textstyle V(H,I)=E=V(G,I)}$ da.

   b) ${\textstyle G^{*}=F}$ bada, beste bi aukera dauzkagu:
   b.1) ${\textstyle \forall xA^{*}[x]=E}$. b.2) ${\textstyle \forall xA^{*}[x]=F}$.

   b.1) ${\textstyle \forall xA^{*}[x]=E}$ bada, ${\textstyle G^{*}=F}$ denez, ${\textstyle \forall xB^{*}[x]=F}$ izango da. Beraz, ${\textstyle B^{*}[x]}$ adierazpenaren taulan honelako errenkada bat egongo da: ${\underline {\overline {d\quad \quad B^{*}[d]=F}}}$ .

   Errenkada hori bera baina orain ${\textstyle A^{*}[x]\wedge B^{*}[x]}$ adierazpenaren taulan hau izango da: ${\underline {\overline {d\quad \quad A^{*}[d]\wedge B^{*}[d]=F}}}$. Beraz, ${\textstyle H^{*}=\forall x(A^{*}[x]\wedge B^{*}[x])=F}$ beteko da.

   Ondorioz, ${\textstyle V(H,I)=F=V(G,I)}$ dugu.

   b.2) ${\textstyle \forall xA^{*}[x]=F}$ bada, ${\textstyle A^{*}[x]}$ adierazpenaren taularen errenkadaren batean hau izango dugu: ${\underline {\overline {d\quad \quad A^{*}[d]=F}}}$. ${\textstyle A^{*}[x]\wedge B^{*}[x]}$ adierazpenaren taularen errenkada berean beste hau izango dugu: ${\underline {\overline {d\quad \quad A^{*}[d]\wedge B^{*}[d]=F}}}$. Beraz, ${\textstyle H^{*}=\forall x(A^{*}[x]\wedge B^{*}[x])=F}$ da.

   Ondorioz, ${\textstyle V(H,I)=F=V(G,I)}$ betetzen da

   Hortaz, edozein ${\textstyle I}$ interpretaziotarako ${\textstyle V(H,I)=V(G,I)}$ daukagu, hau da, ${\textstyle G\equiv H}$.

4. ${\textstyle G=\exists xA[x]\vee \exists xB[x]\equiv \exists x(A[x]\vee B[x])=H}$ betetzen dela frogatzeko jadanik frogatu ditugun baliokidetzak erabiliko ditugu.

   ${\textstyle G=\exists xA[x]\vee \exists xB[x]{\stackrel {UB}{\equiv }}\neg (\neg (\exists xA[x]\vee \exists xB[x])){\stackrel {DeM}{\equiv }}\neg (\neg \exists xA[x]\wedge \neg \exists xB[x]){\stackrel {2.}{\equiv }}\neg (\forall x\neg A[x]\wedge \forall x\neg B[x]){\stackrel {3.}{\equiv }}\neg \forall x(\neg A[x]\wedge \neg B[x]){\stackrel {1.}{\equiv }}\exists x\neg (\neg A[x]\wedge \neg B[x]){\stackrel {DeM}{\equiv }}}$

   ${\textstyle \exists x(\neg \neg A[x]\vee \neg \neg B[x]){\stackrel {UB}{\equiv }}\exists x(A[x]\vee B[x])=H}$

5. 1. ${\textstyle G=\forall xA[x]\vee J\equiv \forall x(A[x]\vee J)=H}$ betetzen dela frogatzeko baliokidetasun logikoaren definizioa erabiliko dugu.

   Izan bitez ${\textstyle D}$ edozein eremu eta ${\textstyle I}$ edozein interpretazio ${\textstyle D}$ eremuaren gainean.

   ${\textstyle I}$ interpretazioa ${\textstyle G}$ eta ${\textstyle H}$ formuletan ordezkatzean, ${\textstyle G^{*}=\forall xA^{*}[x]\vee J^{*}}$ eta ${\textstyle H^{*}=\forall x(A^{*}[x]\vee J^{*})}$ adierazpenak lortuko ditugu, hurrenez hurren.

   Aukerak: a) ${\textstyle G^{*}=\forall xA^{*}[x]\vee J^{*}=E}$. b) ${\textstyle G^{*}=\forall xA^{*}[x]\vee J^{*}=F}$.

   a) ${\textstyle G^{*}=E}$ bada, beste bi aukera ditugu: a.1) ${\textstyle J^{*}=E}$. a.2) ${\textstyle J^{*}=F}$.

   a.1) ${\textstyle J^{*}=E}$ bada, ${\textstyle A^{*}[x]\vee J^{*}}$ adierazpenaren taularen errenkada guztietan ${\textstyle E}$ agertuko da. Beraz, ${\textstyle H^{*}=\forall x(A^{*}[x]\vee J^{*})=E}$ izango da.

   Hortaz, ${\textstyle V(H,I)=E=V(G,I)}$ beteko da.

   a.2) ${\textstyle J^{*}=F}$ bada, ${\textstyle G^{*}=E}$ denez, ${\textstyle \forall xA^{*}[x]=E}$ bete beharko da. Hau da, ${\textstyle A^{*}[x]}$ adierazpenaren taularen errenkada guztietan ${\textstyle E}$ agertuko da. Hortik, ${\textstyle A^{*}[x]\vee J^{*}}$ adierazpenaren taularen errenkada guztietan ${\textstyle E}$ agertuko da. Eta, ondorioz, ${\textstyle H^{*}=\forall x(A^{*}[x]\vee J^{*})=E}$ izango da.

   Kasu honetan ere ${\textstyle V(H,I)=E=V(G,I)}$ beteko da.

   b) ${\textstyle G^{*}=\forall xA^{*}[x]\vee J^{*}=F}$ bada, ${\textstyle \forall xA^{*}[x]=F}$ eta ${\textstyle J^{*}=F}$ bete beharko dira. Lehenengotik aterako dugu ${\textstyle A^{*}[x]}$ adierazpenaren taularen errenkadaren batean ${\textstyle F}$ agertuko dela: ${\underline {\overline {d\quad \quad A^{*}[d]=F}}}$. ${\textstyle A^{*}[x]\vee J^{*}}$ adierazpenaren taularen errenkada berean ere ${\textstyle F}$ agertuko da: ${\underline {\overline {d\quad \quad A^{*}[d]\vee J^{*}=F}}}$. Ondorioz, ${\textstyle H^{*}=\forall x(A^{*}[x]\vee J^{*})=F}$ izango da.

   Kasu honetan ${\textstyle V(H,I)=F=V(G,I)}$ dugu.

   Hortaz, edozein ${\textstyle I}$ interpretaziotarako ${\textstyle V(H,I)=V(G,I)}$ daukagu, hau da, ${\textstyle G\equiv H}$.

   2. ${\textstyle G=\exists xA[x]\vee J\equiv \exists x(A[x]\vee J)=H}$ betetzen dela frogatzeko baliokidetasun logikoaren definizioa erabiliko dugu berriro.

   Izan bitez ${\textstyle D}$ edozein eremu eta ${\textstyle I}$ edozein interpretazio ${\textstyle D}$ eremuaren gainean.

   ${\textstyle I}$ interpretazioa ${\textstyle G}$ eta ${\textstyle H}$ formuletan ordezkatzean, ${\textstyle G^{*}=\exists xA^{*}[x]\vee J^{*}}$ eta ${\textstyle H^{*}=\exists x(A^{*}[x]\vee J^{*})}$ adierazpenak lortuko ditugu, hurrenez hurren.

   Aukerak: a) ${\textstyle G^{*}=E}$. b) ${\textstyle G^{*}=F}$.

   a) ${\textstyle G^{*}=E}$ bada, beste bi aukera ditugu: a.1) ${\textstyle J^{*}=E}$ . a.2) ${\textstyle J^{*}=F}$.

   a.1) ${\textstyle J^{*}=E}$ bada, ${\textstyle A^{*}[x]\vee J^{*}}$ adierazpenaren taulan dena ${\textstyle E}$ da. Beraz, ${\textstyle H^{*}=\exists x(A^{*}[x]\vee J^{*})=E}$ izango da.

   Kasu honetan ${\textstyle V(H,I)=E=V(G,I)}$ betetzen da.

   a.2) ${\textstyle J^{*}=F}$ bada, ${\textstyle G^{*}=E}$ denez, ${\textstyle \exists xA^{*}[x]=E}$ bete behar da. Beraz, ${\textstyle A^{*}[x]}$ adierazpenaren taulan honelako errenkadaren bat egongo da: ${\underline {\overline {d\quad \quad A^{*}[d]=E}}}$ . Errenkada hori bera ${\textstyle A^{*}[x]\vee J^{*}}$ adierazpenaren taulan hau izango da: ${\underline {\overline {d\quad \quad A^{*}[d]\wedge J^{*}=E}}}$. Beraz, ${\textstyle H^{*}=\exists x(A^{*}[x]\vee J^{*})=E}$ dugu.

   Kasu honetan ere ${\textstyle V(H,I)=E=V(G,I)}$ betetzen da.

   b) ${\textstyle G^{*}=F}$ bada, ${\textstyle \exists xA^{*}[x]=F}$ eta ${\textstyle J^{*}=F}$ izango dira. Lehenengotik aterako dugu ${\textstyle A^{*}[x]}$ adierazpenaren taulan dena ${\textstyle F}$ dela. Beraz, ${\textstyle A^{*}[x]\vee J^{*}}$ adierazpenaren taulan ere dena ${\textstyle F}$ da. Hortaz, ${\textstyle H^{*}=\exists x(A^{*}[x]\vee J^{*})=F}$ izango da.

   Kasu honetan ere bai ${\textstyle V(H,I)=F=V(G,I)}$ betetzen da.

   Ondorioz, edozein ${\textstyle I}$ interpretaziotarako ${\textstyle V(H,I)=V(G,I)}$ daukagu, hau da, ${\textstyle G\equiv H}$.

6. 6.1. eta 6.2. frogatzeko aurreko baliokidetza batzuk erabiliko ditugu.

   1. ${\textstyle \forall xA[x]\wedge J{\stackrel {UB}{\equiv }}\neg \neg (\forall xA[x]\wedge J){\stackrel {DeM}{\equiv }}\neg (\neg \forall xA[x]\vee \neg J){\stackrel {1.}{\equiv }}\neg (\exists x\neg A[x]\vee \neg J){\stackrel {5.2.}{\equiv }}\neg \exists x(\neg A[x]\vee \neg J){\stackrel {DeM}{\equiv }}\neg \exists x\neg (A[x]\wedge J){\stackrel {2.}{\equiv }}\forall x\neg (\neg (A[x]\wedge J)){\stackrel {UB}{\equiv }}\forall x(A[x]\wedge J)}$.

   2. ${\textstyle \exists xA[x]\wedge J{\stackrel {UB}{\equiv }}\neg \neg (\exists xA[x]\wedge J){\stackrel {DeM}{\equiv }}\neg (\neg \exists xA[x]\vee \neg J){\stackrel {2.}{\equiv }}\neg (\forall x\neg A[x]\vee \neg J){\stackrel {5.1.}{\equiv }}\neg (\forall x(\neg A[x]\vee \neg J)){\stackrel {DeM}{\equiv }}\neg (\forall x\neg (A[x]\wedge J)){\stackrel {1.}{\equiv }}\exists x\neg \neg (A[x]\wedge J){\stackrel {UB}{\equiv }}\exists x(A[x]\wedge J)}$.

Egiazta dezagun, orain, N1 eta N2 ez direla baliokidetzak

• N1

  ${\textstyle \forall xA[x]\vee \forall xB[x]\not \equiv \forall x(A[x]\vee B[x])}$ dela frogatzeko ikus dezagun ${\textstyle A[x]=P(x)}$ eta ${\textstyle B[x]=Q(x)}$ direnean, ${\textstyle G=\forall xP(x)\vee \forall xQ(x)\not \equiv \forall x(P(x)\vee Q(x))=H}$ dela.

  Horretarako nahikoa izango da ${\textstyle V(H,I)\neq V(G,I)}$ betetzen duen ${\textstyle I}$ interpretazio bat aurkitzea.

  Har dezagun interpretazio hau:
  

  $${\begin{array}{ccccc}I:&D=\{1,2\}&\quad {\begin{array}{cc}P&Q\\\hline \alpha &\beta \end{array}}&\quad {\begin{array}{cc}D&\alpha \\\hline 1&E\\2&F\end{array}}&\quad {\begin{array}{cc}D&\beta \\\hline 1&F\\2&E\end{array}}\end{array}}$$
  
  ${\textstyle G^{*}=\forall x\alpha (x)\vee \forall x\beta (x)}$.

  ${\textstyle {\begin{array}{ll}{\begin{array}{ll}\left.{\begin{array}{cc}x\quad &\alpha (x)\\\hline 1\quad &\alpha (1)=E\\2\quad &\alpha (2)=F\end{array}}\right\}&\forall x\alpha (x)=F\end{array}}&{\begin{array}{ll}\left.{\begin{array}{cc}x\quad &\beta (x)\\\hline 1\quad &\beta (1)=F\\2\quad &\beta (2)=E\end{array}}\right\}&\forall x\beta (x)=F\end{array}}\end{array}}}$

  Beraz, ${\textstyle G^{*}=F\vee F=F}$ betetzen da.

  ${\textstyle H^{*}=\forall x(\alpha (x)\vee \beta (x))}$.

  ${\textstyle {\begin{array}{ll}{\begin{array}{cccc}x\quad &\alpha (x)\quad &\beta (x)\quad &\alpha (x)\vee \beta (x)\\\hline 1\quad &\alpha (1)=E\quad &\beta (1)=F\quad &\alpha (1)\vee \beta (1)=E\\2\quad &\alpha (2)=F\quad &\beta (2)=E\quad &\alpha (2)\vee \beta (2)=E\end{array}}&H^{*}=\forall x(\alpha (x)\vee \beta (x))=E\end{array}}}$

  Orduan, ${\textstyle V(H,I)\neq V(G,I)}$. Eta, beraz, ${\textstyle G\not \equiv H}$ daukagu.

• N2:

  ${\textstyle G=\exists xA[x]\wedge \exists xB[x]\not \equiv \exists x(A[x]\wedge B[x])=H}$ dela frogatzeko, ikus dezakegu, aurrekoan bezala, ${\textstyle I}$ interpretazio baterako ${\textstyle V(H,I)\neq V(G,I)}$ dela. Baina jadanik frogaturik dauden baliokidetzak eta baliokidetza ez den aurrekoa ere erabil ditzakegu.

  ${\textstyle G=\exists xA[x]\wedge \exists xB[x]{\stackrel {UB}{\equiv }}\neg \neg (\exists xA[x]\wedge \exists xB[x]){\stackrel {DeM}{\equiv }}\neg (\neg \exists xA[x]\vee \neg \exists xB[x]){\stackrel {2.}{\equiv }}\neg (\forall x\neg A[x]\vee \forall x\neg B[x]){\stackrel {N1}{\not \equiv }}\neg \forall x(\neg A[x]\vee \neg B[x]){\stackrel {1.}{\equiv }}\exists x\neg (\neg A[x]\vee \neg B[x]){\stackrel {DeM}{\equiv }}}$

  ${\textstyle \exists x(\neg \neg A[x]\wedge \neg \neg B[x]){\stackrel {UB}{\equiv }}\exists x(A[x]\wedge B[x])=H}$.

2.6 Dedukzio formala

Predikatu-kalkuluan ere argumentuak baliozkoak diren ala ez ikusteko froga formalak egin ditzakegu.

Hona hemen erabiliko ditugun erregelak:

1. Proposizio-kalkuluaren 1-9 inferentzi erregelak: MP, MT, SH, SD, DE, DS, KS, KK, DB.
2. Ordezkapen-erregela, proposizio-kalkuluaren baliokidetza logikoak erabiliz, 10-19, eta aurreko atalean frogatutako zenbatzaileen baliokidetzak.
3. Baldintzazko frogaren erregela eta absurdora eramateko erregela.
4. Erregela berriak agertuko dira: Zenbatzaileen erregelak. Erregela hauek froga baten errenkada osoei bakarrik aplika diezazkiekegu.

Idazkera. Erregela horiek erabiltzean idazkera hau erabiliko dugu:

${\textstyle A(x)}$ edozein formula da; ${\textstyle A(r)}$ da ${\textstyle x}$ aldagaiak ${\textstyle A(x)}$ formulan dituen agerpen aske guztiak ${\textstyle r}$ balioaz ordezkatzean lortzen den formula.

Adibideak.

1. ${\textstyle A(x)=\forall z(Q(x)\vee \forall xP(x,y,z))}$ bada, ${\textstyle A(y)=\forall z(Q(y)\vee \forall xP(x,y,z))}$ daukagu.
2. ${\textstyle A(y)=\exists x(P(x,y)\vee \forall z\exists yP(y,z))}$ bada, ${\textstyle A(z)=\exists x(P(x,z)\vee \forall z\exists yP(y,z))}$ daukagu.
3. ${\textstyle A(x)=\forall xP(x,y)\vee P(z,y)}$ bada, ${\textstyle A(z)=\forall xP(x,y)\vee P(z,y)}$ (${\textstyle =A(x)}$) daukagu.
4. ${\textstyle A(x)=\forall yP(y)}$ bada, ${\textstyle A(y)=A(z)=A(x)}$ daukagu.

Definizioa. Esango dugu ${\textstyle r}$ aldagaia ${\textstyle A(x)}$ formulan ${\textstyle x}$ aldagairako aske dela ${\textstyle r}$ aldagaiak ${\textstyle A(r)}$ formulan ordezkapenaren ondorioz dituen agerpen guztiak askeak badira (${\textstyle r}$ aske ager daiteke posizio gehiagotan).

Adibideak.

1. ${\textstyle A(x)=\forall z(Q(x)\vee \forall xP(x,y,z))}$.

   ${\textstyle A(y)=\forall z(Q(y)\vee \forall xP(x,y,z))}$. ${\textstyle y}$ aske da ${\textstyle x}$ aldagairako ${\textstyle A(x)}$ formulan.

   ${\textstyle A(z)={\underline {\forall z}}(Q({\underline {z}})\vee \forall xP(x,y,z))}$. ${\textstyle z}$ ez da aske ${\textstyle x}$ aldagairako ${\textstyle A(x)}$ formulan.

2. ${\textstyle A(y)=\exists x(P(x,y)\vee \forall z\exists yP(y,z))}$.

   ${\textstyle A(z)=\exists x(P(x,z)\vee \forall z\exists yP(y,z))}$. ${\textstyle z}$ aske da ${\textstyle y}$ aldagairako ${\textstyle A(y)}$ formulan.

   ${\textstyle A(x)={\underline {\exists x}}(P(x,{\underline {x}})\vee \forall z\exists yP(y,z))}$. ${\textstyle x}$ ez da aske ${\textstyle y}$ aldagairako ${\textstyle A(y)}$ formulan.

3. ${\textstyle A(x)=\forall xP(x,y)\vee P(z,y)}$.

   ${\textstyle A(z)=A(y)=\cdots =A(x)}$. Edozein aldagai da aske ${\textstyle x}$ aldagairako ${\textstyle A(x)}$ formulan.

Oharrak.

1. ${\textstyle A(x)}$ formulak ez badu ${\textstyle x}$ aske, edozein ${\textstyle r}$ aldagaitarako ${\textstyle A(r)=A(x)}$ izango da, eta ${\textstyle r}$ aske izango da ${\textstyle x}$ aldagairako ${\textstyle A(x)}$ formulan.
2. Edozein ${\textstyle A(x)}$ formulatarako, ${\textstyle x}$ aske da ${\textstyle x}$ aldagairako ${\textstyle A(x)}$ formulan.

Zenbatzaileen erregelak.

• ${\underline {\forall {\mbox{ Zenbatzailea ezabatu. }}}}$

$${\begin{array}{c}\forall xA(x)\\\hline A(r)\end{array}}$$

Murriztapenak: ${\textstyle r}$ aske da ${\textstyle x}$ aldagairako ${\textstyle A(x)}$ formulan edo ${\textstyle r}$ konstante bat da.

Adibideak.

1. .
   $${\begin{array}{c}\forall x(P(x,x)\wedge Q(y))\\\hline P(z,z)\wedge Q(y)\end{array}}$$
   ${\textstyle A(x)=P(x,x)\wedge Q(y)}$; ${\textstyle A(z)=P(z,z)\wedge Q(y)}$, ${\textstyle z}$ aske da ${\textstyle x}$-rako ${\textstyle A(x)}$ formulan.
2. .
   $${\begin{array}{c}\forall x(P(x,x)\wedge Q(y))\\\hline P(x,x)\wedge Q(y)\end{array}}\quad \quad {\begin{array}{c}\forall x(P(x,x)\wedge Q(y))\\\hline P(y,y)\wedge Q(y)\end{array}}$$
   ${\textstyle x}$ eta ${\textstyle y}$ aske dira ${\textstyle x}$ aldagairako ${\textstyle P(x,x)\wedge Q(y)}$ formulan.
3. .
   $${\begin{array}{c}\forall y(P(y,y)\wedge Q(x)\wedge \forall xR(x))\\\hline P(x,x)\wedge Q(x)\wedge \forall xR(x))\end{array}}$$
   ${\textstyle x}$ aske da ${\textstyle y}$ aldagairako ${\textstyle P(y,y)\wedge Q(x)\wedge \forall xR(x)}$ formulan.
4. .
   $${\begin{array}{c}\forall x(P(x,x)\wedge Q(y)\wedge \exists xR(x))\\\hline P(y,y)\wedge Q(y)\wedge \exists xR(x))\end{array}}$$
   ${\textstyle y}$ aske da ${\textstyle x}$ aldagairako ${\textstyle P(x,x)\wedge Q(y)\wedge \exists xR(x)}$ formulan.
5. .

   Txakur guztiak ugaztunak dira.	${\textstyle \forall x(T(x)\rightarrow U(x))}$
   Bizi txakurra da.	${\textstyle T(b)}$
   Beraz, Bizi ugaztuna da.	${\textstyle U(b)}$

   . ${\textstyle {\begin{array}{lll}1.&\forall x(T(x)\rightarrow U(x))&{\mbox{premisa}}\\2.&T(b)&{\mbox{premisa / }}{\dot {..}}{\mbox{ }}U(b)\\3.&T(b)\rightarrow U(b)&\forall x{\mbox{-ezab(1) (}}b{\mbox{ konstantea da)}}\\4.&U(b)&{\mbox{MP(3,2)}}\\\end{array}}}$

6. .

   ${\textstyle {\begin{array}{lll}1.&\neg P(x)&{\mbox{premisa}}\\2.&\forall y(P(y)\vee Q(y))&{\mbox{premisa / }}{\dot {..}}{\mbox{ }}Q(x)\\3.&P(x)\vee Q(x)&\forall y{\mbox{-ezab(2) (}}x{\mbox{ aske da }}y{\mbox{-rako }}P(y)\vee Q(y){\mbox{ formulan)}}\\4.&Q(x)&{\mbox{SD(3,1)}}\\\end{array}}}$

7. Hona hemen dedukzio oker bat:

   $${\begin{array}{lll}1.&\forall x\exists yP(x,y)&{\mbox{premisa / }}{\dot {..}}{\mbox{ }}\exists yP(y,y)\\2.&\exists yP(y,y)&\forall x{\mbox{-ezab(1)}}\\\end{array}}$$
   
   Erregela gaizki aplikatu dugu, ${\textstyle y}$ ez delako aske ${\textstyle x}$ aldagairako ${\textstyle \exists yP(x,y)}$ formulan.

   Horrez gain, argumentua baliogabea dela froga dezakegu. Har dezagun interpretazio hau:

   $${\begin{array}{lccc}I:&D=\{1,2\}&\quad {\begin{array}{c}P\\\hline \alpha \end{array}}&\quad {\begin{array}{cc}D^{2}&\alpha \\\hline 11&F\\12&E\\21&E\\22&F\end{array}}\end{array}}</br>$$
   ${\textstyle V(\forall x\exists yP(x,y),I)=E}$ da, eta ${\textstyle V(\exists yP(y,y),I)=F}$.

8. Hona hemen erregelaren aplikazio okerraren beste adibide bat:
   

   $${\begin{array}{c}\forall xP(x,x)\\\hline P(x,y)\end{array}}$$
   
   Ez dira ordezkatu ${\textstyle x}$ aldagaiak ${\textstyle P(x,x)}$ formulan dituen agerpen aske guztiak ${\textstyle y}$ aldagaiarekin.

   Horrez gain, argumentua baliogabea dela froga dezakegu.

• ${\underline {\exists {\mbox{ Zenbatzailea sartu.}}}}$

$${\begin{array}{c}A(r)\\\hline \exists xA(x)\end{array}}$$

Murriztapenak: ${\textstyle r}$ aske da ${\textstyle x}$ aldagairako ${\textstyle A(x)}$ formulan edo ${\textstyle r}$ konstantea da.

Adibideak.

1. .
   $${\begin{array}{c}P(x)\\\hline \exists xP(x)\end{array}}\quad \quad {\begin{array}{c}P(y)\\\hline \exists xP(x)\end{array}}$$
   ${\textstyle x}$ eta ${\textstyle y}$ aske dira ${\textstyle x}$ aldagairako ${\textstyle P(x)}$ formulan.
2. .
   $${\begin{array}{c}P(x,y)\wedge \forall zR(z)\\\hline \exists z(P(x,z)\wedge \forall zR(z))\\\end{array}}$$
   ${\textstyle y}$ aske da ${\textstyle z}$ aldagairako ${\textstyle P(x,z)\wedge \forall zR(z)}$ formulan.
3. .
   $${\begin{array}{c}P(x)\rightarrow Q(x)\\\hline \exists y(P(x)\rightarrow Q(y))\end{array}}$$
   ${\textstyle x}$ aske da ${\textstyle y}$ aldagairako ${\textstyle P(x)\rightarrow Q(y)}$ formulan.
4. .
   $${\begin{array}{lrll}&1.&\forall x(P(x)\rightarrow Q(x))&{\mbox{premisa / }}{\dot {..}}{\mbox{ }}P(y)\rightarrow \exists x(P(x)\wedge Q(x))\\\rightarrow &2.&P(y)&{\mbox{BFEren hipotesia / }}{\dot {..}}{\mbox{ }}\exists x(P(x)\wedge Q(x))\\\vline &3.&P(y)\rightarrow Q(y)&\forall x{\mbox{-ezab(1) (}}y{\mbox{ aske }}x{\mbox{-rako, }}P(x)\rightarrow Q(x){\mbox{)}}\\\vline &4.&Q(y)&{\mbox{MP(3,2)}}\\\vline &5.&P(y)\wedge Q(y)&{\mbox{KK(2,4)}}\\\vline &6.&\exists x(P(x)\wedge Q(x))&\exists x{\mbox{-sar(5) (}}y{\mbox{ aske }}x{\mbox{-rako, }}P(x)\wedge Q(x){\mbox{)}}\\--&--&--------&\\&7.&P(y)\rightarrow \exists x(P(x)\wedge Q(x))&{\mbox{BFE(2-6)}}\end{array}}$$

5. Erregelaren aplikazio oker bat:
   

   $${\begin{array}{c}P(x)\leftrightarrow \neg P(y)\\\hline \exists x(P(x)\leftrightarrow \neg P(x))\end{array}}</br>$$
   Erregela gaizki aplikatu dugu ez ditugulako ordezkatu ${\textstyle y}$ aldagaiarekin ${\textstyle x}$ aldagaiak ${\textstyle P(x)\leftrightarrow \neg P(x)}$ formulan dituen agerpen aske guztiak.

   Eta argumentua baliogabea dela froga dezakegu.

6. Erregelaren beste aplikazio oker bat:
   

   $${\begin{array}{c}\forall xP(x,x)\\\hline \exists y\forall xP(y,x)\end{array}}$$
   Erregela gaizki aplikatu dugu ${\textstyle x}$ ez delako aske ${\textstyle y}$ aldagairako ${\textstyle \forall xP(y,x)}$ formulan.

   Eta argumentua baliogabea dela froga genezake.

• ${\underline {\forall {\mbox{ Zenbatzailea sartu.}}}}$

${\textstyle {\begin{array}{c}P_{1}\\\vdots \\P_{n}\\\hline A\end{array}}}$ argumentua baliozkoa bada, ${\textstyle {\begin{array}{c}P_{1}\\\vdots \\P_{n}\\\hline \forall xA\end{array}}}$ argumentua ere baliozkoa izango da.

Murriztapenak: ${\textstyle P_{1},\ldots ,P_{n}}$ premisek ez dute ${\textstyle x}$ aske.

Erabilbidea: Argumentu baten froga formal batean, non ez premisek ez indarrean dauden hipotesiek ez duten ${\textstyle x}$ aske, frogaren formuletako bat ${\textstyle A}$ bada, ${\textstyle \forall }$ zenbatzailea sartzeko erregelatik ${\textstyle \forall xA}$ deduzi dezakegu.

$${\begin{array}{lll}1.&P_{1}&{\mbox{premisa}}\\\vdots &\vdots &\vdots \\n.&P_{n}&{\mbox{premisa / }}{\dot {..}}{\mbox{ }}C\\\vdots &\vdots &\\m.&A&\\m+1.&\forall xA&\forall x{\mbox{-sar(m)}}\\\end{array}}$$

(${\textstyle P_{1},\ldots ,P_{n}}$ premisek eta indarrean dauden hipotesiek ez dute ${\textstyle x}$ aske)

Adibideak.

1. .

   ${\textstyle {\begin{array}{lll}1.&\forall yP(y,y)\wedge \forall zR(z)&{\mbox{premisa / }}{\dot {..}}{\mbox{ }}\forall y(P(y,y)\wedge R(y))\\2.&\forall yP(y,y)&{\mbox{KS(1)}}\\3.&P(y,y)&\forall y{\mbox{-ezab(2) (}}y{\mbox{ aske da }}y{\mbox{ aldagairako }}P(y,y){\mbox{ formulan)}}\\4.&\forall zR(z)\wedge \forall yP(y,y)&{\mbox{TRUK(1)}}\\5.&\forall zR(z)&{\mbox{KS(4)}}\\6.&R(y)&\forall z{\mbox{-ezab(5) (}}y{\mbox{ aske da }}z{\mbox{ aldagairako }}R(z){\mbox{ formulan)}}\\7.&P(y,y)\wedge R(y)&{\mbox{KK(3,6)}}\\8.&\forall y(P(y,y)\wedge R(y))&\forall y{\mbox{-sar(7) (1ak ez du }}y{\mbox{ aske)}}\\\end{array}}}$

2. .

   ${\textstyle {\begin{array}{lrll}&1.&\forall x(P(x)\rightarrow Q(x))&{\mbox{premisa}}\\&2.&\forall x(R(x)\rightarrow \neg Q(x))&{\mbox{premisa / }}{\dot {..}}{\mbox{ }}\forall x(R(x)\rightarrow \neg P(x))\\\rightarrow &3.&R(x)&{\mbox{BFEren hipotesia / }}{\dot {..}}{\mbox{ }}\neg P(x)\\\vline &4.&R(x)\rightarrow \neg Q(x)&\forall x{\mbox{-ezab(2) (}}x{\mbox{ aske }}x{\mbox{-rako, }}R(x)\rightarrow \neg Q(x){\mbox{)}}\\\vline &5.&\neg Q(x)&{\mbox{MP(4,3)}}\\\vline &6.&P(x)\rightarrow Q(x)&\forall x{\mbox{-ezab(1) (}}x{\mbox{ aske }}x{\mbox{-rako }}P(x)\rightarrow Q(x){\mbox{ formulan)}}\\\vline &7.&\neg P(x)&{\mbox{MT(6,5)}}\\--&--&------&\\&8.&R(x)\rightarrow \neg P(x)&{\mbox{BFE(3-7)}}\\&9.&\forall x(R(x)\rightarrow \neg P(x))&\forall x{\mbox{-sar(8)}}\\&&&{\mbox{(1ak eta 2ak ez dute }}x{\mbox{ aske; 3a. ez dago indarrean)}}\\\end{array}}}$

3. Aplikazio okerraren adibidea:

   ${\textstyle {\begin{array}{lrll}&1.&\forall x(P(x)\rightarrow Q(x))&{\mbox{premisa / }}{\dot {..}}{\mbox{ }}P(x)\rightarrow \forall xQ(x)\\\rightarrow &2.&P(x)&{\mbox{BFEren hipotesia / }}{\dot {..}}{\mbox{ }}\forall xQ(x)\\\vline &3.&P(x)\rightarrow Q(x)&\forall x{\mbox{-ezab(1) (}}x{\mbox{ aske }}x{\mbox{-rako }}P(x)\rightarrow Q(x){\mbox{ formulan)}}\\\vline &4.&Q(x)&{\mbox{MP(3,2)}}\\\vline &5.&\forall xQ(x)&\forall x{\mbox{-sar(4)}}\\&&&{\mbox{''gaizki!!'': 2 hipotesiak }}x{\mbox{ aske du}}\\--&--&------&\\&6.&P(x)\rightarrow \forall xQ(x)&{\mbox{BFE(2-5)}}\end{array}}}$

• ${\underline {\exists {\mbox{ Zenbatzailea ezabatu.}}}}$

(1) ${\textstyle {\begin{array}{c}P_{1}\\\vdots \\P_{n}\\A\\\hline C\end{array}}}$ argumentua baliozkoa bada, (2) ${\textstyle {\begin{array}{c}P_{1}\\\vdots \\P_{n}\\\exists xA\\\hline C\end{array}}}$ argumentua ere baliozkoa da.

Murriztapenak: ${\textstyle P_{1},\ldots ,P_{n}}$ premisek eta ${\textstyle C}$ ondorioak ez dute ${\textstyle x}$ aske.

Erabilbidea: (2) argumentu baten froga formalean, non ez premisek ez indarrean dauden hipotesiek ez duten ${\textstyle x}$ aske, frogaren formuletako bat ${\textstyle \exists xA}$ bada, ${\textstyle A}$ suposatuko dugu erregela aplikatzeko ((1) argumentua). Hipotesi horrekin ${\textstyle C}$ formula deduzituz gero, (1) argumentua frogatua dugu. Orduan, ${\textstyle C}$ formulak ere ez badu ${\textstyle x}$ aske, erregela aplikatuz, (2) argumentua ere baliozkoa dela esan ahal izango dugu.

$${\begin{array}{lrll}&1.&P_{1}&{\mbox{premisa}}\\&\vdots &\vdots &\vdots \\&n.&P_{n}&{\mbox{premisa}}\\&\vdots &\vdots &\\&p.&\exists xA&\\&\vdots &\vdots &\\\rightarrow &q.&A&\exists x{\mbox{-ezabatzeko hipotesia(p)}}\\\vline &\vdots &\vdots &\\\vline &m.&C&\\--&--&--&\\&m+1.&C&\exists x{\mbox{-ezab(p,q-m)}}\\\end{array}}$$

(${\textstyle P_{1},\ldots ,P_{n}}$ premisek, hipotesiek eta ${\textstyle C}$ ondorioak ez dute ${\textstyle x}$ aske)

Adibideak.

1. .

   ${\textstyle {\begin{array}{lrll}&1.&\forall x(P(x)\rightarrow Q(x))&{\mbox{premisa}}\\&2.&\exists yP(y)&{\mbox{premisa / }}{\dot {..}}{\mbox{ }}\exists zQ(z)\\\rightarrow &3.&P(y)&\exists y{\mbox{-ezabatzeko hipotesia(2)}}\\\vline &4.&P(y)\rightarrow Q(y)&\forall x{\mbox{-ezab(1) (}}y{\mbox{ aske }}x{\mbox{-rako }}P(x)\rightarrow Q(x){\mbox{ formulan)}}\\\vline &5.&Q(y)&{\mbox{MP(4,3)}}\\\vline &6.&\exists zQ(z)&\exists z{\mbox{-sar(5) (}}y{\mbox{ aske da }}z{\mbox{ aldagairako }}Q(z){\mbox{ formulan)}}\\--&--&-------&\\&7.&\exists zQ(z)&\exists y{\mbox{-ezab(2,3-6) (1ak, 2ak eta 6ak ez dute }}y{\mbox{ aske)}}\end{array}}}$

2. .

   ${\textstyle {\begin{array}{lrll}&1.&\exists x(P(x)\wedge Q(x))&{\mbox{premisa / }}{\dot {..}}{\mbox{ }}\exists xP(x)\wedge \exists xQ(x)\\\rightarrow &2.&P(x)\wedge Q(x)&\exists x{\mbox{-ezabatzeko hipotesia(1)}}\\\vline &3.&P(x)&{\mbox{KS(2)}}\\\vline &4.&\exists xP(x)&\exists x{\mbox{-sar(3) (}}x{\mbox{ aske da }}x{\mbox{ aldagairako }}P(x){\mbox{ formulan)}}\\\vline &5.&Q(x)\wedge P(x)&{\mbox{TRUK(2)}}\\\vline &6.&Q(x)&{\mbox{KS(5)}}\\\vline &7.&\exists xQ(x)&\exists x{\mbox{-sar(6) (}}x{\mbox{ aske da }}x{\mbox{ aldagairako }}Q(x){\mbox{ formulan)}}\\\vline &8.&\exists xP(x)\wedge \exists xQ(x)&{\mbox{KK(4,7)}}\\--&--&--&\\&9.&\exists xP(x)\wedge \exists xQ(x)&\exists x{\mbox{-ezab(1,2-8) (1ak eta 8ak ez dute }}x{\mbox{ aske)}}\end{array}}}$

3. Erregelaren aplikazio okerraren adibidea:

   ${\textstyle {\begin{array}{lrll}&1.&\forall x\exists yP(x,y)&{\mbox{premisa / }}{\dot {..}}{\mbox{ }}\forall y\exists xP(x,y)\\&2.&\exists yP(x,y)&\forall x{\mbox{-ezab(1) (x aske da x aldagairako }}\exists yP(x,y){\mbox{ formulan)}}\\\rightarrow &3.&P(x,y)&\exists y{\mbox{-ezabatzeko hipotesia(2)}}\\\vline &4.&\exists xP(x,y)&\exists x{\mbox{-sar(3) (x aske da x aldagairako }}P(x,y){\mbox{ formulan)}}\\--&--&--&\\&5.&\exists xP(x,y)&\exists y{\mbox{-ezab(2,3-4) ( ''gaizki''!!: 4 ondorioak y aske du)}}\\&6.&\forall y\exists xP(x,y)&\forall y{\mbox{-sar(5) (1ak eta 2ak ez dute y aske)}}\end{array}}}$

4. Argumentu beraren beste froga oker bat:

   ${\textstyle {\begin{array}{lrll}&1.&\forall x\exists yP(x,y)&{\mbox{premisa / }}{\dot {..}}{\mbox{ }}\forall y\exists xP(x,y)\\&2.&\exists yP(x,y)&\forall x{\mbox{-ezab(1) (x aske da x aldagairako }}\exists yP(x,y){\mbox{ formulan)}}\\\rightarrow &3.&P(x,y)&\exists y{\mbox{-ezabatzeko hipotesia(2)}}\\\vline &4.&\exists xP(x,y)&\exists x{\mbox{-sar(3) (x aske da x aldagairako }}P(x,y){\mbox{ formulan)}}\\\vline &5.&\forall y\exists xP(x,y)&\forall y{\mbox{-sar(4) ('' gaizki''!!: 3 hipotesiak y aske du)}}\\--&--&--&\\&6.&\forall y\exists xP(x,y)&\exists y{\mbox{-ezab(2,3-5) (1ak eta 5ak ez dute y aske)}}\end{array}}}$

5. Erregelaren beste aplikazio oker bat:

   ${\textstyle {\begin{array}{llrll}&&1.&\exists x(P(x)\wedge R(x))&{\mbox{premisa}}\\&&2.&\exists x(Q(x)\wedge R(x))&{\mbox{premisa / }}{\dot {..}}{\mbox{ }}\exists x(P(x)\wedge Q(x))\\\rightarrow &&3.&Q(x)\wedge R(x)&\exists x{\mbox{-ezabatzeko hipotesia(2)}}\\\vline &&4.&Q(x)&{\mbox{KS(3)}}\\\vline &\rightarrow &5.&P(x)\wedge R(x)&\exists x{\mbox{-ezabatzeko hipotesia(1)}}\\\vline &\vline &6.&P(x)&{\mbox{KS(5)}}\\\vline &\vline &7.&P(x)\wedge Q(x)&{\mbox{KK(6,4)}}\\\vline &\vline &8.&\exists x(P(x)\wedge Q(x))&\exists x{\mbox{-sar(7) (x aske x-rako }}P(x)\wedge Q(x){\mbox{ formulan)}}\\&--&--&--&\\\vline &&9.&\exists x(P(x)\wedge Q(x))&\exists x{\mbox{-ezab(1,5-8) (''gaizki''!!: 3 hipotesiak x aske du)}}\\--&--&--&--&\\&&10.&\exists x(P(x)\wedge Q(x))&\exists x{\mbox{-ezab(2,3-9) (1ak, 2ak eta 9ak ez dute x aske)}}\end{array}}}$