Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Arabic
Bulgarian
Chinese
Croatian
Czech
Danish
Dutch
English
Estonian
Finnish
French
German
Greek
Hungarian
Irish
Italian
Japanese
Korean
Latin
Latvian
Lithuanian
Maltese
Norwegian Bokmål
Polish
Portuguese
Romanian
Russian
Slovak
Slovene
Spanish
Swedish
Turkish
Ukrainian
⇄
Arabic
Bulgarian
Chinese
Croatian
Czech
Danish
Dutch
English
Estonian
Finnish
French
German
Greek
Hungarian
Irish
Italian
Japanese
Korean
Latin
Latvian
Lithuanian
Maltese
Norwegian Bokmål
Polish
Portuguese
Romanian
Russian
Slovak
Slovene
Spanish
Swedish
Turkish
Ukrainian
А
Б
В
Г
Д
Е
З
И
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Ц
Ч
Ш
Э
Я
<<
>>
Terms for subject
Logic
(695 entries)
формальная система
set of inference rules
Alex_Odeychuk
формальный аксиоматический аппарат
formal axiomatic apparatus
Alex_Odeychuk
формула логики первого порядка
formula of first-order logic
Alex_Odeychuk
формула с кванторами
quantified formula
Alex_Odeychuk
формула с квантором
quantified formula
Alex_Odeychuk
функция
connective
функция истинности
truth-function
целенаправленно
in a goal-directed manner
Alex_Odeychuk
частично-рекурсивная схема
partial recursive scheme
частноотрицательное суждение
particular negative proposition
Rusurano
частноутвердительное суждение
particular affirmative proposition
Rusurano
частный
subaltern
чётко определённая логика
well-defined logic
Alex_Odeychuk
чёткое значение
crisp value
Pall
чёткость
neatness
член отношения
relate
чучело
straw man
Tallulah
шкала Крипке
Kripke frame
alexeyaxim
шкала Крипке
modal frame
alexeyaxim
эвристика
heuretic
Get short URL