теорема тавтологии

теорема тавтологии
мат. tautology theorem

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "теорема тавтологии" в других словарях:

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • логика —         ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… …   Энциклопедия эпистемологии и философии науки

  • логика высказываний —         ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий         сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… …   Энциклопедия эпистемологии и философии науки

  • пропозициональная логика —         ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий         сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… …   Энциклопедия эпистемологии и философии науки

  • Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици …   Википедия

  • Исчисление высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …   Википедия

  • Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …   Википедия

  • Пропозициональная логика — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …   Википедия

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

  • логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… …   Словарь терминов логики

  • ПАТРИСТИКА — (лат. patres отцы) направление философско теологической мысли 2 8 вв., связанное с деятельностью раннехристианских авторов Отцов Церкви. Семантико аксиологические источники оформления П. античная философия (общерациональный метод и конкретное… …   История Философии: Энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»