todennuslauseessa

Todennuslauseessa on suomalainen termi, joka liittyy kirjoitetun argumentin rakenteellisiin osiin. Se tarkoittaa lauseen tai lausekkeen osaa, jossa esitetään väiteen todistukseen tai perusteluun liittyvä todennus. Kielessä -essa-liite on inessiivinen ja viittaa siihen, että jokin osa tekstistä sijaitsee todistuksen tai argumentin sisällä. Käytännössä todennuslauseessa viitataan usein siihen lauseeseen, jossa annetaan premissit tai perustelut, joiden pohjalta johtopäätös voidaan todistaa.

Käyttö ja toiminto voidaan tiivistää seuraavasti:

- Funktio: Todennuslauseessa annetaan väiteen tueksi tarvittavat perusteet tai todisteet. Se voi toimia premissinä tai osana todistuksellista rakennetta.

- Rakenteen osa: Se erottuu muista lauseista siten, että sen tarkoitus on osoittaa todistettavuus, ei pelkästään väitteen ilmaiseminen. Tämä on erityisen yleistä matemaattisissa ja filosofisissa teksteissä sekä oikeudellisessa tai teknisessä kirjoittamisessa, jossa perustelut ovat olennaisia.

- Kielellinen käyttö: Todennuslauseessa käytetään usein ilmauksia, jotka johdattavat seuraavaan johtopäätökseen tai jotka selittävät edellytykset, kuten "koska", "olettaen että" tai "todetetaan".

Esimerkki: Oletetaan, että n on kokonaisluku. Todennuslauseessa todetaan, että n^2 on ei-negatiivinen. Tämän perusteella voidaan johtaa seuraava johtopäätös. Tällainen rakenne auttaa sekä kirjoittajaa että lukijaa seuraamaan todistusketjua.

Nykykäytännössä termi esiintyy lähinnä teknisissä tai akateemisissa yhteyksissä. Tällä hetkellä "todennuslauseessa" ei ole laajasti standardoitua vastinekäytäntöä yleiskielessä, vaan sen merkitys selittyy kontekstin mukaan.