Thao tác logic đi từ tiền đề là 1 phán đoán dạng A, E, I, O để rút ra kết luận

Thao tác logic đi từ tiền đề là 1 phán đoán dạng A, E, I, O để rút ra kết luận cũng là 1 phán đoán dạng trên cùng lượng cùng chủ từ, nhưng khác chất và có vị từ là khái niệm mâu thuẫn với khái niệm đóng vai trò vị từ của tiền đề được gọi là gì?