9 بررسی تعاريف حقيقت - منطق عمل