Nicel mantıkta, önermeleri oluşturan niceleyiciler de kodlanmıştır. Varsayımsal mantıkta yalnızca artikülasyonlar kodlanırken, nicelemede mantıksal niceleyiciler belirtilir.
Örneğin Ayşe zeki bir öğrencidir ve varsayımsal mantıkta p ile gösterilirken niceliksel mantıkta Fa ile gösterilir. Burada F fiili özneyi ifade etmektedir.
Analoji mantığında semboller nasıl ifade edilir?
• Niceleme mantığında konu a, b, c,… olarak kodlanır. Ayşe, Ahmet, Cat’in yerine A, b, c eklenebilir. Cümlede birden fazla özne varsa sırasıyla bu ifadeleri isimlendirebilirsiniz. Bunlara isim kodu denir.Teklifte ahmed akıllıdır yerine ahmed diyebiliriz.
• Niceleme mantığında yüklemler F, G, H gibi büyük harflerle kodlanır. F, G, H gibi uç, düşün, dik yerine yazılır. Bu sembollere yüklem denir.
Örneğin Ayşe Çalışkandır ifadesinde sert yerine F yazılmıştır.
• Niceleme mantığında all, all, all gibi evrensel olumlu ifadeler ∀ ile gösterilir.
“Bütün kuşların kanadı vardır” ifadesi “aFa” olarak karşımıza çıkıyor.
• Aynı şekilde özellikle vurgu, bazı ifadeler ve bazı ifadeler ∃ ile gösterilmiştir.
Bazı insanlar “ava” tabiriyle doktordur.
Örneğin;
bazı sayılar tek aFa,
Tüm insanlar canlı ∀xFx
Tüm kuşlar uçar ve kanatları vardır ∀xFx∧Gx
Bazı insanlar utangaç ∃xFx
Onları sembolize ediyorlar
hayır: Nicemleme mantığında bir yüklem sadece bir özne için kullanılıyorsa 1-özneli yüklem, iki özne için kullanılıyorsa ikili yüklem, n özne için kullanılıyorsa yüklem olarak adlandırılır. bir n-konu.
Temel konseptler
Değişken: Konunun net olmadığı durumlarda özne yerine kullanılan x ifadesi için kullanılır. Örneğin X bir bitkidir dediğimizde x ifadesi bir değişkendir.
Açık Önerme: Önermelerde X doktordur, X açık önermedir. Hiçbir isim x ile değiştirilmediğinden, herhangi bir ifadeye açıktır.
Örtülü önerme: Bunlar, dava konusunun bilindiği ve belirli bir gerçeklik değerine sahip olduğu yargılardır. Emel öğretmendir ifadesinde, Emel ya öğretmendir ya da değildir.
Değişmez: Kendilerinden başka birimlere bölünmeyen önermeler. Özel değişmezler ve boolean değişmezler olmak üzere 2’ye ayrılır. Adlar ve artikülatörler özel sabitler, artikülatörler ve niceleyiciler ise boole sabitleri olarak ele alınır.
Ahmed’in zekice ifadesi kapalı bir önerme değildir.
X ifadesi yaşıyor, açık bir ifadedir ve X ifadesi değişkendir.
Sunumların kuantum mantığında sınıflandırılması
a) Tek teklifler (basit teklifler ve bileşik teklifler)
b) genel önermeler (basit önermeler ve bileşik önermeler)
Tekil önermelerde basit önermenin ifadesi yoktur, ancak bileşik durumda ifade ve ifadedir.
Mor Yaprak (Fx) basit bir öneridir.
Menekşe ve gül bitkinin tek bileşik önermesidir (Fa∧Fb).
Genel varsayımlarda, basit varsayımlar genel ve özel konulardır. Bileşik önermelerde nicelik belirteçleri virgülle ifade edilir.
Bazı lezzetli portakallar .xFx basit bir genel öneridir.
Tüm kuşlar uçar ve bazı kuşlar avcıdır ∀xFx ∃xFx genel bir bileşik önermedir.
Bilmeniz gereken temel kavramlar
Olumsuzluk kurallarının tanımlanmasında genel bir olumlama, olumsuzlama yoluyla özel bir olumlamaya, belirli bir olumlama ise olumsuzlama yoluyla tümel bir olumlamaya dönüştürülür. Bu şekilde eşdeğer teklifler elde edilir.
Atama kurallarında daha önce kullanılmış (a,b,c,..) gibi isim sembolleri üzerinden ayrıştırıcı tablosuna bakılarak veya kullanılmamışsa a,b,c gibi isim sembolleri verilerek olumsuzlama yapılır. kullanılmış
yazar: Daha erken Para cezası
Diğer gönderilerimize göz at
[wpcin-random-posts]