کدام گزینه در مورد فرمول زیر در منطق محمولات درست است؟ ∀ x(∀ x (P(x) → ¬ Q(x)) → (Q(x) → ¬ P(x)))

غیرمعتبر ولی ارضاءپذیر (Satisfiable)

فرمول ساختاری درستی ندارد.

سوال ۱۰۱ کنکور ارشد علوم کامپیوتر ۱۴۰۱

اهمیت

۰/۵

کدام گزینه در مورد فرمول زیر در منطق محمولات درست است؟

$\forall x\big(\forall x\,(P(x) \to \neg Q(x)) \to (Q(x) \to \neg P(x))\big)$

#predicate-logic#first-order-logic#validity#quantifiers#satisfiability#contrapositive