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, khác chất, có chủ 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 đề và vị từ là khái niệm đóng vai trò chủ từ của tiền đề được gọi là gì?