ΠΠΎΠΌΠΎΠΆΠ΅ΠΌ Π½Π°ΠΏΠΈΡΠ°ΡΡ Π»ΡΠ±ΡΡ ΡΠ°Π±ΠΎΡΡ Π½Π° Π°Π½Π°Π»ΠΎΠ³ΠΈΡΠ½ΡΡ ΡΠ΅ΠΌΡ
Π’Π΅ΠΎΡΠ΅ΠΌΠ° 1. ΠΡΡΡΡ A(x) β ΡΠΎΡΠΌΡΠ»Π°, ΡΠ²ΠΎΠ±ΠΎΠ΄Π½Π°Ρ Π΄Π»Ρ y. Π’ΠΎΠ³Π΄Π°:
I. |=
II. |=
Π‘Π»Π΅Π΄ΡΡΠ²ΠΈΠ΅. ΠΡΠ»ΠΈ |= , ΡΠΎ |=
.
Π’Π΅ΠΎΡΠ΅ΠΌΠ° 2. ΠΡΡΡΡ x β ΠΊΠ°ΠΊΠ°Ρ-Π»ΠΈΠ±ΠΎ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½Π°Ρ, B β ΠΊΠ°ΠΊΠ°Ρ-Π»ΠΈΠ±ΠΎ ΡΠΎΡΠΌΡΠ»Π°, Π½Π΅ ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΠ°Ρ ΡΠ²ΠΎΠ±ΠΎΠ΄Π½ΡΡ Π²Ρ ΠΎΠΆΠ΄Π΅Π½ΠΈΠΉ x, ΠΈ A(x) β ΠΊΠ°ΠΊΠ°Ρ-Π»ΠΈΠ±ΠΎ ΡΠΎΡΠΌΡΠ»Π°. Π’ΠΎΠ³Π΄Π°:
I. ΠΡΠ»ΠΈ |=, ΡΠΎ |=
II. ΠΡΠ»ΠΈ |= , ΡΠΎ
Π‘Π»Π΅Π΄ΡΡΠ²ΠΈΠ΅: ΠΡΠ»ΠΈ |= A(x), ΡΠΎ |= .
Π’Π΅ΠΎΡΠ΅ΠΌΠ° 3. ΠΡΡΡΡ x ΠΈ y β Π΄Π²Π΅ ΡΠ°Π·Π»ΠΈΡΠ½ΡΠ΅ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΠ΅, A(x), B(x) ΠΈ A(x,y) β Π»ΡΠ±ΡΠ΅ ΡΠΎΡΠΌΡΠ»Ρ ΠΈ A β Π»ΡΠ±Π°Ρ ΡΠΎΡΠΌΡΠ»Π°, Π½Π΅ ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΠ°Ρ ΡΠ²ΠΎΠ±ΠΎΠ΄Π½ΡΡ Π²Ρ ΠΎΠΆΠ΄Π΅Π½ΠΈΠΉ x. Π’ΠΎΠ³Π΄Π°: