منطقيدر برنامه نويسى، تعريفات، فرضيات و عملياتى است كه عملكرد برنامه را معين مى سازد. تعريف منطق يك برنامه اغلب اولين مرحله برنامه سازى است.