Next:
Contents
Contents
Enkonduko al natura dedukto
Daniel Clemente Laboreo
Aŭgusto 2004 (revuita en Majo 2005)
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.1.1 Enigo de vero
7.1.2 Forigo de falso
7.2 Reguloj pri kvantoroj
7.2.1 Kio tio estas
7.2.2 Enigo de ekzistokvantoro
7.2.3 Forigo de ekzistokvantoro
7.2.4 Enigo de universala kvantoro
7.2.5 Forigo de universala kvantoro
7.2.6 Ekzemploj
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.3.1 Brutforte
8.3.2 Teoremo de refuto
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
About this document ...
Daniel Clemente Laboreo 2005-05-17
