Önerme eklemleri nelerdir Test 2

6. Mantıkta "değil" eklemi ile ilgili aşağıdakilerden hangisi doğrudur?

A) Bir önermenin doğruluk değerini değiştirmez
B) Sadece yanlış önermelere uygulanabilir
C) Doğru önermeyi yanlış, yanlış önermeyi doğru yapar
D) İki önerme arasında bağlantı kurar

Mantıkta "değil" eklemi, bir önermenin olumsuzunu (negasyonunu) ifade etmek için kullanılan temel bir mantık eklemidir. Bu eklemin işlevini adım adım inceleyelim:

• 1. "Değil" Ekleminin Tanımı ve Sembolü:

  Mantıkta "değil" eklemi, bir önermenin doğruluk değerini tersine çevirme görevini üstlenir. Genellikle "değildir", "doğru değildir ki", "yanlıştır ki" gibi ifadelerle karşımıza çıkar. Sembolik mantıkta $ \neg $ (negasyon işareti) veya $ \sim $ (tilde) ile gösterilir.

• 2. "Değil" Ekleminin Temel İşlevi:

  Bir önermenin iki olası doğruluk değeri vardır: Doğru (D) veya Yanlış (Y). "Değil" eklemi, uygulandığı önermenin doğruluk değerini tam tersine çevirir. Yani:

  • Eğer bir P önermesi doğru ise, $ \neg P $ (P'nin değili) yanlış olur.
  • Eğer bir P önermesi yanlış ise, $ \neg P $ (P'nin değili) doğru olur.
• 3. Seçeneklerin Değerlendirilmesi:
  • A) Bir önermenin doğruluk değerini değiştirmez: Bu ifade yanlıştır. "Değil" ekleminin temel amacı, önermenin doğruluk değerini değiştirmektir. Örneğin, "Güneş doğudan doğar" (Doğru) önermesinin değili "Güneş doğudan doğmaz" (Yanlış) olur.
  • B) Sadece yanlış önermelere uygulanabilir: Bu ifade de yanlıştır. "Değil" eklemi, hem doğru hem de yanlış önermelere uygulanabilir. Örneğin, "2+2=5" (Yanlış) önermesinin değili "2+2=5 değildir" (Doğru) olur.
  • C) Doğru önermeyi yanlış, yanlış önermeyi doğru yapar: Bu ifade doğrudur. Yukarıda açıkladığımız gibi, "değil" ekleminin doğruluk tablosu tam olarak bu işlevi gösterir. Doğru bir önermeyi yanlış, yanlış bir önermeyi ise doğru yapar.
  • D) İki önerme arasında bağlantı kurar: Bu ifade yanlıştır. "Değil" eklemi, tek bir önermeye uygulanan tekli (unary) bir eklemdir. İki önerme arasında bağlantı kuran eklemler "ve" ($ \land $), "veya" ($ \lor $), "ise" ($ \to $) gibi ikili (binary) eklemlerdir.

Yukarıdaki açıklamalar ışığında, "değil" ekleminin mantıktaki işlevini en doğru şekilde tanımlayan seçenek C'dir.

Cevap C seçeneğidir.