Судження та силогізм у формальній логіці

Поняття, структура та типи судження у формальній логіці. Перевірка його істинності чи хибності. Суб'єкт, предикат і зв'язка простого атрибутивного судження. Посилання та висновок як складові частини силогізму. Структура простого категоричного силогізму.

Рубрика Математика
Предмет Логіка
Вид контрольная работа
Язык украинский
Прислал(а) Pasha
Дата добавления 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

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.