Biểu thức (toán học)
kết hợp hữu hạn các ký hiệu toán học / From Wikipedia, the free encyclopedia
Trong toán học, một biểu thức hay biểu thức toán học là một tổ hợp hữu hạn các ký hiệu được tạo thành sao cho đúng dạng theo các quy tắc phụ thuộc vào ngữ cảnh. Ký hiệu toán học có thể là con số (hằng số), biến số, phép toán, hàm số, dấu ngoặc, dấu chấm, hoặc các dấu chỉ ra độ ưu tiên của phép toán cũng như các khía cạnh khác của cú pháp logic.
Nhiều tác giả phân biệt giữa biểu thức và công thức như sau: biểu thức là một đối tượng toán học, còn công thức dùng để chỉ một phát biểu về các đối tượng toán học. Ví dụ như và
đều là các biểu thức, còn
là một công thức. Tuy nhiên, trong toán học hiện đại, cụ thể là đại số máy tính, công thức được xem như biểu thức mà gieo giá trị đúng hoặc sai dựa theo giá trị của các biến trong biểu thức. Với
là số thực,
sẽ gieo giá trị sai khi
bé hơn
, và gieo giá trị đúng với các trường hợp còn lại.