Судження та силогізм у формальній логіці
Поняття, структура та типи судження у формальній логіці. Перевірка його істинності чи хибності. Суб'єкт, предикат і зв'язка простого атрибутивного судження. Посилання та висновок як складові частини силогізму. Структура простого категоричного силогізму.
| Рубрика | Математика |
| Вид | контрольная работа |
| Язык | украинский |
| Дата добавления | 25.01.2010 |
| Размер файла | 21,2 K |
Соглашение об использовании материалов сайта
Просим использовать работы, опубликованные на сайте, исключительно в личных целях. Публикация материалов на других сайтах запрещена.
Данная работа (и все другие) доступна для скачивания совершенно бесплатно. Мысленно можете поблагодарить ее автора и коллектив сайта.
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Необходимость введения предикатов в математику. Предикат как один из элементов логики первого и высших порядков. Предикат, в котором нет переменных для замены - нульместный предикат. Изображение области истинности предиката на декартовой плоскости.
реферат [94,6 K], добавлен 24.07.2014Простое расширение Q+(a). Минимальное соотношение алгебраического элемента над полуполем рациональных неотрицательных чисел. Однопорожденные полуполя. Структура простого расширения полуполя неотрицательных рациональных чисел.
дипломная работа [223,9 K], добавлен 08.08.2007Розгляд нових методів екстримізації однієї змінної. Типи задач, які існують для розв’язування задач мінімізації на множині Х. Золотий поділ відрізка на дві неоднакові частини, дослідження його на стійкість. Алгоритм, текст програми, результат роботи.
курсовая работа [408,0 K], добавлен 01.04.2011Построение полигона относительных частот, эмпирической функции распределения, кумулянты и гистограммы. Расчет точечных оценок неизвестных числовых характеристик. Проверка гипотезы о виде распределения для простого и сгруппированного ряда распределения.
курсовая работа [216,2 K], добавлен 28.09.2011Виключення третього як фундаментальний принцип логіки, істинність і хибність як логічні значення пропозиції. Таблиці істинності, поняття тавтології і еквівалентності. Властивості функцій множин і запереченням гіпотези Гольдбаха в термінах квантифікаторів.
реферат [82,7 K], добавлен 03.03.2011Побудова математичної логіки як алгебри висловлень і алгебри предикатів. Основні поняття логіки висловлювань та їх закони і нормальні форми. Основні поняття логіки предикатів і її закони, випереджена нормальна форма. Процедури доведення законів.
курсовая работа [136,5 K], добавлен 27.06.2008Определение отношений между понятиями, изображение их с помощью кругов Эйлера. Установление видов данных суждений, их отношений по логическому квадрату. Определение правильности простого категорического силлогизма. Установление правильности энтимемы.
контрольная работа [131,8 K], добавлен 09.05.2016Фрактал та історія його виникнення. Види фракталів, методи їх створення. Типи самоподібності у фракталах. Класифікація алгоритмів створення. Системи ітеріруємих функцій. Стиснюючі афінні перетворення. Метод простої заміни, серветка Серпінського.
реферат [2,0 M], добавлен 26.07.2010Загальна характеристика системи Moodle. Поняття кільця та його найпростіші властивості. Алгебраїчна форма запису комплексного числа. Основні типи бінарних відношень. Властивості операцій над множинами. Лінійні комбінації і лінійні оболонки векторів.
дипломная работа [1,0 M], добавлен 26.02.2014Великий математик П’єр Ферма. Історія виникнення теореми Ферма-Ойлера. Способи її доведення Лагранжем та Д. Цагиром. Інволютивність перетворення трійки натуральних чисел. Єдиність та кількість представлення простого числа у вигляді суми двох квадратів.
курсовая работа [39,4 K], добавлен 08.05.2014
