Dedukto: Malsamoj inter versioj
[kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
Narvalo (diskuto | kontribuoj) el la hungara |
Narvalo (diskuto | kontribuoj) Neniu resumo de redakto |
||
Linio 3:
La dedukto okazas per difinitaj metodoj, per kiuj oni faras sintaktajn transformojn el certaj antaŭsupozoj. La rezulto estas [[konkludo]].
La [[plena indukto]] estas [[dedukto]], sed aliaj [[indukto]]j ne.
==[[Dedukta logiko]]==
Ekzemploj:
|