Mantıkta dağılma özelliği, bileşik önermelerdeki "veya" (∨) ile "ve" (∧) bağlaçlarının birbiri üzerine nasıl dağıldığını ifade eden temel bir kurallar bütünüdür. Bu özellik, cebirdeki çarpma işleminin toplama işlemi üzerine dağılmasına (örneğin, \( a \times (b + c) = a \times b + a \times c \)) benzer bir mantığa sahiptir.
Dağılma özelliği iki şekilde karşımıza çıkar:
Bu kural şunu söyler: Bir \( p \) önermesi, bir "veya" bileşiği ile "ve" bağlacıyla birleştiğinde, \( p \) önermesi her bir bileşenle ayrı ayrı "ve" bağlacıyla birleşir ve sonuçlar "veya" ile bağlanır.
Bu kural ise şunu ifade eder: Bir \( p \) önermesi, bir "ve" bileşiği ile "veya" bağlacıyla birleştiğinde, \( p \) önermesi her bir bileşenle ayrı ayrı "veya" bağlacıyla birleşir ve sonuçlar "ve" ile bağlanır.
"Bugün hava güneşli ve (yağmurlu veya rüzgarlı)" önermesini ele alalım.
Bu, "Ya (hava güneşli ve yağmurlu) ya da (hava güneşli ve rüzgarlı)" anlamına gelir. İki ifade mantıksal olarak birbirine denktir.
"Bugün sinemaya gideceğim veya (evde kalıp ders çalışacağım ve kitap okuyacağım)" önermesini ele alalım.
Bu, "Hem (sinemaya gideceğim veya ders çalışacağım) hem de (sinemaya gideceğim veya kitap okuyacağım)" anlamına gelir. Yine iki ifade aynı doğruluk koşullarını sağlar.