Логические функции
Функция, устанавливающая соответствие между одним или несколькими высказываниями, которые называются аргументами функции. Высказывания как базовые элементы, которыми оперирует алгебра логики. Дизъюнктивная нормальная форма. Составление карты Карно.
| Рубрика | Философия |
| Предмет | Логика |
| Вид | курсовая работа |
| Язык | русский |
| Прислал(а) | jakpomaslu |
| Дата добавления | 08.06.2014 |
| Размер файла | 425,8 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Определение формулы исчисления высказываний, алгебра высказываний. Равносильность формул исчисления высказываний. Совершенная конъюнктивная нормальная форма. Совершенная дизъюнктивная нормальная форма. Проблема решимости, систематические упрощения.
контрольная работа [31,0 K], добавлен 13.08.2010Предмет и значение логики. Мышление как логическая ступень познания. Субъект и предикат - главные элементы мысли. Соотношение логики формальной и диалектической. Социальное назначение и функции логики. Логические формы и правила соединения наших мыслей.
реферат [29,1 K], добавлен 31.10.2010Анализ закона формальной логики о зависимости между изменениями объёма и содержания понятия. Сущность правила логической операции деления понятий и возможные ошибки. Суждения как форма мысли, устанавливающая логическую связь между двумя и более понятиями.
контрольная работа [21,6 K], добавлен 24.03.2015Логика как раздел философии и наука о мышлении. Высказывание как форма мышления, понятие, структура и виды сложных высказываний. Логические значения сложных высказываний. Предложения, являющиеся сложными высказываниями, их логическая характеристика.
контрольная работа [42,6 K], добавлен 18.02.2013Логические законы как основа человеческого мышления. Толкования законов тождества, противоречия, исключительного третьего и достаточного основания. Несовместимость истины и лжи. Установление связей между противоречащими друг другу высказываниями.
контрольная работа [30,1 K], добавлен 05.04.2015Возникновение и этапы развития традиционной формальной логики. Аристотель как основатель логики. Создание символической логики, виды логических исчислений, алгебра логики. Метод формализации. Становление диалектической логики, работы И. Канта, Г. Гегеля.
реферат [26,9 K], добавлен 19.01.2009Понятие и содержание логики как философской и математической дисциплины, особенности и направления ее развития в ХХ веке, открытия и достижения данного периода. Логические связи и отношения, которые находятся в основе логического (дедуктивного) вывода.
реферат [32,0 K], добавлен 18.04.2014Основные логические законы. Теории логического анализа. Понятие как форма мышления. Различие между существенными и несущественными признаками. Содержание и объем понятия. Положительные и отрицательные понятия. Реальные и номинальные определения.
контрольная работа [24,3 K], добавлен 13.01.2012Значение логики, понятие как форма мышления. Основные логические приемы формирования понятий. Единичные и общие, конкретные и абстрактные, относительные и безотносительные, положительные и отрицательные понятия. Семантическая характеристика высказываний.
контрольная работа [14,9 K], добавлен 13.05.2010Социальное назначение и функции логики. Познавательная, мировоззренческая, методологическая, идеологическая функции. Роль логики в формировании логической культуры человека. Мышление и логика. Абстрактное мышление. Истинность и правильность мышления.
контрольная работа [23,5 K], добавлен 20.02.2009
