бұл фактті предикаттар логикасын шығару жүйесінде дәлелдеу үшін барлық дұрыстығы басқа шығару ережелерін қажет етпейді