Составители:
Рубрика:
36. Teorema o prosto$i neprotivoreqivosti IV, 26.
37. Shema aksiom IS, 27.
38. Pravila vyvoda IS, 27.
39. Vyvod v IS, 28.
40. Teorema o polnote IS, 28.
41. Predikaty, 29.
42. Kvantory, ograniqennye koneqnym mnoestvom, 30.
43. Tavtologii v isqislenii predikatov, primery, 32.
44. Osnovnye svo$istva kvantorov, 33.
45. Pravila obobweni i konkretizacii, 33.
46. Shemy aksiom i pravila vyvoda IP, 34.
47. Pravila vvedeni i udaleni kvantorov, 35.
48. Pravila pereimenovani peremennyh, 36.
49. Zamknutye predikaty, zamykanie, 36.
50. Teorema o zamykanii, 36.
51. zyk IPFP, 37.
52. Podstanovki termov v formuly, 37.
53. Aksiomy ravenstva, 38.
54. Neopredelennoe opisanie, 39.
55. Aksioma terma τ
, 39.
56. Odnoznaqnye i funkcinal~nye sootnoxeni, 39.
148
