<<
>>

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

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

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

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

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

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

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

  1. ПРЕДИСЛОВИЕ