Читайте также:
|
В языке имеется бесконечное множество высказываний.
Рекурсивный метод. Выявить простые высказывания и правила образования из них сложных высказываний. Установить, каким образом истинность сложных высказываний зависит от истинности содержащихся в них простых высказываний. Но: более сложные высказывания не являются соединениями простых высказываний. Функции-высказывания действительно возникают таким путем из элементарных функций. Напротив, высказывания мы получаем как некоторые особые случаи функций-высказываний. Ввиду этого нельзя задать метод, который бы позволял определить исследуемое понятие непосредственно рекурсивным путем. Но имеется возможность ввести понятие общего характера, которое находит применение при любых функциях-высказываниях, может быть определено рекурсивно и, примененное к высказываниям, подводит нас к понятию истины. Этим условиям удовлетворяет понятие выполнимости данной функции-высказывания данными объектами.
Дата добавления: 2015-07-16; просмотров: 47 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Построение синтаксиса языка исчисления классов. Метаязык, адекватный для построения синтаксиса. | | | Определение понятия истинности |