Sembolik mantıkta ise önerme eklemi almayan önermeler basit, önerme eklemi bulunan önermeler bileşik kabul edilir. Bu önerme eklemleri değilleme, tümel evetleme, koşul, tikel evetleme ve karşılıklı koşul eklemi olarak verilebilir.
Bu eklemler “ve”, “veya”, “ise”, “ancak ve ancak” ve “değil” sözcükleriyle ifade edilir.
Ö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.
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.
İki basit önerme “ancak ve ancak” ile birleştirilmişse, ortaya çıkan bileşik önermeye de karşılıklı koşul önermesi adı verilir.
İlgili 36 soru bulundu
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.
Değilleme Eklemi, Değil (~)
Olumlu bir ifadeyi olumsuz, olumsuz bir ifadeyi olumlu yapan deyimlere değilleme denir. Değilleme eklemi, “~” sembolü ile gösterilir. Örneğin; “İnsan özgürdür.” önermesini p ile sembolleştirirsek, “İnsan özgür değildir.” önermesi, ~p biçiminde sembolize edilir.
Ö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.
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.
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.
Tümel önerme, bir varlık sınıfının tamamı/bütünü hakkında bir evetleme veya değilleme yapan bir önermedir ve genellikle “Bütün”, “Her”, “Hiçbir”, “...'in hepsi”, “...'in hiçbiri” ve benzeri ifadeler yoluyla kurulur. Örnekler: “Bütün insanlar canlıdır”, “Kedilerin hepsi kuyrukludur”, “Hiçbir bitki bilinçli değildir.”
İki önerme, kendilerini oluşturan bileşenlerinin tüm doğruluk değeri kümesi için aynı doğruluk değerin sahipse bu iki önerme mantıksal eşdeğerdir denir. P ve Q 'ya iki bileşik önerme dersek, P ve Q mantıksal eşdeğerse P ≡ Q veya P ⇔ Q şeklinde gösterilir.
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.
Çelişmezlik ilkesi, Özdeşlik ilkesi, Üçüncü halin imkansızlığı ilkesi, Yeterli Neden İlkesi konu anlatımı...
İki ya da daha fazla önermenin 've, veya, ya da, ise, ancak' gibi bağlaçlar üzerinden birleştirilmesi ile ortaya çıkan yeni önermeler bileşik önerme olarak ifade edilir.
Ana eklem; bir bileşik önermede, önermenin tümünü etkileyen, belirleyen, ana yöneten eklemdir. Ana bileşen; bir bileşik önermede ana eklemin bağladığı, etkilediği bileşenlere denir. ❖ Örnekler: 1.) ( p ∨q) bileşik önermesinde (∨) ana eklem, (p), (q) da ana bileşenlerdir.
İ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.
Ö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.
Günlük dilde “ise”, “-se”, “-sa”, “ancak” gibi ek ve sözcüklerle ifade edilen ekleme, koşul eklemi denir. İki basit önerme “ise (⇒)” eklemiyle birleştirilmişse buna da koşul önermesi adı verilir. Koşul önermesinde ön bileşen doğru, art bileşen yanlış değer almışsa bileşik önerme yanlış değer alır.
İç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.
Doğruluğu ya da yanlışlığı kesin olan ifadelere önerme denir. Bir önerme ya kesinlikle doğrudur ya da kesinlikle yanlıştır. Bazen doğru bazen yanlış olan ya da kimine göre doğru kimine göre yanlış olan ifadeler birer önerme değildir. Ayrıca soru, emir ve ünlem cümleleri birer önerme değildir.
E: Tümel olumsuz önerme Örnek: Hiçbir insan ölümlü değildir. O: Tikel olumsuz önerme Örnek: Bazı insanlar ölümlü değildir. Örneğin, bütün insanların ölümlü olduğu yargısının doğruluğundan, bazı insanların ölümlü olduğu yargısının doğru olduğunu da geçerli olarak çıkarsayabiliriz.
Benzer sorularSıkça sorulan sorular
DuyuruReklam alanı
Popüler SorularSıkça sorulan sorular
© 2009-2024 Usta Yemek Tarifleri