„Mótsögn“: Munur á milli breytinga

Efni eytt Efni bætt við
m Bætti við óbeinni sönnun.
Sindri (spjall | framlög)
m wikk
Lína 1:
'''Mótsögn''' er setning, orðræða eða hugsun, sem í senn heldur einhverju fram og mótmælir því í sömu andrá. Hugtakið merkir að eitthvað stangast á. Hægt er að stangast á við eitthvað annað en það merkir að mismunandi niðurstöður eru á nákvæmlega sama hlutnum en síðan er hægt að vera í mótsögn við sjálfan sig en þá er það sama persónan sem kemur með þessar mismunandi niðurstöður á því sama. Ef það eru t.d. 2 bækur og ein þeirra segir að 2 + 2 = 5 en hin segir 2 + 2 = 3, í því tilviki er sagt að bækurnar séu í mótsögn við hvor aðra. En hins vegar ef þessar niðurstöður væru í sömu bókinni, þá væri bókin í mótsögn við sjálfa sig. Þótt það komi 2 mótsagnir, þá þarf ekki endilega að þýða að önnur þeirra sé sönn ef hin er það ekki, þær gætu báðar verið rangar.
 
Hægt er að leiða út svokallaða ''[[óbein sönnun|óbeina sönnun]]'' með því að [[fullyrðing|fullyrða]] sem svo að ef p þá q (ef p er satt þá er q satt) og segja sem svo að p sé satt en q ósönn, sem leiðir til fjarstæðu eða mótsagnar miðað við leiðinguna. Þá hefur verið sannað að q sé sönn þegar p sé sönn.
 
Þegar mótsagnir koma á yfirborðið, þá er hægt að fara eftirfarandi leiðir: