Bir önceki yazımızda ayrık matematiğin ne olduğundan bahsedip, ayrık matematiğin ilk konusu olan önerme kavramını incelemiştik. Ayrık matematik ders notlarını bu siteden takip edebilirsiniz. Önerme konusunu içeren ilk yazıyı okumak için buraya tıklayabilirsiniz. Ayrık matematik ve uygulamaları (Discrete Mathematics and Its Applications) kitabı genellikle üniversitelerde ders kitabı olarak kullanılmaktadır. Bu yazının konusu ise birleşik önerme olacak. Birleşik önerme konusu, 1854 yılında İngiliz matematikçi George Boole tarafından mevcut önermeleri birleştirerek yeni önermeler elde etmek için ortaya atılmıştır. Birden fazla önermenin birleştirilmesi için mantıksal operatörler (bağlaçlar) kullanılır. Mantıksal operatörlerden ilki değil operatörüdür. 1- Değil Operatörü (negation) Basit önermelerden bildiğimiz gibi önermeler küçük harflerle temsil edilir. Bir önermenin değili şeklinde gösterilir ve "p'nin değili" şeklinde okunur. Değil operatörü bir...
Ayrık matematik içerisinde yer alan konular veri yapıları, algoritmalar, veri tabanı ve otomata teorisi gibi bilgisayar mühendisliği alanlarına matematiksel temel oluşturur. Ayrık matematik içerisinde mantık, küme teorisi, sayılar teorisi ve çizge kuramı gibi konuları barındırır. Ayrık matematik dersinin ilk konusu önermeli mantıktır. Peki önerme nedir? Önerme : Doğru ya da yanlış olan bir durumu ifade eden cümlelere önerme denir. Önerme olan bir ifade ya doğrudur ya da yanlıştır. Önerme kısmen doğru ya da kısmen yanlış olamaz. Soru cümleleri ve belirsiz cümleler önerme değildir. Önermeler genellikle p, q, r, s, t gibi harflerle gösterilirler. Örnek önermeler: p='Ömer matematik dersini almaktadır." q='Yumurta B12 vitamini içerir.' s='Cep telefonları benzinle çalışır.' Yukardaki p, q ve s önermeleri doğru ya da yanlış bir ifade belirtmektedirler. Aşağıdaki z ve k ifadeleri ise doğru veya yanlış olarak nitelendirilemediği için önerme olarak kabul edilemez. z=...