Merkitys
- 1.(Filosofia)päättelysysteemi on kokoelma aksioomia ja päättelysääntöjä, joiden perusteella esitetään deduktiivisia todistuksia ja päättelyitä
Liittyvät sanat
Esimerkkilauseet
Semanttinen perustelu tälle on, että ristiriidasta seuraa jokaisen lauseen totuus, ja toisaalta jotta kalkyylin päättelysysteemi olisi mielekäs, on sen tuotettava tosia lauseita jos aksioomat ovat tosia.
Eheydellä tarkoitetaan sitä, että tosista lauseista tietyn päättelysysteemin nojalla päätellyt lauseet ovat nekin tosia.
Taivutustiedot
Taivutusluokka 6
| Sijamuoto | Yksikkö |
|---|---|
| Nominatiivi | päättelysysteemi |
| Genetiivi | päättelysysteemin |
| Partitiivi | päättelysysteemiä |
| Essiivi | päättelysysteeminä |
| Translatiivi | päättelysysteemiksi |
| Inessiivi | päättelysysteemissä |
| Elatiivi | päättelysysteemistä |
| Illatiivi | päättelysysteemiin |
| Adessiivi | päättelysysteemillä |
| Ablatiivi | päättelysysteemiltä |
| Allatiivi | päättelysysteemille |
| Abessiivi | päättelysysteemittä |
Riimit
-ysteːmi
Kaikki riimit