Ấn T để tra

logic toán 

danh từ
 

logic toán học (nói tắt).