Ấn T để tra

logic hình thức 

danh từ
 

khoa học nghiên cứu các hình thức của ý nghĩ và hình thức tổ hợp ý nghĩ, trừu tượng hoá khỏi nội dung cụ thể của phán đoán, suy lí, khái niệm.