Önermeler mantığı, önerme eklemleri denilen mantıksal değişmezlerle (değil, ve, veya, ise, ancak ve ancak) kurulan önermelerden oluşmuş mantıktır. Bu mantıksal değişmezler yardımıyla iki ya da daha fazla basit önermeyi birleştirmek suretiyle yeni bir bileşik önerme elde edilir.
Önerme eklemleri, basit önermeleri bileşik hâle getiren mantık değişmezleridir. Bu eklemler “ve”, “veya”, “ise”, “ancak ve ancak” ve “değil” sözcükleriyle ifade edilir.
Doğruluk değeri bilinmese de kesin hüküm bildirip, doğru veya yanlış olan cümleler önermedir. Örnek 1: "her çift sayı iki asal sayının toplamıdır" cümlesi Goldbach Sanısı adıyla bilinen, doğruluğu ya da yanlışlığı ispatlanamamış bir önermedir.
Bileşik önermeler iki veya daha çok yargıyı birleştiren önermelerdir. Bu önermelerdeki yargılar mantık eklemleri -ise, ve, veya, ya da, ancak ve ancak- ile birbirine bağlanır.
Bu durumda p,q,r, gibi önermelere tekabül eden semboller elektrik devrelerini; bu önermeler arasında işJem yapılmasını temin eden ve (A )> veya (V), ise (—ğ), ancak ve ancak (^), bağdaşmazlık (|), ayrıklık (J,) gibi eklemler de devreler arasındaki bağıntıları ifadede kullanılacaktır.
İlgili 43 soru bulundu
b) Tikel Evetleme Eklemi: İki veya daha fazla sayıdaki önermeyi birleştiren 'veya' (ya da 'veya' ile aynı anlama gelen başka deyimlerin) dile getirdiği ekleme "tikel evetleme eklemi" denir.
Çelişmezlik ilkesi, Özdeşlik ilkesi, Üçüncü halin imkansızlığı ilkesi, Yeterli Neden İlkesi konu anlatımı...
Çünkü bu ifadelerin tamamı birer yargı bildirir ve önermelerin kurallarına uyar: “Ay, Dünya'nın uydusudur.” Bir önermedir ve doğruluk değeri, “doğru”dur. “Filler; uçabilen, küçük, pembe bitkilerdir.” Bir önermedir ve doğruluk değeri, “yanlış”tır. “Bir gün, 83 saattir.” > Bir önermedir ve doğruluk değeri, “yanlış”tır.
p⇔1 ifadesi p ifadesine denktir. p⇔p'ifadesi 0 değerine denktir. p⇔q ifadesi p'⇔q' değerine denk olduğu bilinir. p⇔0 ifadesi p' değerine denk bir ifadedir.
İçerisinde değişken olan ve değişkenin değerlerine göre doğru ya da yanlış olabilen önermelere açık önerme denir. Açık önermeler değişkenine göre P(x),q(a),k(x,y) biçimleriyle gösterilebilirler. x=-1,3 için doğru x=5 için yanlıştır.
Önerme, en az iki terimin bulunduğu ve içinde yargı ve doğruluk durumu bulunan cümlelerdir. Doğru ya da yanlış olarak nitelendirilebilecek her cümle önermedir. Her önerme cümledir fakat her cümle önerme değildir.
Önermeler nasıl gösterilir? Önermeler q, p, r, s gibi küçük harfler ile gösterilir. Örneğin; q : En küçük asal sayı 2'dir.
İki basit önerme “ancak ve ancak” ile birleştirilmişse, ortaya çıkan bileşik önermeye de karşılıklı koşul önermesi adı verilir. Bu önerme türünde, bileşenlerin hepsi de aynı değeri almışsa önerme doğru, diğer hâllerde yanlıştır.
Neler önerme değildir
Önermelerde en az bir yargı ve bir doğruluk değeri taşıyan cümle vardır. Dilek, soru, emir, ünlem gibi cümleler bir yargı bildirmezler. Bu yüzden doğru veya yanlış olamayacakları için önerme değillerdir.
Önermeler yapıları (basit-bileşik), nitelikleri (olumlu-olumsuz) ve nicelikleri (tümel-tikel) bakımından üçe ayrılır. Basit önerme özne, yüklem ve bağdan oluşan ve bir tek yargı bildiren önermelerdir. Birden fazla önermenin "ve, veya, ise, ancak ve ancak" bağlaçlarıyla birbirine bağlanmasıyla bileşik önermeler oluşur.
HANGİ CÜMLELER ÖNERME DEĞİLDİR? Her önermede en az bir yargı bulunmalıdır ve her önerme, bir doğruluk değeri, yani doğru olma ya da yanlış olma özelliğini taşımalıdır. Bu bağlamda bu nitelikleri üzerinde barındırmayan dilek, emir, soru, ünlem cümleleri yargı bildirmedikleri için önerme olarak kabul edilmezler.
Cevap: “ ya da” nın tersi; yoktur. Yani cevabımız “ya da nın tersi bulunmaz olmalıdır.
Mantıkta, matematik ve psikoloji gibi alanlarda ancak ve ancak, iki ifade arasındaki iki koşullu mantık bağlacını belirtir. Birbirine bağlı olan iki ifadenin birinin doğruluğu için ötekinin doğru olması gerekmektedir, dolayısıyla ya iki ifade de doğru, ya da her ikisi de yanlıştır.
p ve q önermeleri arasına “veya” bağlacı kullanılması suretiyle “p veya q” önermesini elde etme işlemine denir. Veya bağlacı kullanılan önermelerde "veya" bağlacı “ V “ harfi ile gösterilir. p V q önermesinde toplama işlemi geçerli durumdadır.
C: Kipliklerine göre üç tür önerme vardır. Yani önermeler “müm- kün” (ihtimaliyye), “basit” (mutlak) ve “zorunlu” (zarure) ya ayrılır.
İbn Rüşd, “mana” ile ifade ettiği şekilde önermenin kendisinden meydana geldiği üç unsurdan söz eder. Bunlar konu, yüklem ve yüklem ile konuyu birbirine bağlayan bağ (râbıta) dır.
Günaydın kelimesi herhangi kesinlik bildirmediği için önerme kabul edilemez.
Mantık özdeşlik, çelişmezlik, üçüncü şıkkın imkânsızlığı gibi üç temel ilkeye dayalı bir sitemdir. Bu ilkelere mantık tarihi boyunca “akıl ilkeleri”, “zihin ilkeleri” varlık ilkeleri”, “düşünme yasaları”, “bilginin normatif yasaları” gibi adlar verilmiştir.
ÖZDEŞLİK İLKESİ
A' A' dır şeklinde ifade edilir. Bir akıl yürütmenin en başında bir terime hangi anlam verildiyse o akıl yürütme boyunca, o terim sürekli olarak bu aynı anlamı taşımalıdır. A' A' dır ilkesi, doğru düşünebilmek için zihnin uymak zorunda olduğu ilk ilkedir.
Mantık ilkeleri veya zihnin prensipleri olarak da adlandırılan akıl ilkeleri, mantığın kavram, önerme, akıl yürütme konularının işlevselliği için olmazsa olmaz, vazgeçilmez koşullardandır. Kavram oluşturmak, oluşturulan kavramlar arasında ilişkiler kurabilmek, yani esasında düşünmek, akıl ilkeleri ile olanaklıdır.
Benzer sorularSıkça sorulan sorular
DuyuruReklam alanı
Popüler SorularSıkça sorulan sorular
© 2009-2024 Usta Yemek Tarifleri