D.Djuzeppe Peano
158. Djordj Bullning g‘oyalari matematik mantiq ilmiga qanday yangiliklar olib kirdi?
A. Mantiqda simvollarni qo‘llash bilan cheklanmasdan, maxsus mantiqiy xisoblashlar quriladigan bo‘ldi; mantiq algebrasida mantiqiy qonunlar formal sistemalarning zaruriy jihati bo‘lib qoldi; har qanday xukm sinflar tengligining tasdig‘i sifatida qaraladigan bo‘ldi; xulosa chiqarish mantiqiy tengliklarni yechishga tenglashtirildi.
B. Mantiq algebrasida mantiqiy qonunlar formal sistemalarning zaruriy jihati bo‘lib qoldi; har qanday xukm sinflar tengligining tasdig‘i sifatida qaraladigan bo‘ldi; xulosa chiqarish mantiqiy tengliklarni yechishga tenglashtirildi.
S. Mantiqda simvollarni qo‘llash bilan cheklanmasdan, maxsus mantiqiy xisoblashlar quriladigan bo‘ldi; xulosa chiqarish mantiqiy tengliklarni yechishga tenglashtirildi.
D. Har qanday xukm sinflar tengligining tasdig‘i sifatida qaraladigan bo‘ldi; xulosa chiqarish mantiqiy tengliklarni yechishga tenglashtirildi.
