Экспорт:
Папки
/root/polzovateli/var_null/filosofiya/logika/logika-predikatov/term
Не экспортировать закрытые директории
Преобразовывать заметки в html
Экспортировать
Применить |
| 2014-10-15 13:42:14 |
1) предметные константы и переменные являются термами; 2) если t – терм, а Ф – предметный функтор, то Ф(t) также является термом; 3) ничто другое не является термом
Похожие разделы:
->var_null:root/Пользователи/var_null/Философия/Логика/Логика предикатов/Терм/ (текущий раздел)