Mantıkta önerme, doğrulanabilir ya da yanlışlanabilir olmak zorunda olan ifadelerdir 2. Kesin olan cümleler, yanlış veya doğru olsalar da önermedir; önemli olan cümlenin yanlış veya doğru olduğunun bilinmesi değil, doğrulanabilir olduğunun bilinmesidir
Bazı önerme örnekleri:
Önermeler, emir, ünlem ve soru cümleleri ile karıştırılmamalıdır4. Örneğin, "Bugün ne yapacaksın?" bir soru cümlesidir ve önerme değildir, "Bana su getir!" bir emir cümlesidir ve önerme içine dahil edilmez, "Ne kadar güzel!" bir ünlem cümlesidir ve doğruluğu veya yanlışlığı bilinemez
Mantıkta "eğer" ve "ise" arasındaki fark şu şekilde açıklanabilir: Eğer Bağlacı: Programlarda koşullu ifadeler oluşturmak için kullanılır. İse Bağlacı: İki önermeyi birbirine bağlar ve "şartlı/koşullu önerme" olarak adlandırılır. Özetle, "eğer" bağlacı genellikle programlamada koşullu ifadeler için kullanılırken, "ise" bağlacı mantıkta iki önermeyi birbirine bağlamak için kullanılır.
Bazı mantık çeşitleri: Tümdengelim (dedüksiyon). Tümevarım (endüksiyon). Analoji. Sembolik mantık. Çok değerli mantık. Puslu (fuzzy) mantık. Tutarlılık-ötesi (paraconsistent) mantık. Temporal mantık. Modal mantık.
Mantıkta koşullu önerme, iki önermenin "ise" (⇒) bağlacı ile birleştirilmesiyle oluşturulur. Örnek: p: "İstanbul, Marmara Denizi kıyısındadır.". q: "İstanbul, Marmara bölgesindedir.". Bu önermeler "ise" bağlacı ile şu şekilde birleştirilir: p ⇒ q: "İstanbul, Marmara Denizi kıyısında ise, İstanbul, Marmara bölgesindedir.". Özellikler: p ⇒ q önermesinde, p önermesi önceki, q önermesi ise sonraki olarak adlandırılır. p önermesi, q için yeterli şart; q ise p için gerekli şarttır. p ⇒ q önermesinin doğruluk değeri, p doğru, q yanlış iken yanlış, diğer tüm durumlar için doğrudur.
Hayır, mantıkta "ise" (⇒) ve "ancak ve ancak" (⇔) aynı şey değildir. İse (⇒): Bir önermenin doğru, diğerinin yanlış olması durumunda yanlış, diğer durumlarda doğru olan bir bağlaçtır. Ancak ve ancak (⇔): İki ifadenin aynı değerde olması durumunda doğru olan bir bağlaçtır. Bu bağlaçlar farklı mantıksal ilişkileri ifade eder.
Mantıkta tanım, bir kavramın anlamını aydınlatma, açıklama ve belirleme işlemidir; bir şeyin ne olduğunun belirtilmesidir. Tanımın bazı koşulları: Tam olmalıdır. Açık olmalıdır. Kısırdöngü içermemelidir. Özne (tanımlanan) ile yüklem (tanıyan) arasında çelişik ifadeler bulunmamalıdır. Tanım çeşitleri: Beş tümele göre tanımlar: özle ilgili ve ilintiyle ilgili tanımlar. Tanımlanana göre tanımlar: ad tanımları ve nesne tanımları.
İşte bazı mantık soruları ve cevapları: Soru: Bir fili dolaba kaç hamlede sokarsınız? Cevap: 3 hamlede. Soru: Bir akvaryum içerisinde 20 tane balık bulunuyor. Bu balıkların 4 tanesi boğulur, kalanlardan 8 tanesi yüzer ve 6 tanesi de ölür. Akvaryum içerisinde kaç balık kalır? Cevap: 20 balık kalır. Soru: Bir yarışta ikinci geçildiği zaman kaçıncı olunur? Cevap: İkinci olunur. Soru: Bir adam, karısı ve oğulları bir trafik kazası geçirir. Hepsi hastaneye götürülür ve doktor, “Onu ameliyat edemem, o benim oğlum.” der. Doktor kimdir? Cevap: Doktor, kaza yapan adamın babası ve çocukların dedesidir. Soru: Önce dışım soyulur, sonra içim pişirilir. Sonra dışım yenir ve içim atılır. Ben neyim? Cevap: Mısır. Daha fazla mantık sorusu ve cevabı için aşağıdaki kaynaklara göz atabilirsiniz: webtekno.com; boenstitu.com; milliyet.com.tr.
Mantık ve önerme arasındaki ilişki şu şekilde açıklanabilir: Önerme, özne, yüklem ve bağlaçtan oluşan, doğruluk değeri taşıyan bir yargıdır. Mantık, önermeler arası çıkarım ilişkilerinin nesnel olarak ifade edilebilmesine ve denetlenebilmesine olanak veren bir bilim dalıdır. Mantık, önerme seviyesinde başlar. Önermeler, doğruluk değerlerine göre değerlendirilir. İki önermenin değeri "1" ise, bu önermeler birbirine denktir.
Eğitim
Manhattan projesinin amacı atom bombası mı?
Metal pergel ne işe yarar?
Manyetik kuantum sayısı 0 olan elektronlar hangi orbitalde bulunur?
Marangozluk kaç yılda öğrenilir?
Meb kariyer basamakları modülü nerede?
Logaritma hesap makinesi ile nasıl yapılır?
Manganezin oksidasyon durumları nelerdir?
Mantıkta önerme nedir?
Mercan eşeysiz üreme yapar mı?
Miladi takvimde neden 4 yıl 1 gün?
Merkezcil ve merkezkaç şizofreni arasındaki fark nedir?
Masif ve metamorfik arazi nedir?
Lisede hangi durumlarda belge verilmez?
Lise diploması ve üniversite diploması arasındaki fark nedir?
Metre ölçüm birimleri nelerdir?
Mantık biliminin temel ilkeleri nelerdir?
Mantar bilimi nedir?
Mendel'in tek karakter çaprazlaması sonucu ne oldu?
Mezuna kalmak mantıklı mı?
Maden devrinde neler bulundu?
Mesem ve meslek lisesi farkı nedir?
Lisansüstü eğitim enstitüsü aday ilişkileri birimi ne iş yapar?
Metrik nedir?
Mezopotamya neden medeniyetin beşiği?
Mikroskobun kurulumu nasıl yapılır?
Metallerin erime ve kaynama noktaları yüksek midir?
Maden Mühendisi hangi işleri yapamaz?
Mayoz ile oluşan hücreler neden farklı?
Metil alkole neden metil denir?
Midway Savaşı neden oldu?
Meb kazanım testleri fizik zor mu?
Memelilerde ve kuşlarda sinir sistemi arasındaki fark nedir?
Mantarlar ve bakteriler nasıl beslenir?
Matematik konuları sırasıyla nasıl çalışılır?
Mağma ve volkan aynı şey mi?
MEB onaylı sertifika nasıl alınır?
Menderes ve delta ovası nasıl oluşur?
Litre ve metreküp aynı şey mi?
Melez genotip ne demek?
Maddenin hal değişimi sırasında buharlaşma nedir?