Quy tắc loại hình I: Quy tắc: Tiền đề lớn là phán đoán toàn thể, tiền đề nhỏ là phán đoán khẳng định Chứng minh: Giả sử tiền đề lớn là phán đoán AMP (Tất cả M+ là P-). Theo quy tắc 3 cho thuật ngữ P suy ra kết luận đây là phán đoán khẳng định. Vậy tiền đề nhỏ là phán đoán khẳng định Giả...