ЗАКЛЮЧЕНИЕ
1. В монографии подробно рассмотрено применение машинно-ориентированного
семантического метода для выявления логического следования из категорических суждений с различной семантикой путем вычисления результирующих отношений без использования логики предикатов.
2. Поставлена и решена проблема формализации интегральных силлогистик с различной семантикой суждений, построена полная диаграмма дедукции для интегральной силлогистики из 50 базисных суждений, смысл которых наиболее просто выражается на естественном языке, выявлена особая роль в ней суждений Аристотеля.
3. Выявлен уникальный класс дедуктивно эффективных совершенных интегральных силлогистик традиционного типа, дана оценка мощности этого класса и построены соответствующие совершенные силлогистические системы как возможные альтернативы для традиционной аристотелевской силлогистики.
4. Предложенный метод вычисления результирующих отношений запрограммирован на ЭВМ, запатентован в Российской Федерации, подтверждает и развивает результаты Аристотеля в силлогистике.
Еще по теме ЗАКЛЮЧЕНИЕ:
- + 13. аудиторское заключение: структура, назначение, виды заключений
- 4. Порядок заключения и ведения договора ДМС Подготовка и заключение договора
- 110. Может ли быть удовлетворен иск лица, претендующего на статус субабонента, о заключении договора энергоснабжения в отсутствие согласия на заключение такого договора со стороны энергоснабжающей организации?
- Брак: понятие, условия и порядок его заключения; препятствия к заключению брака; прекращение брака. Недействительность брака
- 187. Предполагает ли заключение договора коммерческого представительства возможность для представителя изменять условия договора, заключенного во исполнение поручения, и исполнять обязанности перед третьим лицом от собственного имени?
- 2.1. Заключение договора
- Заключение договора
- N 3 Заключение эксперта
- Статья 77. Заключение эксперта
- 9.1.4. Заключение
- 7.2. Состав аудиторского заключения