سلام دوستان
من متوجه مفهوم استلزام نمیشم
kb|=a یعنی kb زیر مجموعه a هست؟؟؟؟؟؟؟؟
(۲۴ آذر ۱۳۹۳ ۰۹:۵۸ ب.ظ)shayesteNEY نوشته شده توسط: سلام دوستان
من متوجه مفهوم استلزام نمیشم
kb|=a یعنی kb زیر مجموعه a هست؟؟؟؟؟؟؟؟
یعنی KB ایجاب میکند a را
یعنی KB مستلزم a است
یعنی KB سبب به وجود آمدن a است
سلام
یعنی باید هر مدلی که kb ( یعنی تمام جملات ) ارضا می کند جمله a را هم ارضا کند . به عبارتی kb زیر مجموعه a است..