دانشنامه اسلامی
در «المقالة التکلیفیة» شهید اول طی پنج فصل از چیستی تکلیف و مفهوم اصطلاحی آن، متعلّق تکلیف، نتیجۀ حاصله از امتثال تکلیف و نیز ترغیب و تشویق به امتثال تکالیف و تحذیر و ترساندن از عصیان آنها، با استناد به آیات و روایات سخن می گوید.
در رساله «الباقیات الصالحات»، شهید اول به شرح و توضیح مختصری دربارۀ تسبیحات أربعة: سبحان اللّه و الحمد للّه و لا اله الاّ اللّه و اللّه اکبر می پردازد. به گفتۀ شهید اول این تسبیحات چهارگانه تمام اصول پنج گانۀ اعتقادی شیعه؛ یعنی توحید، عدل، نبوت، امامت و معاد را در بر می گیرد.
«الرسالة الیونسیة» و رسالۀ «الکلمات النافعات»، شرح مزجی رساله های دوگانۀ شهید اول می باشد که به صورت «قوله - أقول» ترتیب یافته اند و شارح به نحو تفصیلی و فراگیر، به شرح مفردات رساله و توضیح و تبیین دیدگاه های مختلف پرداخته و معنای مورد نظر شهید اول در رساله را استیفا نموده است. وی همچنین دریافت های خود از سایر کتب و آثار را دربارۀ موضوع مورد بحث به رسالۀ خویش افزوده است.
نسخ خطی «المقالة التکلیفیة»: 1- نسخۀ کتابخانۀ آیت اللّه مرعشی نجفی، قم به شمارۀ 1176/2، نوشته به سال 1036ق.
