ما هو المنطق الرياضي وما هي عبارات الوصل الفصل والشرط والتكافؤ

المنطق الرياضي هو دراسة القواعد الصورية للاستنتاج.
الروابط:
- الوصل (و): صائبة فقط إذا صدق الطرفان.
- الفصل (أو): صائبة إذا صدق طرف واحد على الأقل.
- الشرط (إذا..فإن): كاذبة فقط إذا كان المقدم صادقاً والتالي كاذباً.
- التكافؤ (إذا وفقط إذا): صائبة إذا تطابق الطرفان.