[A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [K] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] [X] [Y] [Z] [Ä] [Ö]
Stoalaisten ja keskiaikana skolastikkojen kehittämä logiikan muoto, joka mahdollistaa Aristoteleen kehittämää syllogistiikkaa mutkikkaampien päättelyiden esittämisen. Toisin kuin syllogistinen logiikka, lauselogiikka ei aseta mitään sisäisiä rajoituksia sille miten mutkikkaita propositioita päättelyssä voidaan käyttää (syllogismissa päättelyn premissien on oltava subjekti-predikaatti muotoa, esim. "Sokrates on kuolevainen"). Lauselogiikka sallii mielivaltaisen monimutkasten propositioiden yhdistämisen toisiinsa konnektiivien ("ei", "ja", "tai", "vain jos") avulla, ja mikä tärkeintä, näin saadut yhdistelmäpropositiot voivat olla osapropositioina vielä mutkikkaammissa propositioissa.
© Otto Lappi 2001 (otto.lappi@edu.espoo.fi).
Sivu päivitetty viimeksi 22/06/2001.