The word is in the Wiktionary2 short excerpts of Wiktionnary (A collaborative project to produce a free-content dictionary.)— English words —- predicate␣logic n. (Logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted…
- predicate␣logic n. (Logic) First-order logic.
20 English words from 2 English definitionsfirst first-order first-order␣logic for formal formal␣systems generic generic␣term like logic many order second second-order second-order␣logic sorted symbolic systems term The One suffix (New word found by adding one or more letters at the end of the word.)predicate␣logics One prefix (New word found by adding one or more letters in front of the word.)monadic␣predicate␣logic 38 words-in-word (Words found as is inside the word. Minimum size 3 letters.)ate Até Atë -ate atel- atelo- cat Cat CAT cate Cate DIC EDI elo Elo ICA -ica log -log Logi logic -logic ogi pre pre- pred pred- -pred- predicate red Red RED -red Redic tel TEL Tel. telo- 35 words-in-word RTL (Words found written from right to left, inside the word. Minimum size 3 letters.)ACI acid ACID acider CID -cide cider cig der Der Der. derp ERP eta ETA gol göl gole Goleta ide Ide IDE -ide Ider IDer IGO let -let ole OLE olé -ole 'Ole tac TAC One anagram found with an extra letter (New word formed with all the letters from the word and an extra letter.)predicate␣logics
Recommended websites
See this word in another languageFrançais Español Italiano Deutsch Português Nederlands
|