کلیدواژه: میرداماد ، محمدباقر بن محمد ، -‎۱۰۴۱؟ق. ، برهان ان ، وجود رابط ، برهان لم ، قضیه سالبه ، موضوع منطق