Leibniz gibi Boole da etkin bir mantık sisteminin mantığın sayılar cebirine benzer bir sistem olarak kurulmasıyla gerçekleştirileceğini düşünmektedir. Ancak Boole mantık değişmezlerinin önermelere de uygulandığı bir mantık sistemi oluşturmaya yönelerek geleneksel mantığın önermelerin yapısına ilişkin sınırlamasını bir ölçüde de olsa aşmayı başarmıştır. Bu bilgilerden de anlaşılacağı gibi doğru cevap B’dir.