ما هي الرموز الرياضية المستخدمة في نظرية المنطق؟

تستخدم نظرية المنطق الرموز الرياضية التالية:

1- قوسين ( ) لتحديد أولوية العمليات.

2- علامة الجمع (+) للإضافة.

3- علامة الطرح (-) للطرح.

4- علامة الضرب (×) للضرب.

5- علامة القسمة (÷) للقسمة.

6- علامة التساوي (=) للتساوي.

7- علامة التقريب (~) للتقريب.

8- علامة الأقل من (<) للمقارنة.

9- علامة الأكبر من (>) للمقارنة.

10- علامة اللا يساوي (/=) للتعبير عن العدم التساوي.

11- علامة العدد صفر (0) للتعبير عن الخطأ.

12- علامة العدد واحد (1) للتعبير عن الصح.

13- علامة الاعتماد (|) لتعبير عن قبول الشرط.

14- علامة الرفض (|_) لتعبير عن رفض الشرط.