- تصدیق (منطق)