Contents

• 1 Antaŭ ĉio
  • 1.1 Kiu mi estas
  • 1.2 Kial mi verkas ĉi tion
  • 1.3 Al kiu ĝi estas adresita
  • 1.4 Permesilo
  
  
• 2 Bazaj konceptoj
  • 2.1 Formaligo
  • 2.2 Uzataj simboloj
  • 2.3 Prioritato de la operatoroj
  
  
• 3 Natura dedukto
  • 3.1 Por kio ĝi utilas
  • 3.2 Por kio ĝi malutilas
  • 3.3 Agmaniero
  • 3.4 Notacio
  
  
• 4 La derivreguloj
  • 4.1 Iteracio
  • 4.2 Kunkajigo
  • 4.3 Elkajigo
  • 4.4 Kunimplikaciigo
  • 4.5 Elimplikaciigo
  • 4.6 Kunaŭigo
  • 4.7 Elaŭigo
  • 4.8 Kunnegigo
  • 4.9 Elnegigo
  • 4.10 Ne plu reguloj
  
  
• 5 Klarigitaj ekzercoj
  • 5.1 Iu tre simpla.
  • 5.2 Iomete pli kompleksa.
  • 5.3 Jam supozante aĵojn.
  • 5.4 Uzante iteracion.
  • 5.5 Redukto al absurdo.
  • 5.6 Kun subderivoj.
  • 5.7 Iu kun provo per okazoj.
  • 5.8 Iu por pensi.
  • 5.9 Malplena maldekstra parto.
  • 5.10 Supozu tion kontraŭan.
  • 5.11 Tiu ŝajnas facila.
  • 5.12 Iu interesa.
  • 5.13 Tiu aperis en mia ekzameno.
  • 5.14 Iu ``mallonga''.
  
  
• 6 Malkorektaĵoj
  • 6.1 Enigo kaj forigo de ``tio kio plej plaĉas min''
  • 6.2 Ion kopii el malatingebla subderivo
  • 6.3 Mismeti la krampojn
  • 6.4 Fini en subderivo
  • 6.5 Malfari paŝojn
  
  
• 7 Iom pli kompleksa
  • 7.1 Reguloj pri vero kaj falso
  • 7.2 Reguloj pri kvantoroj
  • 7.3 Malbazaj reguloj
  
  
• 8 Ekstra
  • 8.1 Kial nomiĝas naturan dedukton?
  • 8.2 Ĉu la solvo estas nura?
  • 8.3 Aliaj rimedoj por pruvi validecon
  • 8.4 Kiel pruvi nevalidecon
  • 8.5 Kreu viajn ekzercojn
  • 8.6 Programoj kiuj faras naturan dedukton
  
  
• 9 Ekzemploj, pluraj ekzemploj
  • 9.1
  • 9.2
  • 9.3
  • 9.4
  • 9.5
  • 9.6
  • 9.7
  • 9.8
  • 9.9
  • 9.10
  • 9.11
  • 9.12
  • 9.13
  • 9.14
  • 9.15
  • 9.16
  • 9.17
  • 9.18
  • 9.19
  • 9.20
  • 9.21
  • 9.22
  • 9.23
  • 9.24
  • 9.25
  • 9.26