۰
subtitle
ارسال: #۱
سوال از فصل منطق مرتبه اول مهندسی کامپیوتر ۸۴
تبدیل جمله ی " بعضی دانش آموزان برای هیچ کس نامه نمی نویسند مگر دانش اموزانی که دوستشان دارند" به منطق مرتبه اول؟
x ∀ y student(x)∩((student(y)∩like(x,y)) wletter for(x,y ∋ ۱
۲ ( x ∋y student(x)∩((student(y)∩like(x,y))→wletter for(x,y∀
کدومشان درست است ؟
چون در یکی از آزمون های سنجش تقریبا همین جمله بود" بعضی دانش آموزان برای هیچ کس بستنی نمی خرند مگر دانش اموزانی که دوستشان دارند" گزینه ۲ (شرطی یه طرفه )را انتخاب کرده بود اما پوران و راهیان گزینه ۱ را( شرطی دو طرفه) .
x ∀ y student(x)∩((student(y)∩like(x,y)) wletter for(x,y ∋ ۱
۲ ( x ∋y student(x)∩((student(y)∩like(x,y))→wletter for(x,y∀
کدومشان درست است ؟
چون در یکی از آزمون های سنجش تقریبا همین جمله بود" بعضی دانش آموزان برای هیچ کس بستنی نمی خرند مگر دانش اموزانی که دوستشان دارند" گزینه ۲ (شرطی یه طرفه )را انتخاب کرده بود اما پوران و راهیان گزینه ۱ را( شرطی دو طرفه) .