۱
subtitle
ارسال: #۱
تست هوش مصنوعی- سراسری هوش۸۶ (استلزام)
برای جملات αβγ در منطق گزارهها کدام درست است؟
۱) [α∧β]⇒[α|=γ]∨[β|=γ]
۲) [α|=γ]∨[β|=γ]⇒[α∧β|=γ]
۳) [α∧β]⇒[α|=γ]∧[β|=γ]
۴) [α|=γ]∨[β|=γ]⇒[α∨β|=γ]
جواب مشخصا داده شده و گزینه ۲ درسته ولی من نتونستم درکش کنم ممنون میشم واسم توضیحش بدین.
تو مقسمی گفته اگر α مستلزم β باشد (یعنی β|=α درسته ؟؟؟ )آنگاه (M(α)⊆M(γ))
......
و بنابراین با توجه به تعریف استلزام (α∧β) مستلزم γ میباشد و در نتیجه گزینه ۲ صحیح است؟!
سوال من اینجاس که آخه تو صورت سوال داده β مستلزم α ولی مقسمی اجوری اومده جواب داده!
بگید من اشتباه میکنم؟
واسه استلزام تعریفشو میشه به همین صورت زیرمجموعهها همه جا بسط داد؟
ممنون.
ممنون میشم یه تعریف ساده از استلزام هم بیارین.غیر اون کاه و کاهدون!
۱) [α∧β]⇒[α|=γ]∨[β|=γ]
۲) [α|=γ]∨[β|=γ]⇒[α∧β|=γ]
۳) [α∧β]⇒[α|=γ]∧[β|=γ]
۴) [α|=γ]∨[β|=γ]⇒[α∨β|=γ]
جواب مشخصا داده شده و گزینه ۲ درسته ولی من نتونستم درکش کنم ممنون میشم واسم توضیحش بدین.
تو مقسمی گفته اگر α مستلزم β باشد (یعنی β|=α درسته ؟؟؟ )آنگاه (M(α)⊆M(γ))
......
و بنابراین با توجه به تعریف استلزام (α∧β) مستلزم γ میباشد و در نتیجه گزینه ۲ صحیح است؟!
سوال من اینجاس که آخه تو صورت سوال داده β مستلزم α ولی مقسمی اجوری اومده جواب داده!
بگید من اشتباه میکنم؟
واسه استلزام تعریفشو میشه به همین صورت زیرمجموعهها همه جا بسط داد؟
ممنون.

ممنون میشم یه تعریف ساده از استلزام هم بیارین.غیر اون کاه و کاهدون!
