في هذا المقياس نقدم لمحة بسيطة عن المنطق الرياضي ( logic Mathematical )

 وهو فرع من فروع الرياضيات وله صلة بعلوم الكمبيوتر والمنطق الفلسفي.وهذا الفصل يقتصر علي منطق حساب الجمل ويقدم مساق شامل لموضوع المنطق.