DictionaryForumContacts

   
А Б В Г Д Е З И К Л М Н О П Р С Т У Ф Ц Ч Ш Э Я   <<  >>
Terms for subject Logic (695 entries)
условие истинности уравнения truth set
условный член antecedent
утвердительное высказывание positive statement Pothea­d
фактологическая основа basis in fact Alex_O­deychuk
фальсифицируемость falsifiability
фиктивный аргумент quasi argument Andrey­ Truhac­hev
флюэнтное исчисление fluent calculus Alex_O­deychuk
форма логического умозаключения pattern of logical thought Alex_O­deychuk
формализм логики первого порядка first-order logic-based formalism Alex_O­deychuk
формализм логики первого порядка first order logic formalism Alex_O­deychuk
формальная система set of inference rules Alex_O­deychuk
формальный аксиоматический аппарат formal axiomatic apparatus Alex_O­deychuk
формула логики первого порядка formula of first-order logic Alex_O­deychuk
формула с кванторами quantified formula Alex_O­deychuk
формула с квантором quantified formula Alex_O­deychuk
функция connective
функция истинности truth-function
целенаправленно in a goal-directed manner Alex_O­deychuk
частично-рекурсивная схема partial recursive scheme
частноотрицательное суждение particular negative proposition Rusura­no