تصدیق یک مفهوم مهم در منطق و فلسفه است که به معنای تایید یا انکار یک گزاره یا حکم است.
- تصدیق به معنای نسبت دادن یک محمول به یک موضوع است.
- مثلاً وقتی میگوییم "آسمان آبی است" داریم یک تصدیق انجام میدهیم.
در این مثال، "آسمان" موضوع و "آبی بودن" محمول است.
تصدیق میتواند به دو صورت باشد: تصدیق ایجابی (تایید) یا تصدیق سلبی (انکار).