Sembolik Mantık Deneme Sınavı Sorusu #1075101

Aşağıdakilerden hangisi açık formüle bir örnektir?


Ǝx Ǝy (Gx v ∀z Hz)

Ǝx Ǝy (Gx v ∀zHz)

Ǝx Ǝy (Gy v ∀zHz)

Ǝy (GA v ∀z Hz)

Ǝx (Gy v ∀z Hz)


Yanıt Açıklaması:

Ǝx (Gy v ∀z Hz) formülünde x için serbest geçiş vardır bu yüzden açık formüldür.

Yorumlar
  • 0 Yorum