[MD-sorular] Önermeler üzerindeki işlemler

[E. Mehmet Kral]

n tane önermeyi alıp yeni bir önermeye gönderen n'li bir işlem düşünelim. 
Mesela * böyle bir işlem ve p_1, p_2,..., p_n, n tane önerme olsun. 
* (p_1,p_2,...,p_n)  = p_sonuç
Bu işlemi sadece p_i'lerin olası doğruluk değerlerine göre
değerlendirip öyle incelemek ne kadar doğrudur? Yani eğer iki işlem
p_i'lerin 2^n tane olası doğruluk değerinin her biri için aynı
doğruluk değerini veren önermeler oluşturuyorsa "bu iki işlem
neredeyse aynı işlemdir, aralarında bir fark gözetmek için sebep
yoktur" demek mümkün müdür? Yoksa önermelerin doğruluk değerinden daha
önemli bazı ayırıcı özellikleri var mıdır?