- метод истинностных таблиц
- truth table method
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА — раздел дедуктивной логики, в котором вопрос об истинности (или ложности) высказываний (т. е. суждений, рассматриваемых без их субъектно предикатной структуры) в умозаключениях рассматривается на основе изучения следующего средства их выражения т … Современный философский словарь
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ПОСТ ЭМИЛЬ ЛЕОН — ПОСТ ЭМИЛЬ ЛЕОН (Post Emu Leon) (11 февраля 1897, Августов, Польша 21 апреля 1954, Нью Йорк) американский логик и математик. В 1920 получил степень доктора философии в Колумбийском университете. Читал лекции по математике и логике в этом… … Философская энциклопедия
Цивилизация — (Civilization) Мировые цивилизации, история и развитие цивилизации Информация о понятии цивидизации, история и развитие мировых цивилизаций Содержание Содержание Цивилизация: Истоки употребления слова История мировых цивилизаций Единство природы … Энциклопедия инвестора