Yüklemler mantığında niceleyiciler ve sembolleştirme kuralları çerçevesinde; E = \{a, b\} … — YKS AYT (Alan Yeterlilik Testi)

Yüklemler mantığında niceleyiciler ve sembolleştirme kuralları çerçevesinde; $E = \{a, b\}$ evreninde tanımlı $G(x)$ : " $x$ gariptir." ve $D(x)$ : " $x$ dahidir." yüklemleri verilmiştir. Buna göre, "Hiçbir garip dahi değildir." önermesinin sembolik karşılığı olan $\sim \exists x (G(x) \land D(x))$ ifadesi ile "Her dahi garip olmayan biridir." önermesinin sembolik karşılığı olan $\forall x (D(x) \rightarrow \sim G(x))$ ifadesinin birbirine mantıksal olarak denk olduğu ve bu denkliğin $E$ evrenindeki açılımının $[(\sim G(a) \lor \sim D(a)) \land (\sim G(b) \lor \sim D(b))]$ şeklinde yapılması gerektiği yönündeki iddia doğru mudur?

Answer: Answer

Answer

İleri sürülen iddia tamamen doğrudur.

Verilen iddiadaki her iki önerme de mantıksal çözümlemeler yapıldığında aynı sembolik açılıma ulaşır. 'Hiçbir garip dahi değildir' ifadesi ile 'Her dahi garip olmayan biridir' ifadesi eşdeğerdir ve

E = \{a, b\}

evrenindeki açılımları tam olarak iddia edilen biçimdedir.

Step-by-Step Solution

İlk önermenin sembolleştirilmesi ve eşdeğerinin bulunması

"Hiçbir garip dahi değildir." önermesi

\sim \exists x (G(x) \land D(x))

biçiminde sembolleştirilir. Niceleyici değilleme kuralı uygulanarak bu ifade

\forall x \sim (G(x) \land D(x))

şekline getirilir.

Tikel niceleyicinin değillemesi, niceleyicinin tümele dönüştürülüp içteki ifadenin değillenmesi esasına dayanır.

De Morgan kuralının uygulanması

\forall x \sim (G(x) \land D(x))

ifadesinde içteki değilleme dağıtıldığında

\forall x (\sim G(x) \lor \sim D(x))

ifadesi elde edilir.

Tümel evetleme ekleminin değili, bileşenlerin değillerinin tikel evetlemesidir.

İkinci önermenin sembolleştirilmesi ve eşdeğerinin bulunması

"Her dahi garip olmayan biridir." önermesi

\forall x (D(x) \rightarrow \sim G(x))

olarak sembolleştirilir. Koşul ekleminin eşdeğerlik kuralı (

p \rightarrow q \equiv \sim p \lor q

) uygulanarak bu ifade

\forall x (\sim D(x) \lor \sim G(x))

haline getirilir.

Her iki sembolik ifadenin iç mantıksal yapılarının birbirine denk olup olmadığını görmek için aynı eklemlere indirgenmesi gerekir.

İfadelerin karşılaştırılması ve evren açılımının yapılması

\sim G(x) \lor \sim D(x)

ile

\sim D(x) \lor \sim G(x)

ifadeleri değişme özelliği gereği denktir. Dolayısıyla

\forall x (\sim G(x) \lor \sim D(x))

ifadesinin

E = \{a, b\}

evrenindeki açılımı

[(\sim G(a) \lor \sim D(a)) \land (\sim G(b) \lor \sim D(b))]

olarak bulunur.

Tümel niceleyicili önermelerin sonlu bir evrendeki açılımı, evrendeki her bir eleman için yazılan özelleme önermelerinin tümel evetleme bağı ile bağlanmasıyla gerçekleştirilir.

Key Concept

Yüklemler mantığında niceleyicilerin değillenmesi, koşul ekleminin tikel evetlemeye dönüştürülmesi ve tümel niceleyicili önermelerin sonlu evrendeki açılımı.

Question

Answer

Step-by-Step Solution

Key Concept

Common Mistakes

Topics

More questions from this topic