A B C D E F G H I Į Y J K L M N O P R S Š T U V Z Ž   >>

Terms for subject Logic (174 entries)

įnešąs	contributory
įrodymo schema	proof schema
abstrakcijos lygis	abstraction level
apibrėžiama išraiška	definiendum
apibrėžiamas	definable
apibrėžianti išraiška	definiens
apibrėžimas	definition
apibrėžimo sritis	definition ranee
apibrėžta reikšmė	defined value
apibrėžtumas	definability
apribota indukcijos schema	restricted induction circuit
asociatyvumo dėsnis	associative law
atvirkščias dvigubo neigimo dėsnis	converse law of double negation
atvirkščias kontrapozicijos dėsnis	converse law of contraposition
šalinti	eliminate
binarinis santykis	binary relation
binarinis santykis	dyadic relation
dalinai rekursyvinė schema	partial recursive scheme
dedukcija	deduction
deduktyvus	deductive