[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"word-päättelysysteemi":3},{"word":4,"glossSources":13,"senses":15,"sensesFi":20,"frequency":10,"etymologies":42,"etymologyFi":10,"etymologyFiLinks":10,"synonymsByPos":49,"extendedSynonymsByPos":50,"antonyms":51,"hypernyms":52,"hyponyms":53,"englishTranslations":54,"wordnetGlosses":55,"fiSynonyms":56,"fiExtendedSynonyms":57,"fiAntonyms":58,"fiExtendedAntonyms":59,"seeAlsoBase":10,"altSpellings":60,"fiBaseWords":61,"fiBaseWordsGuessed":14,"fiDerivedFrom":62,"fiCompounds":63,"fiDerived":64,"fiRelated":65,"wnAttributes":70,"wnCauses":71,"wnVerbGroups":72,"fiTranslations":73,"exampleSentences":74,"inflectionForms":86,"allInflectionForms":10,"rhymePattern":112,"rhymeSamples":113,"categories":116,"domains":117},{"id":5,"lemma":6,"hyphenation":7,"pos":8,"kotusClass":9,"kotusGradation":10,"homonymIndex":10,"ipa":11,"isStub":12},257635,"päättelysysteemi","päät­te­ly­sys­tee­mi","noun",6,null,"/ˈpæːtːelyˌsysteːmi/",false,{"enWiktionary":14,"fiWiktionary":12,"wordnet":12,"aiGeneratedEn":12,"finnWordNet":12,"psychling":12,"termipankki":14},true,[16],{"index":17,"parentIndex":10,"gloss":18,"glossLinks":10,"tags":19},0,"deductive system, deduction system",[],[21],{"index":17,"parentIndex":10,"glossFi":22,"glossFiLinks":23,"examplesFi":10,"tags":39,"source":41},"päättelysysteemi on kokoelma aksioomia ja päättelysääntöjä, joiden perusteella esitetään deduktiivisia todistuksia ja päättelyitä",[24,27,30,33,36],{"text":25,"target":26},"aksioomia","aksiooma",{"text":28,"target":29},"päättelysääntöjä","päättelysääntö",{"text":31,"target":32},"deduktiivisia","deduktio",{"text":34,"target":35},"todistuksia","todistus",{"text":37,"target":38},"päättelyitä","päättely",[40],"Filosofia","termipankki",[43],{"pos":10,"text":44,"links":45},"päättely + systeemi",[46,47],{"text":38,"target":38},{"text":48,"target":48},"systeemi",[],[],[],[],[],[],[],[],[],[],[],[],[38,48],[],[],[],[26,32,38,29,35,66,67,68,69],"todistusteoria","looginen päättely","luonnollisen päättelyn systeemi","syntaksi",[],[],[],{},[75,80],{"paragraph":76,"matchedForm":6,"matchOffset":77,"bookId":78,"bookTitle":79,"bookAuthor":10,"bookSlug":10},"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.",126,"https://fi.wikipedia.org/wiki/Kalkyyli","Kalkyyli",{"paragraph":81,"matchedForm":82,"matchOffset":83,"bookId":84,"bookTitle":85,"bookAuthor":10,"bookSlug":10},"Eheydellä  tarkoitetaan  sitä,  että  tosista  lauseista  tietyn  päättelysysteemin  nojalla  päätellyt  lauseet  ovat  nekin  tosia.","päättelysysteemin",66,"https://fi.wikipedia.org/wiki/Predikaattilogiikka","Predikaattilogiikka",{"type":87,"essive_pl":88,"essive_sg":89,"elative_pl":90,"elative_sg":91,"abessive_pl":92,"abessive_sg":93,"ablative_pl":94,"ablative_sg":95,"adessive_pl":96,"adessive_sg":97,"allative_pl":98,"allative_sg":99,"genitive_pl":100,"genitive_sg":82,"illative_pl":101,"illative_sg":102,"inessive_pl":103,"inessive_sg":104,"partitive_pl":105,"partitive_sg":106,"accusative_pl":107,"accusative_sg":82,"comitative_pl":108,"nominative_pl":107,"nominative_sg":6,"instructive_pl":109,"translative_pl":110,"translative_sg":111},"nominal","päättelysysteemeinä","päättelysysteeminä","päättelysysteemeistä","päättelysysteemistä","päättelysysteemeittä","päättelysysteemittä","päättelysysteemeiltä","päättelysysteemiltä","päättelysysteemeillä","päättelysysteemillä","päättelysysteemeille","päättelysysteemille","päättelysysteemien","päättelysysteemeihin","päättelysysteemiin","päättelysysteemeissä","päättelysysteemissä","päättelysysteemeitä","päättelysysteemiä","päättelysysteemit","päättelysysteemeineen","päättelysysteemein","päättelysysteemeiksi","päättelysysteemiksi","-ysteːmi",[48,114,115],"maaekosysteemi","informaatiosysteemi",[],[]]