Bir önermenin ne olduğunu, felsefe, mantık ve matematikteki anlamını açıklıyoruz. Ayrıca basit ve bileşik önermeler.
teklif nedir?
Bir önerme, genel anlamda, önerilen bir şeydir. Yani, bir eşdeğer ifadesidir basit cümle iddialı, bir namaz içinde bir şeyin var olduğu, bir şeyin var olduğu veya belirli bir özelliğinin olduğu onaylanır. Bu nedenle, doğru (gerçekle uyuşuyorsa) veya yanlış (uygun değilse) olarak değerlendirilebilir.
Belirli resmi disiplinler gibi farklı bilgi bağlamlarında yaygın olarak kullanılan bir terimdir.mantık, matematik) dalga dilbilim ve Felsefe. Buradaki fikir, farklı önermeleri öncül olarak alarak, kesin sonuçlar elde etmenin mümkün olmasıdır. sonuçlarve ayrıca, bunları elde ettiğimiz prosedür dikkatlice incelenebilir.
Her halükarda, bir önerme, ses veya karakter (doğal dilde) veya işaretler ve temsiller (biçimsel bir dilde) olsun, aynı dile ait bir işaretler zinciri olarak anlaşılmalıdır.
Oysa konuşma dilinde bir teklif, bir teklif olarak anlaşılır: bir başkasına veya başkalarına yaptığımız ve kabul edilebilecek veya reddedilebilecek bir davet.
Son olarak, bir önermeyi bir edatla karıştırmamalıyız. İkincisi sadece bir gramer kategorisidir, yani bir tür sözler, az ya da çok açık bir gramer anlamı olan ve şeyler arasında ilişkiler kurmaya hizmet eden. Edat örnekleri şunlardır: de, para, kontra, entre, por, sobre, bajo, en, vb.
Felsefede önerme
Felsefi tartışma alanında, gerçeklikle ilgili bir yargının belirli bir dilde ifade edildiği zihinsel bir eyleme atıfta bulunmak için bir önermeden söz edilir ve bu, bir şey arasında bir tür ilişki kurulmasına izin verir. ders ve bir yüklem belirlenen.
Bu anlamda önerme, ifade edildiği cümleyle karıştırılmamalıdır, çünkü aynı yargı aşağıdaki gibi farklı cümlelerle ifade edilebilir:
- Ana bir kadındır.
- Ana bir erkek değil.
mantıkta önerme
Mantık, önermeler arasındaki ilişkileri ve birbirinden bir sonuca varmamızı sağlayan akıl yürütme mekanizmalarını inceler. Önermeler kendi içlerinde yargılardan farklıdır, çünkü birincisi gerçeklik hakkında bir şeyler önerirken, ikincisi gerçeklik hakkında bir şeyler onaylar veya reddeder. Yani, önermeler yargıların mantıksal ürünüdür.
Biçimsel mantık, önermeleri, anlamsal içeriklerinden soyutlanmış aralarındaki mantıksal bağlantıları incelemek için alfabenin harfleri aracılığıyla temsil eder: P sonra ne”.
Bu ilişkiden, doğru (V) veya yanlış (F) değerleri atayan "doğruluk tabloları" aracılığıyla ifade edilen içeriğin hangi durumlarda doğru, hangi durumlarda yanlış olduğu belirlenebilir. olası sonuçlarını incelemek için kurulan ilişkiye.
Basit ve bileşik ifadeler
Mantık, önermeleri yapılarına göre basit ve bileşik olmak üzere ikiye ayırır.
- Basit önermeler. Bunlar, olumsuzlama (hayır), bağlaç (ve), ayrılma (veya) veya ima (eğer ... o zaman) faktörleri olmaksızın doğrudan ilişkili bir özne ve bir yüklemden oluşanlardır. Cümle terimleriyle, astları olmayan basit cümlelere karşılık gelirler. Örneğin: "Köpek siyah."
- Bileşik önermeler. Bunlar, olumsuzlama, bağlaç, ayırma veya ima faktörleri yoluyla ek unsurları bir araya getiren ve cümle terimlerinde ile cümlelerden oluşan karmaşık tipte olanlardır. ast ve diğer bileşenler. Örneğin: "Köpek siyahsa, köpek ne mavi ne de kırmızıdır."
matematikte önerme
Matematik mantığa çok yakın resmi bir dil olduğundan, bir önermenin terimleri arasındaki ilişkiyi ve bağlantıları ifade etmek için sayıları, değişkenleri ve matematiksel işaretleri kullanması dışında önermelere yaklaşımı çok farklı değildir. . Böylece, matematiksel önermeler de bir şeyi onaylar veya reddeder, doğru veya yanlış olarak yargılanabilecek bir bağlantı kurar.
Örneğin, 4 + 5 = 7 ifadesi bu nicelikler arasında biçimsel bir ilişkiyi onaylar ve bu durumda yanlış olarak kabul edilebilir, çünkü çözünürlüğü 4 + 5 = 9'u gösterir. Ancak yanlış olmasına rağmen, şu şekilde ifade edilebilir: yani önerilebilir.
Matematiksel önermeler dahil edilerek daha karmaşık hale getirilebilir. değişkenlerolasılık ve varyasyon ilişkilerini ifade eden denklemler gibi. Örneğin x = 3y + z ifadesinde doğru veya yanlışın anlamları değişkenlere atadığımız değerlere bağlı olacaktır, ancak oranları ve anlamları ne olursa olsun aynı kalacaktır.