Классическая логика высказываний
Описание файла
Документ из архива "Классическая логика высказываний", который расположен в категории "". Всё это находится в предмете "логика" из 9 семестр (1 семестр магистратуры), которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "логика эвм" в общих файлах.
Онлайн просмотр документа "Классическая логика высказываний"
Текст из документа "Классическая логика высказываний"
Классическая логика высказываний.
Язык классических высказываний (проподициональная логика).
Суждения – смысл. Высказывание – знак. Предложение – знак на собственном языке.
Набор связок, который позволяет все остальные функции – называется функциональным полным. Отрицание (однаместна). Коньюнция соединение («И»). дизьюнкция, разединяет(«ИЛИ»). Импликация (если то). Эквиваленция (тогда и только тогда). Строгая дизьюкция (либо, либо).
Репульсивное определение л.в.
1. все пропорциональные формулы являются формулами (атмарные, элементарные, простые).
2. если А и В формулы и между ними поставлен знак функции, то это тоже формулы (молекулярные, составные, сложные).
Больше никаких формул логических высказываний НЕТ.
Семантика классической логике высказываний.
Табличная истинности. Виды формул.