روش نشان دادن درستی تصدیق در منطق

برای نشان دادن درستی یک تصدیق از چه چیزی استفاده میکنیم؟