Thao tác logic đi từ một hay vài tiền đề có quan hệ logic với nhau để rút ra một

Câu hỏi :

Thao tác logic đi từ một hay vài tiền đề có quan hệ logic với nhau để rút ra một kết luận được gọi là gì?