Bạn Ánh vẽ hai đường thẳng a, b song song với nhau và khẳng định với bạn Ngân rằng: “Nếu đường thẳng c cắt hai đường thẳng song song đó thì hai góc so le trong bằng nhau” (Hình 48). Câu khẳng định có dạng “Nếu … thì …” trong toán học được gọi là gì?