Dedukto: Malsamoj inter versioj

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.

Ekzemploj:

 

 

Samtempe, se mi havas difinite kalkuleblajn unikajn asertojn: „Sokrato mortos”, „Russell mortos”, „Nietzsche mortos” ktp., el tio mi ne povas ĝeneraligi teorie, ke „ĉiu homo mortos”, la konkludo ne estas dedukto, ĉar laŭ la dedukta logiko tio ne estas certe pruvigebla.

 

[[Kategorio:Logiko]]