Dedukto: Malsamoj inter versioj
[kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
Talnat (diskuto | kontribuoj) |
Kani (diskuto | kontribuoj) Neniu resumo de redakto |
||
Linio 1:
'''Dedukto''' estas la ago, fari konkludon el la tuto pri la partoj, el la specaro pri la specoj, el ĝenerala principo pri konsekvencoj. Ĝi estas logika esprimo.
La dedukto okazas per difinitaj metodoj, per kiuj oni faras sintaksajn transformojn el certaj antaŭsupozoj. La rezulto estas [[konkludo]]. La [[plena indukto]] estas dedukto, sed aliaj [[indukto]]j ne.
Ekzemploj:
Linio 14 ⟶ 13:
* [[Indukto]]
{{Bibliotekoj}}
[[Kategorio:Logiko]]
|