Барлығы – 165 сағат

1 ... 52 53 54 55 56 57 58 59 ... 81

теоремада қасиеттері қарастырылып отырған объектілердің алыну тегін көрсететін жиын, оны А деп белгілейік;
теореманың шарты, оны Р(х) предикаты деп белгілейік;
теореманың қорытындысы, оны Q(x) предикаты деп белгілейік.

Сонда теорема

пікірі түрінде жазылады. Ол шын пікір болғандықтан теореманы Р(х)

Q(x) деп те жазуға болады (теорема1 қара). Оны тура теорема деп атайды.

Достарыңызбен бөлісу:

1 ... 52 53 54 55 56 57 58 59 ... 81