[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"word-predikaattilogiikka":3},{"word":4,"glossSources":11,"senses":13,"sensesFi":18,"frequency":24,"etymologies":34,"etymologyFi":8,"etymologyFiLinks":8,"synonymsByPos":42,"extendedSynonymsByPos":43,"antonyms":44,"hypernyms":45,"hyponyms":53,"englishTranslations":54,"wordnetGlosses":60,"fiSynonyms":61,"fiExtendedSynonyms":62,"fiAntonyms":63,"fiExtendedAntonyms":64,"fiBaseWords":65,"fiBaseWordsGuessed":10,"fiDerivedFrom":66,"fiCompounds":67,"fiDerived":68,"fiRelated":69,"fiTranslations":80,"exampleSentences":81,"inflectionForms":93,"allInflectionForms":8,"rhymePattern":119,"rhymeSamples":120},{"id":5,"lemma":6,"pos":7,"kotusClass":8,"kotusGradation":8,"homonymIndex":8,"ipa":9,"isStub":10},153956,"predikaattilogiikka","noun",null,"/ˈpredikɑːtːiˌloɡiːkːɑ/",false,{"enWiktionary":12,"fiWiktionary":10,"wordnet":10,"aiGeneratedEn":10,"finnWordNet":12,"psychling":12,"termipankki":12},true,[14],{"index":15,"parentIndex":8,"gloss":16,"glossLinks":8,"tags":17},0,"predicate logic",[],[19],{"index":15,"parentIndex":8,"glossFi":20,"glossFiLinks":8,"examplesFi":8,"tags":21,"source":23},"klassisen logiikan toinen ja lauselogiikan sisältävä logiikka, joka antaa myös lauselogiikan atomilauseille loogisen rakenteen",[22],"Filosofia","termipankki",{"totalAbs":25,"totalRelative":26,"avgRelative":27,"corpora":28},181,0.068961814,0.22709413,{"s24":29,"klk":30,"lehdet":31,"wiki":32,"reddit":33,"opensub":15},0.042939335,0.029057268,0.17263295,1.0528402,0.065095,[35],{"pos":8,"text":36,"links":37},"predikaatti + logiikka",[38,40],{"text":39,"target":39},"predikaatti",{"text":41,"target":41},"logiikka",[],[],[],[46,49,51],{"word":47,"gloss":48},"matemaattinen logiikka","any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity",{"word":50,"gloss":48},"symbolinen logiikka",{"word":52,"gloss":48},"formaalinen logiikka",[],[55,58],{"word":56,"type":57},"functional calculus","synonym",{"word":59,"type":57},"predicate calculus",[],[],[],[],[],[39,41],[],[],[],[70,71,72,39,73,74,75,76,77,41,78,79],"kvanttori","lauselogiikka","päättely","relaatio","eksistenssikvanttori","ensimmäisen kertaluvun logiikka","fantologia","klassinen logiikka","toisen kertaluvun logiikka","universaalikvanttori",{},[82,87],{"paragraph":83,"matchedForm":6,"matchOffset":84,"bookId":85,"bookTitle":86,"bookAuthor":8,"bookSlug":8},"Ensimmäisen  kertaluvun  predikaattilogiikka,  joskus  lyhyemmin  pelkästään  predikaattilogiikka,  tutkii  kieliä,  jotka  mallintavat  luonnollisen  kielen  subjekti -predikaattimuodon  lauseita,  loogisia  operaatioita  näillä  lauseilla  sekä  näiden  lauseiden  yleistyksiä.",25,"https://fi.wikipedia.org/wiki/Predikaattilogiikka","Predikaattilogiikka",{"paragraph":88,"matchedForm":89,"matchOffset":90,"bookId":91,"bookTitle":92,"bookAuthor":8,"bookSlug":8},"Propositiologiikalle  ja  predikaattilogiikalle  on  omat  eheyslauseensa,  jotka  kertovat  luonnollisen  päättelyn  olevan  eheä.","predikaattilogiikalle",26,"https://fi.wikipedia.org/wiki/Luonnollinen%20p%C3%A4%C3%A4ttely","Luonnollinen päättely",{"type":94,"essive_pl":95,"essive_sg":96,"elative_pl":97,"elative_sg":98,"abessive_pl":99,"abessive_sg":100,"ablative_pl":101,"ablative_sg":102,"adessive_pl":103,"adessive_sg":104,"allative_pl":105,"allative_sg":89,"genitive_pl":106,"genitive_sg":107,"illative_pl":108,"illative_sg":109,"inessive_pl":110,"inessive_sg":111,"partitive_pl":112,"partitive_sg":113,"accusative_pl":114,"accusative_sg":107,"comitative_pl":115,"nominative_pl":114,"nominative_sg":6,"instructive_pl":116,"translative_pl":117,"translative_sg":118},"nominal","predikaattilogiikkoina","predikaattilogiikkana","predikaattilogiikoista","predikaattilogiikasta","predikaattilogiikoitta","predikaattilogiikatta","predikaattilogiikoilta","predikaattilogiikalta","predikaattilogiikoilla","predikaattilogiikalla","predikaattilogiikoille","predikaattilogiikoiden","predikaattilogiikan","predikaattilogiikoihin","predikaattilogiikkaan","predikaattilogiikoissa","predikaattilogiikassa","predikaattilogiikoita","predikaattilogiikkaa","predikaattilogiikat","predikaattilogiikkoineen","predikaattilogiikoin","predikaattilogiikoiksi","predikaattilogiikaksi","-oɡiːkːɑ",[41,121,122],"aikalogiikka","moniarvologiikka"]