„Afleiðsla“: Munur á milli breytinga

Efni eytt Efni bætt við
Cessator (spjall | framlög)
Ekkert breytingarágrip
Cessator (spjall | framlög)
Ekkert breytingarágrip
Lína 1:
'''Afleiðsla''' kallast það þegar dregin er ályktun af almennari forsendum og ályktunin er ''nauðsynleg'' afleiðing þeirra. Það er að segja, ef forsendurnar eru sannar, þá verður niðurstaðan að vera sönn líka ef röksemdafærslan er á annað borð [[Gild röksemdafærsla|gild]] (röksemdafærsla er ógild ef allar forsendurnar geta báðar eriðverið sannar en niðurstaðan ósönn). Þvert á við [[aðleiðsla|aðleiðslu]]/[[tilleiðsla|tilleiðslu]], þá virkar afleiðsla frá því almenna yfir á það einstaka. Almenna hluti eins og það að menn eru dauðlegir er því hægt að heimfæra upp á einstaklinginn með þessum hætti:
 
:Allir menn eru dauðlegir