Terminu vārdnīca
| above formula | augstākminētā formula |
| according to | saskaņā ar |
| admissible substitution | pieļaujama substitūcija |
| admit | pieļaut |
| allow | atļaut, pieļaut |
| almost | gandrīz |
| already | jau |
| always | vienmēr |
| among | starp |
| anything | jebkas |
| appear | parādīties |
| applicable | lietojams |
| apply | pielietot, izmantot |
| approach | pieeja |
| appropriate | piemērots |
| arbitrary | patvaļīgs |
| arrive | nonākt |
| artificial intelligence | mākslīgais intelekts |
| assert, assertion | apgalvot, apgalvojums |
| assign | piešķirt |
| assume, assumption | pieņemt, pieņēmums |
| atomic formula | atomāra (elementāra) formula |
| become | kļūt |
| below | zem, zemāk |
| between | starp |
| bound variable | saistīts mainīgais |
| both | abi |
| brick | ķiegelis |
| checking correctness | pareizības (korektības) pārbaude |
| clever | gudrs |
| clause form | klauzulu forma |
| closed fomula | slēgta formula |
| common | kopīgs, vispārējs, parasts |
| compare | salīdzināt |
| complete, completeness | pilnīgs (pabeigts), pilnība |
| compound | salikts |
| connective | saiklis (operācija) |
| consider | aplūkot |
| constant letter | konstantes burts (simbols) |
| consistency, consistent | bezpretrunība, bezpretrunīgs |
| contain | saturēt, iekļaut |
| contradiction | pretruna |
| Contraposition Law | kontrapozīcjas likums |
| convenient | ērts |
| converse | apgrieztais (apgalvojums) |
| degree | pakāpe, grāds |
| denote | apzīmēt |
| denumerable | sanumurējams |
| depth, deep | dziļums, dziļš |
| derive | atvasināt, izvest |
| describe | aprakstīt |
| domain | (definīcijas) apgabals, domeins |
| Double Negation Law | divkāršās negācijas likums |
| drop | atmest, nomest |
| effectively denumerable | efektīvi (rekursīvi) sanumurējams |
| elimination | izslēgšana |
| empty | tukšs |
| enumerable | sanumurējams |
| equality | vienādība |
| equation | vienādojums |
| establish | konstatēt, nodibināt |
| estimate | novērtēt, novērtējums |
| even more | vēl vairāk |
| even number | pārkaitlis |
| exercise | vingrinājums, uzdevums |
| expression | izteiksme |
| finite | galīgs |
| first glance | pirmais skatiens |
| first order arithmetic | pirmās pakāpes aritmētika |
| first order language | pirmās pakāpes valoda |
| force | spēks, piespiest (ar varu) |
| free variable | brīvs mainīgais |
| function letters | funkciju burti (simboli) |
| gather | savākt |
| Generalization Rule | vispārināšanas likums (kārtula) |
| ground clause | pamatklauzula |
| half | puse (1/2) |
| hence | no šejienes |
| high, higher | augsts, augstāks |
| how | kā, kādā veidā |
| iff (if and only if) | tad un tikai tad |
| imagine | iztēloties, iedomāties |
| immediately | uzreiz, nekavējoties |
| important | svarīgs |
| impossible | neiespējams |
| include | iekļaut |
| incomplete, incompleteness | nepilnīgs, nepilnība |
| inconsistent | pretrunīgs |
| independent | neatkarīgs |
| instead of x | x vietā |
| intended | iecerēt |
| investigate | pētīt, izmeklēt |
| iterate | atkārtot |
| know | zināt |
| Law of Non-Contradiction | pretrunas nolieguma likums |
| Law of Syllogism | siloģisma likums |
| Law of the Excluded Middle | trešā izslēgtā likums |
| logical connective | loģikas saite (operācija) |
| logically valid | loģiski vispārderīgs (pareizs) |
| low, lower | zems, zemāks |
| mainly | galvenokārt |
| many | daudz |
| meaning | jēga |
| member | kopas elements, loceklis, biedrs |
| mention | pieminēt |
| Modus Ponens | Modus Ponens likums (kārtula) |
| necessary | nepieciešams |
| non-logical axioms | ne-loģiskās (specifiskās) aksiomas |
| notion | jēdziens |
| obtain | iegūt |
| occur | parādīties |
| occurrence | instance (parādīšanās) |
| odd number | nepārskaitlis |
| of course | protams |
| omitting parentheses | iekavu atmešana |
| possess property | piemīt īpašība |
| possible, possibility | iespējams, iespēja(mība) |
| predicate calculus | predikātu rēķini |
| predicate letters | predikātu burti (simboli) |
| Premise Permutation Law | premisu permutācijas likums |
| prenex normal form | priekšējā normālforma |
| prime (prime number) | pirmskaitlis |
| priority rules | prioritātes likumi (kārtulas) |
| proof | pierādījums |
| property | īpašība, īpašums |
| proposition | apgalvojums (izteikums) |
| propositional | propozicionāls, izteikumu- |
| propositional calculus | izteikumu rēķini |
| provable | pierādāms |
| prove | pierādīt |
| provide | nodrošināt, apgādāt |
| quantifier | kvantors |
| range | (vērtību) apgabals, diapazons |
| rank | rangs |
| ready | gatavs |
| reasoning | spriešana, prātošana |
| recall | atcerēties |
| regard | uzskatīt |
| reject | noraidīt |
| remain | palikt |
| repeat | atkārtot |
| replace | aizvietot |
| Replacement Theorem | teorēma par substitūciju |
| require, requirement | prasīt, prasība |
| resolution method | rezolūciju metode |
| responsibility | atbildība |
| restore | atjaunot |
| restrict | ierobežots |
| rule of inference | izveduma likums (kārtula) |
| satisfiable | izpildāms |
| sequence | virkne |
| set | kopa |
| simple | vienkāršs |
| simultaneously | vienlaicīgi |
| since x | tā kā x, kopš x |
| striking | iespaidīgs |
| solvable theory | atrisināma teorija |
| step | solis |
| sufficient | pietiekams |
| suited, suitable | piemērots, piemērojams |
| term | terms |
| thus | tā, tādā veidā |
| translate | tulkot |
| truth value | patiesuma vērtība |
| twice | divkārt, divreiz |
| twin | dvīnis |
| twin primes | dvīņu pirmskaitļi |
| universe | universums |
| unsolvable | neatrisināms |
| useful | lietderīgs |
| valid | pareizs, derīgs |
| variable | mainīgais |
| verify | pārbaudīt, pārliecināties |
| way | ceļš, veids |
| weak | vājš |
| yield | "dot", producēt |