من اینطوری استدلال کردم اگر اشتباه هست دوستان لطفا تذکر بدن:
قبل از بررسی گزینه ها یه اصل و یاد اوری کنم :اگر A⊨B باشه آنگاه A∧C⊨B که C می تونه هر چیزی باشه.
گزینه ی اول:
از سمت چپ می شه نتیجه گرفت که α⊨γ و درست یا غلط بودن بتا اهمیتی نداره.
و یا β⊨γ و درست یا غلط الفا اهمیتی نداره.
سمت راست می گه اگر هر کدوم از الفا و یا بتا درست باشه گاما هم درسته. که این با سمت چپ یکی نیست در نتیجه این گزینه غلطه.
گزینه ی دوم:
از این گزینه می تونیم نتیجه بگیریم که گاما مستلزم بتا هست.
از سمت راست هم با توجه به اصلی که قبل از گزینه ها گفتم می تونیم باز نتیجه بگیریم که گاما مستلزم بتا هست.پس هر دو طرف معادل هستند و درسته.
گزینه ی سوم:
ازسمت چپ مثل گزینه ی الف.
سمت راست می گه گاما وقتی درسته که هم الفا و هم بتا درست باشند.اینم با سمت چپ یکی نیست چون سمت چپ می گه فقط اونی که گاما مستلزم اون هست باید درست باشه( اگر گاما مستلزم الفا ست فقط الفا درست باشه کافی و مقدار بتا اهمیت نداره و یا برعکس)
پس اینم غلطه.
گزینه ی ۴ هم به این دلیل غلطه که سمت راست باید طبق اصلی که اول گفتم به صورت α∧β⊨γ باشه. نه α∨β⊨γ
پس گزینه ی دوم جواب درسته.