استكشف روعة منطق صوري

المنطق الصوري (بالإنجليزية: Formal Logic)، ويُعرف أيضًا بـ المنطق الرسمي أو المنطق الرمزي، هو فرع من فروع الرياضيات والفلسفة، يُعنى بدراسة شكل الحجة وهيكلها بغض النظر عن محتواها أو موضوعها. ويهتم هذا العلم بـ صحة الاستدلال، أي ترتُّب النتائج منطقيًا على المقدمات.