-
1 дедуктивно равный
interdeducibleБольшой англо-русский и русско-английский словарь > дедуктивно равный
-
2 дедуктивно-равный
interdeductiveБольшой англо-русский и русско-английский словарь > дедуктивно-равный
-
3 interdeducible
1) Математика: взаимно выводимый, дедуктивно равный2) Вычислительная техника: взаимно-выводимый, дедуктивно-равный3) Космонавтика: взаимно выводимо -
4 interdeducible
-
5 interdeductive
взаимно выводимый, дедуктивно-равныйEnglish-Russian dictionary of computer science and programming > interdeductive
-
6 interdeducible
-
7 interdeductive
взаимно выводимый, дедуктивно-равный -
8 interdeducible
логикавзаимно выводимый, дедуктивно равный -
9 interdeductive
взаимно выаодимый; дедуктивно-равный -
10 interdeducible
взаимно-выводимый; дедуктивно-равный
См. также в других словарях:
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
