|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Evgenij Masherov 2:5020/175.2 19 Feb 2003 11:52:32
To : Evgeny Sharandin
Subject : Ускорение поиска максимума...
--------------------------------------------------------------------------------
Tue Feb 18 2003 08:14, Evgeny Sharandin wrote to Evgenij Masherov:
EM>> 7.4.2. Binary Integers
ES> Это "внешние" форматы. Для обработки и внутреннего хранения они не
ES> используются и утверждение о том, что ФПУ x87 с числами в дополнительном
ES> коде не работает остается в силе.
Это интересно. А какие форматы для целых чисел внутренние?
ES> Силлогизм - доказательство не того, что требуется, а внешне схожего ;)
Силлогизм (греч. syllogismós), вид дедуктивного умозаключения, две
посылки и заключение которого имеют одну и ту же субъектно-предикатную
структуру. Hаименование "С." прилагают чаще всего к так называемым
категорическим С., посылки и заключения которых суть высказывания (суждения),
выраженные посредством простых предложений, предикатами которых (в обычном
грамматическом смысле, т. е. попросту сказуемыми) служит глагол-связка "есть"
(в изъявительном наклонении, единственном или множественном числе, с
отрицанием или без такового), связывающий термины данного предложения: субъект
(подлежащее) и предикат (в логическом смысле слова; в данном случае -
наименование некоторого класса), причём предложения эти образованы с помощью
т. н. кванторных слов (см. Квантор) "все" (или "всякий", "каждый", "любой" и
т. п.) и "некоторый" (или "имеется", "существует" и т. п.). Такие предложения
могут иметь одну из следующих четырёх форм (прописными лат. буквами
обозначаются термины): "Всякое R есть Q" (такое высказывание называется
общеутвердительным и обозначается обычно буквой А), "Hи одно R не есть Q"
(общеотрицательное, обозначается через Е), "Hекоторое R есть Q"
(частноутвердительное, I) и "Hекоторое R не есть Q" (частноотрицательное, О).
Примерами категорических С. могут служить рассуждения: "Hи одно Р не есть М,
некоторые S суть М; следовательно, некоторые S не суть Р" (или, в форме
условного высказывания: "Если ни одно Р не есть М и некоторые S есть М, то
некоторое S не есть Р"), "Всякое М есть Р, всякое S есть М; следовательно,
всякое S есть Р" (такой вид имеет хрестоматийный пример С.: "Все люди смертны,
все греки - люди; следовательно, все греки смертны") и т. п. Посылку,
содержащую предикат заключения ("больший термин" Р), называют большей
посылкой; посылку, содержащую субъект заключения ("меньший термин" S), -
меньшей посылкой. По положению "среднего термина" М, входящего лишь в посылки
С., различают четыре фигуры С.: в 1-й М служит субъектом в большей посылке и
предикатом в меньшей, во 2-й - предикатом в обеих посылках, в 3-й - субъектом
в обеих посылках, в 4-й - предикатом в большей и субъектом в меньшей. В
зависимости же от форм силлогистических предложений (А, Е, I или О) говорят о
различных модусах С. Поскольку в каждой фигуре мыслимы 4-4-4 = 64 модуса, то
имеет смысл говорить всего о 256 модусах. Правильными же (т. е.
обеспечивающими получение истинного заключения из истинных посылок)
оказываются лишь 24, в том числе 5 "ослабленных" (допускающих усиление,
например замену частного предложения в заключении на общее), так что во всех 4
фигурах остаётся 19 неослабленных правильных модусов С. (первая буква
характеризует ниже вид большей посылки, вторая - меньшей, третья -
заключения): ААА, EAE, All и EIO 1-й фигуры, EAE, AEE, EIO и AOO 2-й, AAI,
IAI, AII, EAO, OAO и EIO 3-й и AAI, AEE, IAI, EAO и EIO 4-й фигуры.
Обоснование правильности этих модусов С. и неправильности остальных даётся в
силлогистике.
Термином "С." пользуются также в более широком смысле - в применении к
умозаключениям, образованным из предложений других видов; так, говорят об
условных, условно-категорических, разделительно-категорических и
условно-разделительных С. Hаконец, тот же термин употребляется иногда и просто
в качестве синонима термина "умозаключение".
(БСЭ)
Евгений Машеров АКА СанитарЖеня
--- ifmail v.2.15dev5
* Origin: FidoNet Online - http://www.fido-online.com (2:5020/175.2)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
