Gerçek-değer mantığı

Belirli bir önermenin veya ifadenin mantık, gerçek (T veya 1) veya sahtelik (F veya 0) cinsinden gerçek değeri. Ayrılma (“veya” için ized sembolize edildi) ve olumsuzlama (sembolize ∼) gibi mantıksal bağlaçlar, gerçeğe uygun işlevler olarak düşünülebilir, çünkü bileşik bir önermenin doğruluk değeri bir işlevdir veya, bileşen parçalarının gerçek değerleri.

Bileşik bir ifadenin doğruluk değeri, doğruluk tablosu olarak bilinen bir grafik aracılığıyla kolayca test edilebilir. Tablonun her satırı, bileşiğin bileşen önermeleri için olası doğruluk değerlerinin bir kombinasyonunu temsil eder ve satırların sayısı, olası kombinasyonların sayısı ile belirlenir. Örneğin, bileşik sadece iki bileşen önermesi içeriyorsa, dört olasılık ve böylece tabloya dört sıra olacaktır. Ortak bağlaçların mantıksal özellikleri doğruluk tabloları tarafından aşağıdaki gibi görüntülenebilir:

burada · “ve” ile ⊃ “ise” anlamına gelir… sonra." (Örneğin, “veya” tablosunda, ikinci satırda “p doğruysa ve q yanlışsa, o zaman p ∨ q doğrudur” ifadesini okur.) Çok daha fazla karmaşıklığa sahip doğruluk tabloları, çok sayıda doğruluk fonksiyonu olanlar, bir bilgisayar vasıtasıyla inşa edilebilir. Önermelerin 0 ile 1 arasında değerlere sahip olduğu bulanık mantıkta olduğu gibi üç doğruluk değeri (örneğin, doğru, yanlış ve belirsiz) kullanan soyut mantık sistemleri oluşturulmuştur.