Matematiksel mantık: Revizyonlar arasındaki fark

[kontrol edilmiş revizyon][kontrol edilmiş revizyon]
İçerik silindi İçerik eklendi
k 95.0.137.183 tarafından yapılan değişiklikler geri alınarak, İlkersaka16 tarafından değiştirilmiş önceki sürüm geri getirildi.
Gufosowa (mesaj | katkılar)
k Bağlantılar
110. satır:
=== Doğruluk cetvelleri ===
 
Mantıkta önermeler doğru ya da yanlış olabilir, fakat hem doğru hem yanlış olamaz. Bir önermeye yüklenen bu “doğru”''doğru'' ve “yanlış”''yanlış'' yüklemlerine onun “doğruluk[[doğruluk değeri”değeri]] denir.
 
121. satır:
Yine kural olarak, ayrık önermelerin doğru olabilmesi için bileşenlerden birinin doğru olması yeterlidir. Ayrık önermeler ancak bunları meydana getiren bileşenlerin hepsinin birden yanlış oldugu halde yanlış sayılır.
Bileşik önermeler için [[doğruluk tablosu|doğruluk tabloları]] şu şekilde verilebilir:
 
<center>