Терм (логика)

В логике первого и второго порядков терм определяется рекурсивно следующим образом:

  1. всякая индивидная константа есть терм;
  2. всякая свободная переменная есть терм;
  3. если fi — і-местная фунциональная константа и t1, t2, …, ti — термы, то fi(t1,t2,...,ti) также есть терм;
  4. термами являються только те выражения, которые получены согласно пп. 1—3
 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home