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 formula

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

konstante

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, derivation

atvasināt, izvest, izvedums

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 constant

funkcijas konstante

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, nesaskaņots

independent

neatkarīgs

instead of x

x vietā

intended

iecerētais

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 constant

predikāta konstante

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, sagā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