Күрделі алмастыру ережесі (КАЕ)
Туынды шығару ережелері, қарастырылған шығару ережелері сияқты, жаңа дәлелденетін формулаларды алуға мүмкіндік береді. Бұл ережелер алмастыру және қорытындылау ережелері көмегімен алынған, сондықтан, олар туынды ережелер деп аталады.
А – дәлелденетін формула, – айнымалылар, ал – тұжырымдар есептелімінің кез келген формулалары болсын. Онда А формулада айнымалыларын формулаларға алмастыру нәтижесі дәлелденетін формула болады.
КАЕ схематикалық түрде былай жазылады:
├А______
├
Достарыңызбен бөлісу: |