Önermeler (kaziye) Mantığı (Propositional Logic)


yazan: Şadi Evren ŞEKER

önerme mantık bilimi açısında anlam taşıyan en ufak olgudur. Örneğin:
“insanın iki gözü vardır” bir önermedir. Bu önermelerin gerçek hayattan alınması zorunlu değildir.
Örnemenin sonucu, önerildiği gibi gerçekleşirse bu durumda önermenin sonucu olumludur. Aksi durumda, yani önerildiği gibi bir sonuçla bitmezse bu durumda önermenin sonucu olumsuzdur.

Önermenin sonucu:
Doğru anlamlı ise mantıksa olarak 1 (logic 1)
Yanlış anlamlı ise mantıksal olarak 0 (logic 0)
ile ifade edilir.


« Alt küme toplamı problemi (subset sum problem)   |   Ve kapısı (and gate) »



Yorumlar

Kullanıcı girişi yaparak ya da zorunlu olan * alanlarını doldurarak yorum yapabilirsiniz.

İsminiz *

Email adresiniz *

Web siteniz

Mesajınızı buraya yazabilirsiniz:

Henüz yorum yapılmamış.

  1. Ve kapısı (and gate) : bilgisayar.kavramlari.com | 29 Nov 2007, 18:56

    [...] şeklinde çalışır. Bu durumu aşağıdaki örnek üzerinde inceleyelim. Aşağıda iki farklı önerme [...]

  2. veya kapısı (or gate) : bilgisayar.kavramlari.com | 29 Nov 2007, 19:05

    [...] şeklinde çalışır. Bu durumu aşağıdaki örnek üzerinde inceleyelim. Aşağıda iki farklı önerme [...]

  3. doğruluk çizelgesi (truth table) : bilgisayar.kavramlari.com | 08 Dec 2007, 21:22

    [...] tahlil edilmesinde kullanılan önemli âletlerden birisidir. Buna göre herhangi bir mantıksal önermenin (kaziye) muhtemel sonuçları bu tablo vasıtasıyla gösterilebilir. Çalışma şekli önermede (kaziye) [...]

  4. kod çözücü (decoder) : bilgisayar.kavramlari.com | 09 Dec 2007, 11:16

    [...] verilmiştir. Buna göre 2×4lük bir kod çözücünün a bacağı her zaman A’B’ önermesini verir. Bir kod çözücünün kapılar ile tasarımı aşağıdaki [...]

  5. flip flop (flipflop) : bilgisayar.kavramlari.com | 20 Dec 2007, 00:44

    [...] Mantıksal Denklem [...]

  6. RDF (Resource Description Framework, Kaynak Tanım Çerçevesi) : bilgisayar.kavramlari.com | 30 Dec 2007, 20:06

    [...] terminolojisinde fâîl-kaziye-mefûl (subject-predicate-object, özne-önerme-nesne) üçlüsü önemli bir yer tutmaktadır ve [...]

  7. burhan-ı mütenakıs (proof by contradiction, olmayana ergi) : bilgisayar.kavramlari.com | 02 Aug 2008, 03:16

    [...] kullanılan ispat yöntemlerinden birisidir. Buna göre ispatlanmak istenen kaziyenin (önermenin) tersinin yanlışlığı ispat edilirse sonuca ulaşılmış ve bir nazariye (teorem) elde edilmiş [...]

  8. İstikra ile ispat (Tüme varım, Proof by Induction) : bilgisayar.kavramlari.com | 02 Aug 2008, 03:52

    [...] kaziyeyi (önerme) ispat ederek nazariye (teorem) elde etme yöntemidir. İstikra cüz’îler (tikeller) den küllî [...]

Bu Yazı Hakkında

Bilgisayar Kavramları üzerinde şu anda okumakta olduğunuz 'Önermeler (kaziye) Mantığı (Propositional Logic)' isimli yazı 29 Nov 2007 tarihinde, saat: 18:44 'de Şadi Evren ŞEKER tarafından gönderilmiş, toplam 780 defa okunmuştur.

Benzer yazıları Bilgisayar Matematiği, Mantık Devreleri (Logic Circuits), Temel Bilimler kategorilerinden okuyabilirsiniz. Yazar ile irtibat kurmak için email gönderebilirsiniz. Yazıya yorum yapabilir ya da yapılan yorumları RSS 2.0 ile takibe alabilirsiniz.


Yazarın Kitabı

Bu yazının yazarı Şadi Evren ŞEKER'in son çıkan kitabı "Programlama ve Veri Yapılarına giriş (C, C++ ve JAVA ile)" hakkında bilgi almak için Buraya tıklayabilirsiniz.
Eklenen Son Yazılar
Yapılan Son Yorumlar
Yakın Yazılar
Bağlantılar