- пустое утверждение
- dummy statement, null statement
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ПУСТОЕ МНОЖЕСТВО — множество, не содержащее элементов. Обозначения: , Л. Иначе, ={х: х х}, при этом вместо х х в этом определении можно было бы использовать любое всегда ложное утверждение. П. м. является подмножеством любого множества. М. И. Войцеховский … Математическая энциклопедия
Пушкин, Александр Сергеевич — — родился 26 мая 1799 г. в Москве, на Немецкой улице в доме Скворцова; умер 29 января 1837 г. в Петербурге. Со стороны отца Пушкин принадлежал к старинному дворянскому роду, происходившему, по сказанию родословных, от выходца "из… … Большая биографическая энциклопедия
Сперанский, граф Михаил Михайлович — — государственный деятель времен Александра ? и Николая I (1772—1839 г.). I. Сперанский родился 1 января 1772 г. в селе Черкутине, Владимирского уезда, где отец его, Михаил Васильевич, был священником. Семи лет отдан был отцом во… … Большая биографическая энциклопедия
ЖИЗНЬ — Иисус Христос Спаситель и Жизнеподатель. Икона. 1394 г. (Художественная галерея, Скопье) Иисус Христос Спаситель и Жизнеподатель. Икона. 1394 г. (Художественная галерея, Скопье) [греч. βίος, ζωή; лат. vita], христ. богословие в учении о Ж.… … Православная энциклопедия
Эйнштейн, Альберт — Запрос «Эйнштейн» перенаправляется сюда; см. также другие значения. Альберт Эйнштейн Albert Einstein … Википедия
Эйнштейн А. — Альберт Эйнштейн Albert Einstein Дата рождения: 14 марта 1879 Место рождения … Википедия
Эйнштейн Альберт — Альберт Эйнштейн Albert Einstein Дата рождения: 14 марта 1879 Место рождения … Википедия
Эйнштейн — Эйнштейн, Альберт Альберт Эйнштейн Albert Einstein Дата рождения … Википедия
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… … Философская энциклопедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
ДВОЙНАЯ ИСТИНА — [двойственная истина, «двух истин» теория], термин, служащий для обозначения возникшего в средние века учения об одновременной истинности или взаимной независимости ряда положений философии и богословия, которые вступают в видимое противоречие… … Православная энциклопедия