Dedukto: Malsamoj inter versioj

[kontrolita revizio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
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.
La [[plena indukto]] estas [[dedukto]], sed aliaj [[indukto]]j ne.
Ekzemploj:
 
Linio 14 ⟶ 13:
* [[Indukto]]
 
{{Bibliotekoj}}
 
[[Kategorio:Logiko]]