b |
Введение |
b |
Сквозные упражнения1 |
1. |
Терминологические диктанты. |
2. |
Упражнение «Буратино». Тот материал (узел, деталь и т.д.), который не удается запомнить, попытайтесь «записать» носом. Для этого сначала закройте глаза, затем начинаем двигать носом по воображаемой поверхности. |
3. |
Упражнение «Руководящая память». Аналогичное упражнение, но только «пишем» воображаемой ручкой. |
4. |
Упражнение «Делаем медленно». Очень просто. Делаем о.о.о.ч.е.н ь медленно. Что это дает? Попробуйте – узнаете. |
5. |
Читаем несколько раз2: - таблицы классификации; - таблицы условных обозначений; - таблицы символов; - схемы3. |
6. |
Примените метод Симонида для запоминания типов испытаний. Перечислите типы испытаний. |
7. |
Чтение кинематической схемы Порядок чтения схем 1. общее ознакомление, обзор схемы 2. по условным обозначениям элементов устанавливают вид схемы 3. подробно рассматривают элементы схемы по их условным изображениям и буквенным обозначениям: определяют точные наименования всех элементов, уточняют их характеристики, используя для этого спецификацию 4. полное уяснение принципа работы всего устройства и назначения всех его элементов путем последовательного выяснения связей между ними |
Во время выполнения заданий обратите внимание на:
Условные обозначения |
|||||
|
Работа в парах |
|
На внимание |
g |
Советы |
|
Вслух |
|
Таблица затраченного времени (ТЗВ) |
i |
Проявите творчество |
|
Письменно |
b |
Обратите особое внимание |
|
Ключи |
b |
Итак, приступим к делу |
1. Системы обозначений металлорежущих станков
4.5. Правила выводов логики высказываний
Логика высказываний – это логическая система, которая анализирует процессы рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений.
Логика высказываний может строиться табличным методом или как исчисление, т. е. как система, позволяющая получать одни выражения из других на основании известных правил. Последняя называется системой натурального вывода. Аппаратом в ней служат правила вывода, каждое из которого является элементарной формой умозаключения.
Правила вывода – это предписания или разрешения, позволяющие из суждений одной логической структуры как посылок вывести суждение некоторой логической структуры как заключение. Их особенность заключается в том, что признание истинности заключения производится на основании не содержания посылок, а их структуры.
Правила вывода записываются в виде схемы, которая состоит из двух частей (верхней и нижней), разделенных горизонтальной линией – над чертой выписываются логические схемы посылок, под ней – заключение.
Схема правил вывода:
Читается: из посылок вида А1, А2 , А3...Ап можно вывести заключение В.
Правила выводов логики высказываний делят на основные и производные.
Выводом в PN называется конечная последовательность выражений, каждое из которых есть либо 1) посылка, либо 2) доказанная штопор-формула, либо 3) получается из предыдущих выражений последовательности по одному из правил вывода системы PN; при этом последнее выражение последовательности должно быть получено либо по пункту 2, либо по пункту 3.
Последнее выражение вывода – это его заключение.
Основные правила – более простые и очевидные.
Производные выводятся из основных. Их введение сокращает процесс вывода.
Как основные, так и производные делятся на прямые и непрямые (косвенные)
Прямые правила указывают на непосредственную выводимость некоторых суждений из других суждений.
Непрямые (косвенные) правила выводов дают возможность заключить о правомерности некоторых выводов из правомерности других выводов.
В языковой практике люди (исследователи) имеют какие-то высказывания (знания) x, обладают какими-то навыками оперирования высказываниями, в том числе - навыками получения из данных высказываний новых высказываний y. В логике как науке, изучающей такого рода явления, это запишется (зафиксируется) в высказывании «Из x выводится (логически следует, дедуцируется) y». В этом высказывании слово « выводится» («логически следует», «дедуцируется») является предикатом, а не логическим оператором. Вместо него для краткости и стандартности может быть введен особый значок, например (как это делаю я) – значок ├. Повторяю и подчеркиваю: это - не оператор, а термин, причем – именно предикат. В логике обычно этот факт игнорируют и используют в качестве предиката следования (вывода) логический оператор, называемый импликацией. Это порождает путаницу и мешает пониманию сути дела. С упомянутым значком тот факт, что из высказывания x выводится высказывание y, можно для краткости записать символом x├ y. В этом высказывании терминами являются выражения «Высказывание x» и «Высказывание y». Они суть метатермины по отношению к x и y, т.е. термины, обозначающие высказывания, состоящие из терминов. В логике этот факт точно так же игнорируется, поскольку знак вывода ( следования) рассматривается как оператор. Это усугубляет путаницу. В результате проблема правил вывода вообще сводится к операторам « логики высказываний» (к функциям исчисления высказываний). Достаточно детальное решение возникающих здесь проблем дано в моей работе « Логическое следование» (помещена в сборник «Очерки комплексной логики», упомянутый во Введении).
Итак, формула x├ y есть лишь краткая и стандартизированная запись высказывания о том, что из высказывания x выводится по особым логическим правилам высказывание y. Если вывод осуществляется из двух или более высказываний x 1 , ..., x n , то эти высказывания можно рассматривать как конъюнкцию, т.е. как одно высказывание «x 1 и ... и x n ». И такие случаи сводятся к общему выражению x├ y. При этом высказывание x называется посылкой вывода (умозаключения), а высказывание y называется заключением или следствием.
Формула x├ y (Из x следует y) фиксирует связь высказываний x и y, а не связь предметов, о которых говорится в высказываниях. В каких логических структурах фиксируются связи предметов, об этом речь пойдет в дальнейшем (в разделе «Онтология»). Какие именно связи высказываний имеются в виду, этому и посвящается логическая теория вывода (логического следования).
Правила вывода вырабатываются с таким расчетом, чтобы выполнялся следующим принцип дедукции: если высказывание y по этим правилам получается из высказываний x 1 , ..., x n , и последние считаются истинными, то и y должно признать истинным.
При построении исчисления прежде всего
приводится совокупность знаков, которые будут фигурировать в нем ( их называют алфавитом), и
дается определение их комбинаций, подлежащих рассмотрению ( их называют формулами).
Затем излагаются аксиомы (или аксиомные семы) и
правила вывода теорем из аксиом.
Дается определение доказуемой формулы. В число таковых включаются аксиомы и теоремы. В моих построениях заранее предполагается, что алфавит фиксирует языковые объекты, подлежащие логической обработке, – логические операторы и конструируемые с ними высказывания и термины.
Плюс к тому – логические термины – знаки логических терминов «субъект», «предикат», «выводится» («логически следует»), «логически истинно», «доказуемо», «включается по значению», «тождественно по значению», «дедуктивно эквивалентно» и т.д. В логике обычно логические термины путаются с логи- ческими операторами. Например, на роль предиката вывода ( следования) выбирается одна из функций логики высказываний – импликация. Доказуемые формулы заранее планируются на роль описания правил вывода (следования, умозаключения).