سوال ۱۱۴ کنکور ارشد علوم کامپیوتر ۱۳۹۸ — اگر نظریه Γ ∪ φ → ψ سازگار باشد، آنگاه کدام مورد صحیح است؟

Question

اگر نظریه Γ ∪ φ → ψ سازگار باشد، آنگاه کدام مورد صحیح است؟

Accepted Answer

حداقل یکی از نظریه‌های Γ ∪ ¬φ یا Γ ∪ ψ سازگار است.

Answer

حداقل یکی از نظریه‌های Γ ∪ φ ∧ ψ یا Γ ∪ ¬φ, ¬ψ سازگار است.

Answer

حداکثر یکی از Γ ∪ φ ∧ ψ و یا Γ ∪ ψ می‌تواند سازگار باشد.

Answer

هم Γ ∪ φ ∧ ψ و هم Γ ∪ φ ∨ ψ هر دو سازگارند.