„Dedukció” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Thijs!bot (vitalap | szerkesztései)
Pasztillabot (vitalap | szerkesztései)
a Robot dolgozik: stb (sötöbö) elötti vesszö kivétele
11. sor:
Ha a premisszám az az [[univerzális állítás]], hogy „Minden ember halandó”, akkor ebből a klasszikus kétértékű logika szabályai szerint dedukálhatom azt, az [[egyedi állítás]]t hogy „Szókratész halandó”. Ezt a levezetést bizonyításnak tekinthetjük, amely az általános állítás igazságától függ.
 
Ugyanakkor, ha csak véges sok egyedi állításom: „Szókratész halandó”, „Russell halandó”, „Nietzsche halandó”, stb., akkor ebből ugyan általánosíthatok, hogy „minden ember halandó”, azonban ez a következtetés nem lesz dedukció, ugyanis a deduktív logika szerint ez nem következik, azaz nem biztos a levezetés, nem ad bizonyosságot akkor sem, ha a véges sok egyedi állításom igaz. Véges sok ember megfigyelését adottnak véve logikailag még bármikor bekövetkezhet, hogy egy nem halandó embert figyelünk meg.
 
[[Kategória:Logika]]
A lap eredeti címe: „https://hu.wikipedia.org/wiki/Dedukció