سوال ۹۴ کنکور ارشد علوم کامپیوتر ۱۴۰۳ — فرض کنیم α = (q → p) → r و β = q → (r → p) . کدام مورد درخصوص استلزام…

Question

فرض کنیم α = (q → p) → r و β = q → (r → p) . کدام مورد درخصوص استلزام منطقی α و β صحیح است؟

Accepted Answer

هیچ‌کدام، مستلزم دیگری نیست.

Answer

α مستلزم β است، ولی β مستلزم α نیست.

Answer

β مستلزم α است، ولی α مستلزم β نیست.

Answer

هرکدام، مستلزم دیگری است.