Propositiologiikka

Wikipedia

Propositiologiikka eli lauselogiikka on logiikan alue, jossa tutkitaan propositiosymboleja ja loogisia konnektiiveja sisältävien formaalikielen lauseiden ominaisuuksia. Näistä ominaisuuksista keskeisimpiä ovat totuus ja lauseiden väliset päättelysuhteet.

Propositiosymboleina käytetään formaalikielessä yleensä merkkejä $p 0$ , $p 1$ , $p 2$ jne. Eri propositiosymbolien voidaan tulkita edustavan toisistaan riippumattomia asiantiloja. Loogisille konnektiiveille käytetään usein merkkejä kuten $\neg, \and, \or$ . Nämä vastaavat karkeasti ottaen luonnollisen kielen lausekonnektiiveja, esim. "ei", "ja" ja "tai".

Propositiologiikkaa kehittivät ensimmäisenä stoalaiset.

Alla esitellään esimerkinomainen propositiologiikka (työn alla).

Sisällysluettelo

1 Propositiologiikan syntaksi
2 Päättely propositiologiikassa
3 Totuusjakauma ja propositiolauseen totuusarvo
4 Tautologia ja looginen seuraus
5 Propositiologiikan täydellisyyslause
6 Kirjallisuutta

[muokkaa] Propositiologiikan syntaksi

Propositiologiikassa atomilauseita merkitään propositiosymboleilla $p_0, p_1, p_2,\ldots\,\!$ . Lausemuuttujina käytetään suuria kirjaimia $A,B,C,\ldots\,\!$ . Lausemuuttujat kuvaavat mielivaltaisia tai toistaiseksi määrittelemättömiä lauseita.

Propositiosymboleja voidaan määritellä seuraavaan tapaan:

$p_0 =_{df} \,\!$ " $2 + 4 = 6\,\!$ ".
$p_1 =_{df} \,\!$ "Esko ui".
$p_2 =_{df} \,\!$ "Esko kastuu".

Propositiosymboleista voidaan rakentaa kompleksisempia (monimutkaisempia) ilmaisuja loogisten operaattoreiden eli konnektiivien avulla. Joskus osa konnektiiveista voidaan korvata määrittelemällä ne muutaman valitun konnektiivin avulla. Yleensä konnektiiveja esitellään seuraavat viisi, mutta on olemassa myös pari muuta konnektiivia: Shefferin viiva ja Peircen nuoli.

Merkitys	Merkintä	Lukutapa
negaatio	$\neg{}A$	"ei A"
konjunktio	$(A\wedge{}B)$	"A ja B"
disjunktio	$(A\vee{}B)$	"A tai B"
implikaatio	$(A\to{}B)$	"jos A niin B"
ekvivalenssi	$(A\leftrightarrow{}B)$	"A jos ja vain jos B"

Seuraavassa rekursiivisessa määritelmässä määritellään kaikki propositiolauseet.

Määritelmä 1 Propositiolause

Propositiosymbolit ovat propositiolauseita.
Jos $A\,\!$ on propositiolause, niin $\neg{}A\,\!$ on propositiolause.
Jos $A\,\!$ ja $B\,\!$ ovat propositiolauseita, niin $(A\wedge{}B)\,\!$ on propositiolause.
Jos $A\,\!$ ja $B\,\!$ ovat propositiolauseita, niin $(A\vee{}B)\,\!$ on propositiolause.
Jos $A\,\!$ ja $B\,\!$ ovat propositiolauseita, niin $(A\to{}B)\,\!$ on propositiolause.
Jos $A\,\!$ ja $B\,\!$ ovat propositiolauseita, niin $(A\leftrightarrow{}B)\,\!$ on propositiolause.

Esimerkki 2 Propositiolauseita

$\neg{}p_0\,\!$
$(p_0\to{}p_1)\,\!$
$\neg((p_0 \wedge p_2) \to (p_3 \vee p_1))\,\!$

Määritelmän 1 perusteella propositiolauseet voidaan purkaa osatekijöikseen yksiselitteisellä tavalla (ks. propositiologiikan rakennepuu). Tällöin edetään vastakkaiseen suuntaan. Jos $A\,\!$ on propositiolause, niin se on välttämättä muotoa $p_i\,\!$ , $\neg{}B\,\!$ , $(B\wedge{}C)\,\!$ , $(B\vee{}C)\,\!$ , $(B\to{}C)\,\!$ tai $(B\leftrightarrow{}C)\,\!$ . Muussa tapauksessa sitä ei ole muodostettu määritelmän mukaisesti. Tämä mahdollistaa matemaattisen induktion soveltamisen logiikkaa koskevissa todistuksissa.

