Бродский И.Н. Отрицательные высказывания

формат djvu
размер 1.35 МБ
добавлен 16 марта 2009 г.

Л. : ЛГУ, 1973. -104 с.

Работа посвящена философскому и логико-семантическому анализу познавательного значения и логических функций отрицательных высказываний. В ней рассматривается история вопроса о смысле отрицательных высказываний, роль отрицательных высказываний в структуре научного знания, так называемый "парадокс несуществования", а также дается критика некоторых современных буржуазных философских теорий смысла отрицания. Значительное место в работе занимает ан.

Похожие разделы

Смотрите также

Бродский И.Н. Элементарное введение в символическую логику

формат tif
размер 150 МБ
добавлен 20 июня 2009 г.

Элементарные и сложные высказывания; Язык логики высказываний; Семантика логических союзов; Логические условия истинности формул логики высказываний; Равносильные формулы; Тождественно истинные и тождественно ложные формулы; Конъюнктивная нормальная форма; Совершенная конъюнктивная нормальная форма; Сокращенная конъюнктивная нормальная форма; Дизъюнктивная нормальная форма; Аксиоматическое представление логики высказываний; Натуральное исчисление...

Каверин С.В. Лекции по математической логике и теории алгоритмов

формат djvu
размер 383.65 КБ
добавлен 15 октября 2011 г.

Тольятти, Волжский университет им. Татищева, 2002 г. - 45 стр. Содержание: Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебр...

Лекции по математической логике

Статья

формат doc
размер 440 КБ
добавлен 14 июня 2009 г.

Сентенциональные связки. Элементарные формулы. Составные формулы. Истинностные функции. Исчисления высказывания. Тавтологии в исчислении высказываний. Эквивалентность высказываний. Теоремы об эквивалентности. Логические следствия. Основные теоремы о логическом следствии. Метод доказательства от противного. Основные понятия теории исчисления предикатов.

Лекции по математической логике и теории алгоритмов

формат pdf
размер 1.47 МБ
добавлен 09 ноября 2010 г.

Лекции по математической логике и теории алгоритмов. Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебра Жегалкина. Высказыван...

Лоскутова Е.С., Нахман А.Д. Математическая логика. Типовые расчёты

формат pdf
размер 342.57 КБ
добавлен 22 января 2010 г.

Краткая теория + Пример выполнения типового расчёта (12 задач с решением) + Варианты заданий. Методические указания. Тамбов. Изд. ТГТУ, 2008 г. - 20 с. Основные понятия и утверждения математической логики (алгебры высказываний), руководство к решению типовых задач и образцы решений. Для студентов инженерно-технических специальностей. Содержание: I. Теоретическая часть 1. Понятие высказывания. 2. Логические операции над высказываниями 3. Формул...

Миронов А.М. Математическая логика

формат pdf
размер 704.77 КБ
добавлен 29 апреля 2010 г.

Содержание. Высказывания. Формулы логики высказываний. Анализ рассуждений. Метод резолюций для ЛВ. Введению в теорию множеств. Отношения и функции. Основные результаты теории множество. Логика предикатов. Теорема Эрбрана. Метод резолюций для ЛП. Семантический вывод. Теорема Геделя. Модальная логика. Нечеткие логики.

Пособие по Математической Логике

формат doc
размер 335 КБ
добавлен 09 января 2011 г.

Содержание. Введение. Исчисление высказываний. Высказывания. Формулы. Выполнимые и общезначимые формулы. Алгебраический подход. Дизъюнкты и нормальные формы. Логический вывод. Прямой вывод. Доказательство «от противного». Метод резолюций. Фразы Хорна. Примеры использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Исчисление предикатов. Предикаты. Применение логических связок. Кванторы....

Презентация - Основы логики

Презентация

формат ppt
размер 103.5 КБ
добавлен 24 августа 2011 г.

16 страниц.Логическое высказывание В алгебре логики простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита. Виды сложных высказываний Соединительные виды Разделительные виды Условные виды Эквивалентные Высказывания с внешним отрицанием Основная задача математической логики Логические операции Обозначение операции в алгебре высказываний Обозначение в языках Обозначение в языках про...

Чернядьева Е.Н. Задачник по математике

формат doc
размер 598.5 КБ
добавлен 01 января 2012 г.

Учебное пособие. – Киров: Изд-во КИПК и ПРО, 2010. – 60 страниц. Введение. Элементы математической логики. Математические доказательства. Софизмы. Высказывания и операции над ними. Неопределенные высказывания. Кванторы. Логические задачи. Математические методы в целенаправленной деятельности. Понятие вероятности случайных событий. Случайные величины. Характеристики законов распределения. Основы математической статистики. Ответы, указания. В каждо...

Шпоры по матлогике

pottee

формат doc
размер 24.12 КБ
добавлен 14 апреля 2010 г.

УГАТУ, 2005 год. Определение высказывания Логическое следование Осн. Правила. Вывода Формулы логики предикатов и т. д.