Составители:
Рубрика:
Opredelenie 3.1 (Predikaty).
Opredelenie 3.2 (Kvantory, ograniqennye mnoestvom).
Opredelenie 3.3 (Kvantory, ograniqennye koneqnym mnoes-
tvom).
Opredelenie 3.4 (Tavtologii v isqislenii predikatov).
Teorema 3.1 (Nekotorye tavtologii isqisleni predikatov).
Teorema 3.2 (Osnovnye svo$istva kvantorov).
Teorema 3.3 (Pravila obobweni i konkretizacii).
Opredelenie 3.5 (Shemy aksiom i pravila vyvoda IP).
Teorema 3.4 (Pravila vvedeni i udaleni kvantorov).
Teorema 3.5 (Pravila pereimenovani peremennyh).
Sledstvie.
Esli predikaty A, B
otliqats tol~ko svzan-
nymi peremennymi, to
: 1) `
A ∼ B,
2)
esli `A, to `
B
.
Opredelenie 3.6 (Zamknutye predikaty, zamykanie).
Teorema 3.6 (O zamykanii).
Opredelenie 4.1 (zyk IPFP).
Opredelenie 4.2 (Podstanovki termov v formuly).
Aksiomy ravenstva
Opredelenie 4.3 (Neopredelennoe opisanie).
Teorema 4.1 (Udalenie neopredelennogo opisani [1]).
Aksioma AS
τ
.
Opredelenie 4.4 (Odnoznaqnye i funkcinal~nye sootnoxeni).
Teorema 4.2 (Ob odnoznaqnyh i funkcional~nyh sootnoxenih).
146
