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; просмотров: 830;