Lugege palun läbi raamatust "Loogika:mõtlemisest tõestamiseni" peatükk 6 (Tuletussüsteemid). Lühida kokkuvõtte saab ka näiteks: [1] [2]