У нашій онлайн базі вже 23510 рефератів!

Навігація
Перелік розділів
Найпопулярніше
Нові реферати
Пошук
Замовити реферат
Додати реферат
В вибране
Контакти
Російські реферати
Статьи
Об'яви
Новини
На сайті всього 23510 рефератів!
Ласкаво просимо на UA.TextReferat.com
Реферати, курсові і дипломні українською мовою, які можна скачати цілком або переглядати по сторінкам.

Усе доступно безкоштовно, тому ми не платимо винагороди за додавання. Авторські права на реферати належать їх авторам.

Алгебра висловлень

Сторінка 3

Відзначимо, що алгебра висловлень, або, як її іноді називають, логіка висловлень є надто бідною теорією для опису логічного апарату математичних міркувань. Типи логічних міркувань, основаних на тотожно істинних формулах алгебри висловлень, далеко не вичерпують логічних законів, які використовуються математикою, не кажучи вже про логічні міркування в інших науках.

При побудові алгебри висловлень вихідними об’єктами були елементарні висловлення, що мали певне значення істинності: 1 або 0. Нові об’єкти - складені висловлення, що також мали певне значення істинності, - будувались за чітко визначеними правилами утворення формул. При цьому значення істинності або хибності складеного висловлення визначалось за таблицями істинності відповідних операцій алгебри висловлень. Означені згодом поняття рівносильності і логічного слідування формул були введені змістовно, тобто з використанням значень істинності формул залежно від значень їхніх змінних. Така побудова логічного числення або теорії називається змістовно-алгоритмічною, або табличною.

Iншим методом побудови логічного числення є описаний вище формально-аксіоматичний метод. Саме за допомогою цього методу побудовано так зване числення висловлень.

Назва реферату: Алгебра висловлень
Розділ: Логіка
Опубліковано: 2012-08-29 12:25:43
Прочитано: 4358 раз

1 2 [3]

завантажити реферат завантажити реферат
Нове
Цікаві новини

Замовлення реферату
Замовлення реферату

Лічильники

Rambler's Top100

Усі права захищено. @ 2005-2019 textreferat.com