[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"word-predicate logic":3},{"ipa":4,"local":7,"defs":10,"related":28},{"ipa":5,"mp3_url":6},"ˈprɛdɪkət ˈlɑʤɪk","\u002Faudio\u002Fpredicate.mp3",{"found":8,"sections":9},false,[],{"word":11,"found":12,"phonetic":13,"audio":13,"meanings":14,"source":26,"vi_ready":12,"v":27,"cached":12},"predicate logic",true,"",[15],{"definitions":16,"partOfSpeech":25},[17,21],{"example":13,"synonyms":18,"viExample":13,"viMeaning":19,"definition":20},[],"(logic) Thuật ngữ chung cho các hệ thống hình thức mang tính biểu tượng như logic bậc nhất, logic bậc hai, logic nhiều sắp xếp hoặc logic vô hạn.","(logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.",{"example":13,"synonyms":22,"viExample":13,"viMeaning":23,"definition":24},[],"(lôgic) Logic bậc nhất.","(logic) First-order logic.","noun","freedictionaryapi.com","1.1.0",{"word":11,"nearby":29},[30,31,32,33,34,35,36,37,38,39,40,41],"predecessor","predestine","predestined","predetermine","predetermined","predicament","predict","predictable","predicted","prediction","predictive","predicts"]