المكونات الاساسية والقواعد الاستنتاجية في منطق الرتبة الاولى