Toán tử, trong toán học, bất kỳ ký hiệu nào biểu thị một phép toán sẽ được thực hiện. Ví dụ là căn bậc hai của √x (biểu thị căn bậc hai sẽ được lấy) và d / dx (biểu thị sự khác biệt đối với x sẽ được thực hiện). Một toán tử có thể được coi là một hàm, biến đổi hoặc ánh xạ, theo nghĩa là nó liên kết hoặc ánh xạ các phần tử bản đồ từ bộ này sang bộ khác từ bộ khác. Xem thêm tính tự động.
logic chính thức: Khả năng tương tác của các nhà khai thác
Các quy tắc vừa được nêu sẽ cho phép luật De Morgan đầu tiên được liệt kê trong Bảng 3 để chuyển đổi bất kỳ wff nào có chứa bất kỳ số lượng nào
