Категория
Информатика
Тип
реферат
Страницы
6 стр.
Дата
10.08.2008
Формат файла
.rtf — Rich Text Format (Wordpad)
Архив
18960.zip — 14.36 kb
  • buleva-algebra_18960_1.RTF — 92.04 Kb
  • Readme_docus.me.txt — 125 Bytes
Оцените работу
Хорошо  или  Плохо



Текст работы


ЧТО ТАКОЕ ВЫВОД?
Для более точного определения предмета математической логики следовало бы уточнить, что подразумевается под термином логически правильного вывода. Чтобы сформулировать хотя бы одно временное определение, рассмотрим пример вывода. (В соответствии с традиционной формой записывания, предпосылки отделяются от окончательного вывода горизонтальной чертой):
1.
( Предпосылки) Если будет раздача премии, то мы выполнили план.
Будет раздача премии.
( Окончательный вывод) Мы выполнили план.
Если принять правильность предпосылок, то следует принять и правильность окончательного вывода. Другой, аналогичный пример :
Если мне выпадет туз, то я иду ва-банк.
Мне выпал туз.
Я иду вабанк.
Обычно вместо предложений (мне выпал туз) и (я иду ва-банк) могут быть записаны любые такие изъявительные предложения, значения которых может быть правильно или ложно; следует оставить неизменными только расположение слов «если» и «то» и расположение предположений, то есть структуру вывода. Пусть А и В обозначает любые заменяющие предложения. Структуру вывода можно выразить следующей схемой;
Если А, то В
А
В
Под определением, что данная схема представляет собой (логически правильную) схему выводов, подразумевается следующее. Если вместо А и В подставить такие предложения, что предпосылки, полученные в
результате замены, будут правильными, то и окончательный вывод будет правильным. Любой человек, который понимает значение союзов «если . . . то», поймет, что это правильная схема вывода. В схеме вывода фигурируют несколько слов с постоянным значением, далее несколько символов (букв)
с меняющимся значением. Символы с меняющимся значением могут быть переменными разных типов.




Ваше мнение



CAPTCHA