<<
>>

4.2 Понятие квантора.

k – связанная переменная

n – свободная переменная

t – свободная, x – связанная.

, a,b,y – свободные переменные, x – связанная.

<< | >>
Источник: Конспекты лекций по математической логике. 2017

Еще по теме 4.2 Понятие квантора.:

  1. Глава 5. Строение предложенийи их символическая запись
  2. Глава 10. Теория доказательства: кваиториые правила
  3. 1. Положительная метафизика не имеет в границах теоретического разума предметной области.
  4. Критерий существования в мире эмпирических предметов.
  5. Язык классической логики
  6. 1.3.2. Требование полноты и спецификация требования полноты
  7. Список сокращений
  8. Часть I. Функционально-составные данные
  9. 3.1 Критерий верификации
  10. 4.6 Теория истинности А.Тарского
  11. 7.2 Концепция онтологической относительности и холистический тезис Куайна
  12. Концептуализация предлогов в философском и поэтическом тексте
  13. 2.4.6. Формулы логики предикатов
  14. 4.2 Понятие квантора.
  15. ОГРАНИЧЕНИЕ НА ПРЕОБРАЗОВАНИЕ СТРУКТУР, СОДЕРЖАЩИХ КВАНТОРЫ