منطق طوري معرفي