دل و دماغ میں مہر و وفا کے افسانے
تصورات میں روشن فضائے بدر و حُنین
خوشا یہ اوجِ مقدر، زہے یہ عز و شرف
مری زباں پہ جاری ہے آج ذکرِ حُسین
شہیدِ کرب و بلا کیا مقام آپ کا ہے
ہجومِ غم میں بھی دل شاد کام آپ کا ہے
منطق کو ریاضی میں لاجک کہتے ہیں، جس کی دو اقسام ہیں inductive and deductive logic ، استقرائی و استخراجی۔
کمپیوٹر سائنس اور ریاضی بیچلرز ڈگری کی سطح پر discrete mathematics کے مضمون میں لاجک کے چند ابواب پڑھائے جاتے ہیں۔