[muokkaa] Päättely propositiologiikassa

Propositiologiikassa (kuten formaalissa logiikassa muutenkin) voidaan erottaa kaksi päätapaa tutkia päättelyä: Päättelysäännöt (syntaktinen näkökulma) ja totuusarvon laskeminen (semanttinen näkökulma). Päättelysäännöt sinänsä eivät takaa sitä, että päättely säilyttää totuuden. Tämän takaa vasta sellaisten päättelysääntöjen käyttäminen, joiden eheys (ks. eheyslause alempana) on todistettu. Päättelysääntöjen sinänsä soveltaminen on ainoastaan uusien lauseiden johtamista jo oletetuista. Sen sijaan, jos tiettyjen päättelysääntöjen eheys on todistettu, voidaan päättelyn pätevyys todistaa jo pelkästään näihin päättelysääntöihin nojautuen. Eheydestä käytetään usein myös nimityksiä validius ja korrektisuus.

Aksioomat ...

Päättelysäännöt ...

Pari esimerkkiä ...

[muokkaa] Totuusjakauma ja propositiolauseen totuusarvo

Määritelmä 3 Totuusjakauma $v\,\!$ on kuvaus $v:\mathbb{N}\to\{0,1\}\,\!$ , jossa $1=_{df}\,\!$ "tosi" ja $0=_{df}\,\!$ "epätosi".

Määritelmä 4 Propositiosymbolien totuusarvo
$v(p_i)=_{df}v(i)\,\!$ .

Symboli $v\,\!$ esiintyy määritelmässä 4 kahdessa merkityksessä: totuusjakauman symbolina yhtäläisyysmerkin vasemmalla puolella ja propositiolauseen totuusarvon määrittäjänä oikealla puolella.

