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

I. t bir terim ve Y bir yüklem sembolü ise Yt bir formüldür.
II. A ve B birer formül ise, (A ? B), (A ^ B),
(A › B) ve (A - B) birer formüldür.
III. Her bir sembol dizisi bir formüldür.
Yukarıda verilenlerin hangisi veya hangileri niceleme mantığının formüllerinin tanımlanışındandır?

Yalnız I

I ve II

Yalnız III

I ve III

Yalnız II

Yanıt Açıklaması:

t bir terim ve Y bir yüklem sembolü ise Yt bir formüldür, A bir formül ise ~A bir formüldür, A ve B birer formül ise, (A ^ B), (A ? B), (A › B) ve (A - B) birer formüldür. ? bir değişken A bir formül ise, ? A ve ? A birer formüldür,Başka hiçbir sembol dizisi bir formül değildir.

PAYLAŞ:

SORUNUN CEVABI: B

Sınava Dön Hata Bildir

Yorumlar

0 Yorum