Deneme Sınavı Soruları

Niceleyiciler

Ad sembolleri

Önerme eklemleri

Yüklem sembolleri

Parantezler

Niceleyici-değilleme kuralları tüm kurallardan önce uygulanması.

Çizelgedeki noktalarda bulunan önermelerin doğru olması için yeterli olan şartların belirtilmesidir.

Tümel-nicelemenin açılımı kuralı tikel-nicelemenin açılımı kuralından
önce uygulanması.

Bir dalda ilerlerken, bir ifade ve onun değili ortaya çıkarsa o dal kapalıdır ve
bu durum o dalın, sonuna × (çarpı) işareti konarak kapanmasıyla belirtilir.

İşlem uygulanacak bir ifade kalmadığı halde kapanmayan bir dal açık bir
daldır. Bu durum o dalın sonuna bir √ işareti konarak gösterilir.

SM = {a, b}, FM = {a}, GM = {a,b}, HM = {a}, AM = a, BM = a

SM = {a, b,c}, FM = GM = HM = {a}, AM = a, BM = b

SM = {a, b}, FM = { }, GM= {a}, HM = {b}, AM = b, BM = b

SM = {a, b}, FM = {a}, GM = {a,b}, AM = a, BM = b

SM= {a, b, c}, FM = {b}, GM = {b,c}, HM = {b}, AM = c

Tikel niteleyici 

Postüla 

Tümel niteleyici 

Önerme 

Totoloji 

Kimi insanlar zekidir.

Her insan zekidir.

Bütün insanlar zekidir.

Tüm insanlar zekidir.

Zeki olanlar insandır.

∀x ∃x

∀x Fx

∃x Fx

Fx ∃x

Fx ∀x 

Hiçbir insan çalışkan değildir.

Tüm insanlar çalışkandır.

Bazı insanlar çalışkandır.

En az bir insan çalışkan değildir.

En az bir insan çalışkandır.

Niceleme mantığında önermelerin yorumlanması için temel kavram olan “model” kavramını ele alabilmek

Bir önermeyi, bir önerme kümesini veya bir çıkarımı herhangi bir S kümesi üzerindeki bir modelde denetlemek

Gündelik dilde bir yüklemin işlevi, kimi varlıkların sahip olduğu, kimi varlıkların ise sahip olmadığı bir özelliği dile getirmek

Bir önermenin, dolayısıyla bir önermeler kümesinin veya çıkarımın, bir modelde denetlenebilmesi

Önermenin ifade ettiği yargıyı ortaya koymak

∀x (Fx ∧ Gx)

∀x (Fx → Gx)

∀x (Fx → ~ Gx)

∃x (Fx → Gx)

∃x (Fx ∧ ~ Gx)

I.

II.

III.

IV.

V.

altküme

özaltküme

kitle

küme

model

∀x (x → x ) ∧ ∃y (y  ∧ ~y )

∀x (x → x) ∧ ∃y (y ∧ y)

∀x (Fx → Gx) ∧ ∃y (Hy ∧ ~Ky)

∀x (x → x) ∧ ∃y (y  → y)

∀x (Fx → Gx) ∧ ∃y (Hy ∧ Ky)

Osmanlı döneminde yaşamış bazı kadılar Kayserili olmayabilir.

Osmanlı döneminde yaşamış tüm kadılar Kayserilidir.

Osmanlı döneminde yaşamış bazı kadılar Kayserilidir.

Osmanlı döneminde yaşamış kadılar kesinlikle Kayserilidir.

Osmanlı döneminde yaşamış kadılar Kayserili olabilir de olmayabilir de.

Yalnız I ve IV

Yalnız I ve II

Yalnız II, III ve V

Yalnız I, II, IV ve IV

Hepsi

Bir önerme değişkeni, ya bir değilleme önermesi, ya bir tümel-evetlemeli önerme, ya bir tikel-evetlemeli önerme, ya bir koşul önermesi, ya da karşılıklı-koşul önermesidir ve bu biçimlerden sadece birine sahiptir.

Tek-biçimliliğin önemi, bir sembolik önermeye hangi kuralı uygulayacağımızdan emin olmamızı sağlamasıdır.

Hangi çözümleyici çizelge kuralının uygulandığının her adımda belirtilmesi gerekmektedir.

Çizelgeden bahsederken, çizelgedeki her numaralı
önermeye bir “nokta”, 1. numaralı noktaya çizelgenin “kökü”, kökten en aşağıya kadar birbirini izleyen noktalara bir “dal” adı verilir.

Kökteki önerme bir bileşik önerme ise, o önermenin ana-eklemine ait çözümleme kuralına göre devam edilir.

(q --> p)

(~p --> ~q)

(p --> ~q)

(~q --> ~p)

(~p --> q)

Birlikte tutarsız olduğunu

Birlikte tutarlı olduğunu

Birlikte doğru olduğunu

Birlikte yanlış olduğunu

Birlikte eşit olduğunu

Tikel-evetleme

Tümel-evetleme

Koşul eklemi

Karşılıklı koşul eklemi

Tümel-evetlemenin değillenmesi

“Mantık” beş harflidir.

Mantık felsefenin aracıdır

Alfabemizin ikinci harfi “B” harfidir.

Her felsefeci mantık bilir

“Mantık” en kolay felsefe dersidir.

Sentaks

Pragmatik

Semantik

Morfoloji

Fonetik