формуласы болатынын дәлелдеу әдісіне берілген бұл әдісі деп аталады логикалық құралдар туралы есеп