Тема3

Тема3: Элементы математической логики
Встреча математики с логикой в прошлом столетии привела к таким же последствиям что и приход принца в зачарованный замок спящей красавицы после... Л Э Гуревич Э Б Глинер... Введение...

1. Высказывание – это повествовательное предложение (утверждение), о котором можно говорить, что оно истинно или ложно.
2. Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками.
3. Конъюнкцией двух высказываний называется новое высказывание, которое истинно тогда и только тогда, когда оба высказывания истинны.
4. Дизъюнкцией двух высказываний является новое высказывание, которое ложно тогда и только тогда, когда оба высказывания ложны.
5. Импликацией двух высказываний называется новое высказывание, которое ложно тогда и только тогда, когда первое высказывание истинно, а второе – ложно.
6. Формулы логики высказываний
7. Никаких других формул в логике высказываний нет.
8. Формулы, принимающие значение «истина» при всех наборах значений входящих в нее переменных, называются тождественно истинными или тавтологиями.
9. Формулы F1 и F2 называются равносильными, если их эквиваленция – тавтология.

тема3 к занятию по детской хирургии
Нижняя (преимущественно будущая толстая кишка) проходит путь снизу налево через верх вправо, в нормальное положение толстой кишки у взрослого.… Такая пуповинная грыжа развивается в норме у каждого ребенка. Поворот кишки… Поскольку брызжейка тонкая и длинная, возможен заворот кишки. Задержка на втором периоде поворота приводит к синдрому…