Esimerkki 5
Olkoon $v\,\!$ totuusjakauma siten, että
$v(i) =_{df} \Bigg\{\,\!$	$1$ , jos $i < 2$
	$0$ muuten.

Nyt $v(p_0)=1, v(p_1)=1, v(p_2)=0, v(p_3)=0, \ldots\,\!$

Propositiologiikan konnektiivit ovat totuusfunktionaalisia. Kutakin funktion määrittelyjoukon totuusarvoa, kaksipaikkaisten konnektiivien tapauksessa totuusarvoparia, vastaa arvojoukossa täsmälleen yksi totuusarvo. Selkeä tapa määritellä täsmällisesti konnektiivien merkitykset on totuusarvotaulukko.

Määritelmä 6 Konnektiivien totuusarvotaulukot

$A\,\!$	$B\,\!$	$\neg{}A\,\!$	$\neg{}B\,\!$	$(A\wedge{}B)\,\!$	$(A\vee{}B)\,\!$	$(A\to{}B)\,\!$	$(A\leftrightarrow{}B)\,\!$
1	1	0	0	1	1	1	1
1	0	0	1	0	1	0	0
0	1	1	0	0	1	1	0
0	0	1	1	0	0	1	1

Negaatio määrittää lauseen vastakohdan. Lause on tosi joss (jos ja vain jos) sen negaatio on epätosi. Konjunktio on tosi joss molemmat sen yhdistämät ilmaisut ovat tosia.

Luonnollisen kielen 'tai'-sana on epämääräinen. Joskus sitä käytetään inklusiivisesti, toisinaan taas eksklusiivisesti. Inklusiivisen 'tai'-sanan sisältävä ilmaisu on tosi joss toinen tai molemmat vaihtoehdoista ovat tosia. Eksklusiivinen 'tai'-ilmaisu on tosi joss vain toinen ilmaisuista on tosi mutta eivät molemmat. Logiikassa tällaista tulkinnanvaraisuutta ei ole, koska konnektiivien merkitykset määritellään täsmällisesti. Yleisempää on käyttää inklusiivista disjunktiota. Eksklusiivinen disjunktio voidaan kuitenkin määritellä seuraavasti: ' $((A \vee B) \wedge \neg(A \wedge B))\,\!$ '.

Implikaatiolla ilmaistaan totuuden riittävää tai välttämätöntä edellytystä. Lauseen ' $(A \to B)\,\!$ ' mukaan $A\,\!$ on $B\,\!$ :n riittävä edellytys ja $B\,\!$ $A\,\!$ :n välttämätön edellytys.

Ekvivalenssi on tosi joss sen yhdistämien ilmaisujen totuusarvot ovat samat.

Määritelmien 4 ja 6 perusteella voidaan laskea minkä tahansa propositiolauseen totuusarvo millä tahansa totuusjakaumalla.

Esimerkki 7
Lasketaan propositiolauseen $\neg((p_0 \wedge p_2) \to (p_3 \vee p_1))\,\!$ totuusarvo. Olkoon totuusjakauma $v\,\!$ kuten esimerkissä 5.
Määritelmän 4 nojalla $v(p_0)=1, v(p_1)=1, v(p_2)=0\,\!$ ja $v(p_3)=0\,\!$ .
Määritelmän 6 toisen rivin ja kuudennen sarakkeen mukaan $v((p_0 \wedge p_2))=0\,\!$ .
Kolmannen rivin ja kuudennen sarakkeen mukaan $v((p_3 \vee p_1))=1\,\!$ .
Kolmannen rivin ja seitsemännen sarakkeen mukaan siis $v(((p_0 \wedge p_2) \to (p_3 \vee p_1)))=1\,\!$ .
Edelleen kolmannen sarakkeen mukaan $v(\neg((p_0 \wedge p_2) \to (p_3 \vee p_1)))=0\,\!$ .

Totuustaulua voidaan käyttää myös apuvälineenä propositiolauseen totuusarvon laskemiseksi. Seuraavassa esimerkissä Arvo-riville on merkitty kunkin elementin totuusarvo ja Laskujärjestys-riville järjestys, jossa ne on merkitty.

Esimerkki 8 Propositiolauseen totuusarvo totuustaululla

	$p_0\,\!$	$p_1\,\!$	$p_2\,\!$	$p_3\,\!$	$\neg\,\!$	$((p_0\,\!$	$\wedge\,\!$	$p_2)\,\!$	$\to\,\!$	$(p_3\,\!$	$\vee\,\!$	$p_1))\,\!$
Arvo	1	1	0	0	0	1	0	0	1	0	1	1
Laskujärjestys	1	1	1	1	5	2	3	2	4	2	3	2

Propositiolauseen totuus riippuu (tietenkin sen rakenteen ohella) ainoastaan propositiosymbolien totuusarvoista. Koska jokaisella oikein muodostetulla propositiolauseella on yksiselitteinen rakennepuu, voidaan propositiolauseen totuusarvo yksiselitteisesti laskea sen sisältämien propositiosymbolien totuusarvojen perusteella, kuten esimerkeistä 7 ja 8 nähdään. Jos propositiosymbolin totuusarvo tiedetään, niin se voidaan korvata esityksessä totuusarvollaan. Myös propositiosymbolia kompleksisempi propositiolauseen osa voidaan korvata totuusarvollaan.

[muokkaa] Tautologia ja looginen seuraus

...

Klassisessa propositiologiikassa pätevät seuraavat lait:

Principium exclusi terti (lat. kielletyn kolmannen laki), jonka mukaan jokainen lause on aina tosi tai epätosi.

Principium exclusi contradictions (lat. kielletyn ristiriidan laki), jonka mukaan mikään lause ei voi olla sekä tosi että epätosi.

[muokkaa] Propositiologiikan täydellisyyslause

Propositiologiikan täydellisyyslauseen mukaan lause on tautologia, jos ja vain jos sillä on päättely. Eheyslauseen mukaan jos A:lla on päättely, jonka oletukset ovat lausejoukossa S, niin tällöin S:n ja A:n totuusjakaumat ovat samat.

[muokkaa] Kirjallisuutta

Allwood, Jens, Lars-Gunnar Andersson & Östen Dahl (1988). Logiikka ja kieli. 2. painos. Suomentanut Paavo Siro. Helsinki: Yliopistopaino. (1. painos 1980 Gaudeamuksen kustantamana. Alkuteos: Logik för lingvister, 1972. Suomennettu englanninkielisestä laitoksesta Logic in Linguistics, 1979.) ISBN 951-570-020-5

Haettu osoitteesta http://fi.wikipedia.org../../../p/r/o/Propositiologiikka.html

Luokka: Logiikka