Prindi | E-postile | Salvesta 
lausearvutus
propositional calculus; sentential calculus
ESTER | ISE | ERB | Google
Asendab:lauseloogika propositional logic; sentential logic
Laiemad:matemaatiline loogika logical calculus; mathematical logic
Seotud:arvutamine computation
Boole'i algebra Boolean algebra
deduktsioon deduction (logic); deductive logic; deductive reasoning
väited propositions
Valdkonnad:01 FILOSOOFIA. EETIKA. SEMIOOTIKA.
21 MATEMAATIKA.