- равные дедуктивно
- interdeducible
Большой англо-русский и русско-английский словарь. 2001.
равные дедуктивно
Смотреть что такое "равные дедуктивно" в других словарях:
ЕВКЛИД АЛЕКСАНДРИЙСКИЙ — (предположительно 330 277 до н.э.) математик Александрийской школы Древней Греции, автор первого дошедшего до нас трактата по математике. Е. (возможно) получил образование в Академии Платона (Афины). Свои труды Е. писал по единой схеме в форме… … История Философии: Энциклопедия
Начала Евклида — Эту страницу предлагается переименовать в Начала. Пояснение причин и обсуждение на странице Википедия:К переименованию/29 августа 2012. Возможно, её текущее название не соответствует нормам современного русского языка и/или правилам… … Википедия
ЕВКЛИД Александрийский (предположительно 330-277 до н.э.) — математик Александрийской школы Древней Греции, автор первого дошедшего до нас трактата по математике. Е. (возможно) получил образование в Академии Платона (Афины). Свои труды Е. писал по единой схеме в форме дедуктивно систематизированных… … История Философии: Энциклопедия
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч … Математическая энциклопедия
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия
КОЛИЧЕСТВО — филос. категория, отображающая общее в качественно однородных вещах и явлениях. Чтобы выявить в них это общее, необходимо, во первых, установить их однородность, т.е. показать, в каком именно отношении они эквивалентны между собою, во вторых,… … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ФЕЙЕРАБЕНД — (Feyerabend) Пол (1924 1994) амер. философ и методолог науки. Один из наиболее ярких и оригинальных представителей постпозитивизма. Род. в Вене, изучал математику, астрономию, теорию искусства, историю в Венском ун те, теорию драматургии в… … Философская энциклопедия
ФЕЙЕРАБЕНД (FEYERABEND) Пол Карл — (1924 1994) амер. философ и методолог науки. Один из наиболее ярких и оригинальных представителей постпозитивизма. Род. в Вене, изучал математику, астрономию и историю в Венском ун те, теорию драматургии в Веймаре. Одним из его учителей в Вене… … Современная западная философия. Энциклопедический словарь
Рационалистическая метафизика 17 в. Декарт, Спиноза, Лейбниц — кратко Рационализм в теории познания XVII в. представлен учениями Р. Декарта, Б. Спинозы, Г. Лейбница. Центральным понятием рационалистической метафизики является понятие субстанции, корни которого лежат в античной онтологии. Декарт определяет… … Малый тезаурус мировой философии
