يعتبر نوع جديد من المنطق ---------
(المنطق الرمزي)
يسمى المنطق الرمزي ايضا ب----------
(جبر المنطق)
للمنطق الرمزي -----خاصيتان اساسيتان
هما--------و--------
انه يستخدم الرموز و انه نسق استنباطي
انواع الرموز في المنطق الرمزي------و------
متغيرات و ثوابت