Формальная логика как наука
Свойства логического мышления. Сущность законов тождества, непротиворечия, исключенного третьего и достаточного основания. Роль языка в хранении и передаче информации в процессе познания. Образование союзов и кванторов. Понятие конъюнкции и инверсии.
| Рубрика | Математика |
| Предмет | Логика |
| Вид | контрольная работа |
| Язык | русский |
| Прислал(а) | Элла |
| Дата добавления | 01.02.2020 |
| Размер файла | 125,2 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Основные формы мышления: понятия, суждения, умозаключения. Сочинение Джорджа Буля, в котором подробно исследовалась логическая алгебра. Значение истинности (т.е. истинность или ложность) высказывания. Логические операции инверсии (отрицания) и конъюнкции.
презентация [399,6 K], добавлен 14.12.2016Основные положения теории инверсии. Определение инверсии-симметрии относительно окружности. Неподвижные точки и окружность инверсии. Образы прямых и окружностей при обобщенной инверсии. Свойства обобщенной инверсии.
дипломная работа [348,1 K], добавлен 08.08.2007Логика - наука о законах и формах мышления, а основное понятие алгебры логики - высказывание. Основные понятия и тождества булевой алгебры. Изучение методов минимизации булевых функций. Метод Квайна, основанный на применении двух основных соотношений.
контрольная работа [178,2 K], добавлен 20.01.2011Основы формальной логики Аристотеля. Понятия инверсии, конъюнкции и дизъюнкции. Основные законы алгебры логики. Основные законы, позволяющие производить тождественные преобразования логических выражений. Равносильные преобразования логических формул.
презентация [67,8 K], добавлен 23.12.2012Нечёткие системы логического вывода. Исследование основных понятий теории нечетких множеств. Операции над нечёткими множествами. Нечёткие соответствия и отношения. Описания особенностей логических операций: конъюнкции, дизъюнкции, отрицания и импликации.
презентация [191,0 K], добавлен 29.10.2013Математическая логика (бессмысленная логика), логика "здравого смысла" и современная логика. Математические суждения и умозаключения, их направления. Математическая логика и "Здравый смысл" в XXI веке. Неестественная логика в основаниях математики.
реферат [32,2 K], добавлен 21.12.2008Применение метода инверсии при решении задач на построение в геометрии. Решение задачи Аполлония, лемма об антипараллельных прямых. Инвариантные окружности и сохранение углов при инверсии. Недостатки применения инверсии и работа инверсора Гарта.
дипломная работа [790,0 K], добавлен 30.09.2009Разработка логико-формальной модели описания методики изготовления винных изделий. Разделение ингредиентов и продукции на множества. Исследование на рефлексивность, транзитивность, симметричность. Построение графа, матрицы смежности и инцидентности.
контрольная работа [165,2 K], добавлен 07.06.2010Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.
реферат [63,3 K], добавлен 06.12.2010Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.
контрольная работа [345,3 K], добавлен 29.11.2010
