V Пример. Обоснованием утверждения о выводимости |- Ø$xØP(x,y,a)É"xP(x,y,a) будет: _______ _______________________ 1

Обоснованием утверждения о выводимости |- Ø$xØP(x,y,a)É"xP(x,y,a) будет:

_______ _______________________ 1. Ø$xØP(x,y,a) — пос. (1 эвристика). 2. ØP(x,y,a) — пос. (4 эвристика). 3. $xØP(x,y,a) — $в, 2. 4. ØØP(x,y,a) — Øв, 1, 3. 5. P(x,y,a) — Øи, 4. 6. "xP(x,y,a) — "в, 5, x — абс. огр.; y — огр. 7. Ø$xØP(x,y,a)É"xP(x,y,a) — Éв, 6.

Разбирая содержание данного параграфа, следует осознаваться его связанность с силлогистикой Аристотеля, о чём было сказано ранее, равно как данный параграф не следует брать в отрыве от материала, также изложенного ранее в связи с операциями логики классов (булевой алгебры).

Контрольные вопросы

I. Каковы функции пропозициональных 1) переменных и 2) связок?

II. Что является законом классической логики высказываний?

III. В чём заключаются общие принципы построения истинностных таблиц?

VI. Каковы содержание и объём понятия формулы исчисления высказываний?

V. На какие виды подразделяются правила вывода логики высказываний?

VI. Каковы эвристики и их последовательность в выводах логики предикатов?

VII. Возможно ли формализовать средствами логики высказываний суждение «Для всякого предмета из множества металлов существует такой предмет этого множества, что эти предметы находятся в отношении подобия» и почему?

VIII. В чём суть интерпретации, модели, связанной и свободной переменных, выполнимой и невыполнимой формул в классической логике предикатов?

IX. Чем сходны и чем различаются классические исчисления логики предикатов и логики высказываний?








Дата добавления: 2015-09-07; просмотров: 824;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.003 сек.