„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
a robot Adding: sh:Dedukcija, sr:Дедукција |
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ó”
[[Kategória:Logika]]
|