- karakteristikleri
- Basit veya bileşik
- Bildirge
- Belirsizlikten yoksun
- Tek bir doğruluk değeriyle
- Sembolik olarak temsil edilmeye duyarlı
- Konektörlerin veya mantıksal bağlantıların kullanımı
- Gerçek tabloları
- Yanlış önerme örnekleri
- Basit önermeler
- Bileşik önermeler
- Referanslar
Hatalı önermelerin doğruluk değeri sıfır (yanlış) mantıksal varlıklardır. Genel olarak, bir önerme, doğruluğu veya yanlışlığı garanti edilebilecek dilbilimsel (cümle) veya matematiksel bir ifadedir. Önermeler mantığın temelidir ve önerme mantığı olarak bilinen çok özel bir alanı oluşturur.
Bu şekilde, bir önermenin temel özelliği, doğruluk değerine göre (yanlış veya doğru) beyan edilme olasılığıdır. Örneğin, Juan ifadesi, dükkana git! bu olasılıktan yoksun olduğu için bir önermeyi temsil etmez. Bu arada, Juan satın almak için mağazaya gitti ya da Juan mağazaya gitti gibi cümleler yapar.
Basit yanlış teklif örneği
Şimdi matematiksel düzlemde "10−4 = 6" ve "1 + 1 = 3" önermelerdir. İlk vaka gerçek bir teklif hakkındadır. İkincisi, hatalı önermelerin bir parçasıdır.
Öyleyse önemli olan, önerme ya da sunuluş şekli değil, doğruluk değeridir. Eğer bu varsa, önerme de var demektir.
karakteristikleri
Basit veya bileşik
Hatalı önermeler basit (yalnızca bir doğruluk değerini ifade ederler) veya bileşik (birden çok doğruluk değerini ifade ederler) olabilir. Bu, bileşenlerinizin zincirleme öğelerinden etkilenip etkilenmediğine bağlıdır. Bu ilgili öğeler, bağlayıcılar veya mantıksal bağlantılar olarak bilinir.
Birincisinin bir örneği, şu türdeki hatalı önermelerdir: "Beyaz at siyahtır", "2 + 3 = 2555" veya "Tüm mahkumlar masumdur".
İkinci türden "Araç siyah veya kırmızı", "2 + 3 = 6 ise 3 + 8 = 6" gibi önermelere karşılık gelir. İkincisinde, en az iki basit önerme arasındaki bağlantı gözlenir.
Doğru olanlarda olduğu gibi, yanlış olanlar, bazıları yanlış ve diğerleri doğru olabilecek diğer basit önermelerle iç içe geçmiştir. Tüm bu önermelerin analizinin sonucu, ilgili tüm önermelerin kombinasyonunu temsil edecek bir doğruluk değerine götürür.
Bildirge
Hatalı önermeler açıklayıcıdır. Bu, her zaman ilişkili bir doğruluk değerine (yanlış değer) sahip oldukları anlamına gelir.
Örneğin, "x 2'den büyüktür" veya "x = x" varsa, "x" in temsil ettiği gerçeğini bilene kadar yalanın (veya doğruluk) değerini belirleyemezsiniz. Bu nedenle, iki ifadenin hiçbiri açıklayıcı kabul edilmez.
Belirsizlikten yoksun
Hatalı önermelerin belirsizliği yoktur. Yalnızca tek bir olası yoruma sahip olacak şekilde inşa edilmişlerdir. Bu şekilde, doğruluk değeri sabit ve benzersizdir.
Öte yandan, bu belirsizlik eksikliği onun evrenselliğini yansıtıyor. Dolayısıyla bunlar evrensel olarak olumsuz, özellikle olumsuz ve varoluşsal olarak olumsuz olabilir:
- Tüm gezegenler güneşin etrafında döner (evrensel olarak olumsuz).
- Bazı insanlar klorofil üretir (özellikle negatif).
- Kara kuşu yoktur (varoluşsal olarak olumsuz).
Tek bir doğruluk değeriyle
Hatalı önermelerin yalnızca bir doğruluk değeri vardır, yanlış. Aynı anda gerçek değere sahip değiller. Aynı önerme her ortaya atıldığında, formüle edildiği koşullar değişmediği sürece değeri yanlış kalacaktır.
Sembolik olarak temsil edilmeye duyarlı
Hatalı önermeler sembolik olarak temsil edilmeye açıktır. Bu amaçla, kelime dağarcığının ilk harfleri onları belirtmek için geleneksel bir şekilde atanır. Böylece, önerme mantığında, küçük harf olan a, b, c ve sonraki harfler önermeleri sembolize eder.
Bir öneriye sembolik bir harf atandığında, analiz boyunca korunur. Benzer şekilde, karşılık gelen doğruluk değeri verildiğinde, önermenin içeriği artık önemli olmayacaktır. Sonraki tüm analizler sembole ve doğruluk değerine dayalı olacaktır.
Konektörlerin veya mantıksal bağlantıların kullanımı
Bağlantıların (bağlayıcılar veya mantıksal bağlaçlar) kullanımıyla, birkaç basit yanlış önerme bir araya getirilebilir ve bir bileşik oluşturabilir. Bu bağlayıcılar, bağlantı (ve), ayrılma (veya), ima (o zaman), eşdeğerlik (eğer ve sadece ise) ve olumsuzluktur (hayır).
Bu konektörler, onları yanlış olabilecek veya olmayabilecek başkalarıyla ilişkilendirir. Tüm bu önermelerin doğruluk değerleri sabit ilkelere göre birbirleriyle birleştirilir ve bilindiği gibi tüm bileşik önerme veya argüman için "toplam" bir doğruluk değeri verir.
Öte yandan bağlayıcılar, birbirine zincirledikleri önermelerin "toplam" doğruluk değerini verir. Örneğin, bir ayrılma bağlayıcı aracılığıyla yanlış bir ifadeye zincirlenen yanlış bir ifade, bileşik için yanlış bir değer döndürür. Ancak gerçek bir ifadeye zincirlenirse, bileşik ifadenin doğruluk değeri doğru olacaktır.
Gerçek tabloları
Hatalı önermelerin benimseyebileceği tüm olası doğruluk değerleri kombinasyonları, doğruluk tabloları olarak bilinir. Bu tablolar, birbirine bağlı çeşitli hatalı önermeleri analiz etmek için mantıksal bir araçtır.
Şimdi, elde edilen doğruluk değeri doğru (totoloji), yanlış (çelişki) veya olası (koşullara bağlı olarak yanlış veya doğru) olabilir. Bu tablolar, hatalı ifadelerin her birinin içeriğini hesaba katmaz, yalnızca bunların gerçek değerini dikkate alır. Bu nedenle evrenseldirler.
Yanlış önerme örnekleri
Basit önermeler
Basit önermelerin tek bir doğruluk değeri vardır. Bu durumda, doğruluk değeri yanlıştır. Bu değer, onu atayan kişinin gerçekliğinin kişisel algısına bağlı olarak atanır. Örneğin, aşağıdaki basit ifadelerin yanlış değeri vardır:
- Çim mavidir.
- 0 + 0 = 2
- Çalışmak insanları gaddarlaştırır.
Bileşik önermeler
Bileşik hatalı cümleler, bağlayıcılar aracılığıyla bağlanan basit cümlelerden oluşur:
- Çim mavidir ve ders çalışmak insanları büyülüyor.
- 0 + 0 = 2 veya çimen mavidir.
- 0 + 0 = 2 ise çimen mavidir.
- 0 + 0 = 2 ve çimen mavidir, ancak ve ancak çalışmak insanları zorlaştırırsa.
Referanslar
- Austin'deki Texas Üniversitesi. (s / f). Önerme Mantığı. Cs.utexas.edu'dan alınmıştır.
- Simon Fraser Universitesi. (s / f). Önerme Mantığı. Cs.sfu.ca.'dan alınmıştır.
- Old Dominion Üniversitesi. (s / f). Önerme. Cs.odu.edu'dan alınmıştır.
- İnternet Felsefe Ansiklopedisi. (s / f). Önerme Mantığı. İep.utm.edu'dan alınmıştır.
- Encyclopædia Britannica. (2011, Nisan). Doğruluk tablosu. Britannica.com'dan alınmıştır.
- Andrade, E .; Cubides, P .; Márquez, C .; Vargas, E. ve Cancino, D. (2008). Mantık ve biçimsel düşünme. Bogotá: Editoryal Universidad del Rosario.
- Grant Luckhardt, C .; Bechtel, W. (1994). Mantıkla Nasıl Yapılır. New Jersey: Lawrence Erlbaum Associates, Inc.