AOF.SORULAR.NET
aof.sorular.net Sembolik Mantık Sembolik Mantık Deneme Sınavı Sembolik Mantık Deneme Sınavı Sorusu #444582

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