Тема х. Основные понятия и положения логики высказываний

Тема х. Основные понятия и положения логики высказываний
В этой лекции представлены основные понятия, определения и положения логики высказываний.
Тип: Лекция
Ключевые слова: высказывание, пропозициональная переменная, пропозициональная формула, пропозициональная связка, подформула, таблица истинности высказываний, закон де Моргана, закон поглощения, закон контрапозиции, закон дистрибутивности
Контекст: Математическая логика. Логика высказываний
Включает	Определения Понятия Правила логики высказываний
Ссылается на

Тема 3. Теория предикатов.
В этой лекции представлены основные понятия, определения и положения теории предикатов.
Тип: Лекция
Ключевые слова:
Контекст:
Включает	Определения Понятия Правила
Ссылается на

Определения
Здесь представлены основные определения теории предикатов.
Тип: Лекция
Ключевые слова:
Контекст:
Включает	Предикат
Ссылается на

Предикат
Предикат — любое математическое высказывание, в котором есть, по меньшей мере, одна переменная. Предикат является основным объектом изучения логики первого порядка.
Тип: Лекция
Ключевые слова:
Контекст:
Включает	Определения Пример предиката
Ссылается на

Пример предиката
Возьмём высказывания: ``Сократ - человек'', ``Платон - человек''. Оба эти высказывания выражают свойство ``быть человеком''. Таким образом, мы можем рассматривать предикат ``быть человеком'' и говорить, что он выполняется для Сократа и Платона.
Тип: Лекция
Ключевые слова:
Контекст:
Включает
Ссылается на

Язык логики предикатов
Тип: Лекция
Ключевые слова:
Контекст:
Включает	Определения Понятия Правила логики высказываний
Ссылается на

Тема 3. Теория предикатов.
В этой лекции представлены основные понятия, определения и положения теории предикатов.
Тип: Лекция
Ключевые слова:
Контекст:
Включает	Определения Понятия Правила логики высказываний
Ссылается на

Дата добавления: 2015-09-29