المنطق الرمزي هو طريقة لتمثيل العبارات المنطقية باستخدام الرموز والمتغيرات بدلًا من اللغة العادية، وقد جرى تقعيدها ورائدها الرياضي الإنجليزي جورج بول. ويُعرض مثال على ذلك بصيغة رمزية للحجة: «إذا أمطرت، فإن الأرصفة تبتل. أمطرت. إذن تبتل الأرصفة» على صورة راء → سين | راء | ∴ سين، حيث تشير → إلى «إذا/فإن»، ويعني الرمز | «ليس الاثنان معًا»، و∴ تعني «إذن».
