التحقق في المنطق هو إثبات صحة جملة أو تأكيد صدقها، ويتم ذلك من خلال تطبيق قواعد وأسس المنطق الرسمي والتأكد من عدم وجود التناقضات داخل الجملة أو الحجة. ويستخدم التحقق في المنطق لإثبات صحة الحجج والمقتضيات والقوانين، وتحديد تناقضات الجمل والحجج المتعارضة لتجنب الخطأ في الاستنتاجات المنطقية.
0
