„Gild röksemdafærsla“: Munur á milli breytinga
Efni eytt Efni bætt við
Nei, ekki málfræðivilla, sjá spjall |
mEkkert breytingarágrip |
||
Lína 1:
Í [[rökfræði]] er röksemdafærsla '''gild''' [[eff|ef og aðeins ef]] niðurstöðuna leiðir af forsendunum, en annars er hún ''ógild''. Gert er ráð fyrir að af sönnum forsendum leiði aldrei ósannindi og því gildir að ef röksemdafærsla er gild, þá er ómögulegt að forsendurnar séu sannar en niðurstaðan ósönn. Ef [[Rökform|form]] röksemdafærslunnar er slíkt að það er hægt að finna a.m.k. eitt dæmi þess að röksemdafærsla á því formi hafi einungis sannar forsendur en jafnframt ósanna niðurstöðu, þá er röksemdafærslan ógild.
== Dæmi ==
|