Количество информации. Основы логики. Пчелинцева Н.В. - 30 стр.

UptoLike

ВУЗ: 

МичГАУ | Мичуринск

Составители: 

Рубрика: 

30
Опорный конспект
ОСНОВНЫЕ ПОНЯТИЯ И ОПЕРАЦИИ ФОРМАЛЬНОЙ ЛОГИКИ
Логика (от греч. logos — слово, понятие, рассуждение, разум) —
наука о законах и операциях правильного мышления
Формальная логика содержит в себе некоторые основные понятия,
такие как: высказывание, истинность высказывания и вывод.
Высказывание — грамматически правильное повествовательное
предложение, про него можно сказать, истинно оно или ложно.
Вывод — это рассуждение по правилам логики, в ходе которого из
исходных высказываний (посылок) получают новое высказывание (за-
ключение).
Формальная логика работает с логическими константами и пере-
менными. Переменные имеют самостоятельное содержание и обознача-
ются буквами.
Константы или логические связки («не», «и», «или», «если, то»,
«весь» и т. д.) не имеют содержания, они используются для получения
новых содержательных выражений из других.
Использование констант и исходных высказываний для составления
новых, сложных высказываний называют логическими операциями.
Основные логические операции
Операция отрицания (инверсия)
Присоединение «не» к высказыванию меняет его истинностное
значение на противоположное.
Логическое отрицание обозначается «А», «~А» или «А».
Таблица 2.1.- Таблица истинности для операции «отрицание»
(А — исходное высказывание, 1 — истина, 0 — ложь)
А А
1 0
0 1
Операция логического умножения (конъюнкция)
Высказывание, полученное в результате конъюнкции, истинно то-
гда и только тогда, когда истинны все исходные высказывания.
Конъюнкция обозначается «^», «&» или «х».
PDF created with FinePrint pdfFactory Pro trial version www.pdffactory.com
                                        Опорный конспект

                 ОСНОВНЫЕ ПОНЯТИЯ И ОПЕРАЦИИ ФОРМАЛЬНОЙ ЛОГИКИ
              Логика (от греч. logos — слово, понятие, рассуждение, разум) —
         наука о законах и операциях правильного мышления
              Формальная логика содержит в себе некоторые основные понятия,
         такие как: высказывание, истинность высказывания и вывод.
              Высказывание — грамматически правильное повествовательное
         предложение, про него можно сказать, истинно оно или ложно.
              Вывод — это рассуждение по правилам логики, в ходе которого из
         исходных высказываний (посылок) получают новое высказывание (за-
         ключение).
              Формальная логика работает с логическими константами и пере-
         менными. Переменные имеют самостоятельное содержание и обознача-
         ются буквами.
              Константы или логические связки («не», «и», «или», «если, то»,
         «весь» и т. д.) не имеют содержания, они используются для получения
         новых содержательных выражений из других.
              Использование констант и исходных высказываний для составления
         новых, сложных высказываний называют логическими операциями.

                                 Основные логические операции

                                 Операция отрицания (инверсия)
              Присоединение «не» к высказыванию меняет его истинностное
         значение на противоположное.
              Логическое отрицание обозначается «А», «~А» или «А».
         Таблица 2.1.- Таблица истинности для операции «отрицание»
               (А — исходное высказывание, 1 — истина, 0 — ложь)

                                              А      А
                                              1      0
                                              0      1

                       Операция логического умножения (конъюнкция)
               Высказывание, полученное в результате конъюнкции, истинно то-
         гда и только тогда, когда истинны все исходные высказывания.
               Конъюнкция обозначается «^», «&» или «х».


         30


PDF created with FinePrint pdfFactory Pro trial version www.pdffactory.com

Страницы