Açık Önermeler ve İspat Kavramı

“Her” ve “Bazı” Niceleyicileri

“Her” ve “Bazı” niceleyicileri matematiksel bir ifadede (veya soruda) tanım yapılırken çok sık kullanılmaktadır. Örneğin, “her x bir tamsayı olmak üzere…” şeklinde başlayan sorularda bu niceleyiciler kullanılmaktadır.

“Her” Niceleyicisi

“Her” niceleyicisi, bütün, tamamı anlamına gelen, önüne geldiği elemanların (değişkenlerin vb.) tamamını anlattığı için evrensel niceleyici olarak isimlendirilir. “Her” niceleyicisi sembolüyle gösterilir.

“Bazı” Niceleyicisi

“Bazı” niceleyicisi, en az bir anlamına gelir. “Bazı” niceleyicisine varlıksal niceleyici denir ve sembolü ile gösterilir.

Açık Önerme

İçinde en az bir değişken bulunan (örneğin x değişkeni) ve bu değişkenlere verilen değerlerle doğru ya da yanlış belirlenen önermelere açık önerme denir.

Reklam

Açık önermeyi sağlayan değerler kümesine, açık önermenin doğruluk kümesi (çözüm kümesi) denir. Yani bir açık önermeyi doğrulayan elemanların kümesine o açık önermenin doğruluk kümesi denir. Kısaca, bir x sayısı p(α) açık önermesinin doğruluk kümesinin;

elemanıysa =>
elemanı değilse

Açık Önermenin Değili (Olumsuzu)

Açık önermelerde kullanılan “Her” niceleyicisinin değili “Bazı” niceleyicisi ve “Bazı” niceleyicisinin değili de “Her” niceleyicisidir.

Mantıkta Kullanılan Bazı İfadelerin Olumsuzları

Sembol

Değili

Tanım, Aksiyom, Teorem ve İspat

Tanım

Anlamı bilinen sözcüklerle birlikte, tanımlı veya tanımsız terimler kullanılarak herhangi bir yeni terimin özelliklerini belirtmeye tanımlama denir.

İyi bir tanımlama açık ve anlaşılır olmalıdır. Ayrıca tanım, tanımlanan terimin belirtilmesi gereken bütün özelliklerini kapsamalı ve başka özellikleri kapsamayacak biçimde kesin olmalıdır.

Aksiyom

Doğruluğu ispata gerek duymaksızın kabul edilen önermelere aksiyom denir. Örneğin “iki noktadan bir doğru geçer” ifadesi aksiyomdur.

Teorem

Doğruluğunun ispatla kanıtlanması gereken önermelere teorem denir. Örneğin “bir üçgenin dış açılarının ölçüleri toplamı dir” önermesi doğrudan kabul edilebilecek bir önerme değildir. Bu yüzden teoremdir.

Reklam