Gild röksemdafærsla - Wikipedia, frjálsa alfræðiritið

# Gild röksemdafærsla

### Úr Wikipediu, frjálsa alfræðiritinu

Í rökfræði er röksemdafærsla gild ef og aðeins ef niðurstöðuna leiðir af forsendunum. 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 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.

## [breyta] Dæmi

Íhugið form eftirfarandi röksemdafærslu:

  Öll P eru Q
  A er P
  A er þar af leiðandi Q

Röksemdafærslur á þessu formi eru gildar; það er ómögulegt að forsendurnar séu báðar sannar en niðurstaðan jafnframt ósönn.

Annað dæmi um form gildrar röksemdafærslu:

  Ef P, þá Q
  Ef Q, þá R
  P
  Þess vegna R

## [breyta] Heimild

- Greinin „Validity“ á ensku útgáfu Wikipedia. Sótt 28. apríl 2006.

## [breyta] Tengt efni

- Rétt röksemdafærsla

### [breyta] Gildar ályktunarreglur

- Jákvæð játunarregla
- Jákvæð neitunarregla
- Neikvæð játunarregla
- Neikvæð neitunarregla

Af „http://is.wikipedia.org../../../g/i/l/Gild_r%C3%B6ksemdaf%C3%A6rsla.html“

Flokkar: Rökfræði

##### Views

- Grein
- Spjall
- Núverandi útgáfa

##### Leit

##### Á öðrum tungumálum

- English
- Eesti
- עברית
- Lietuvių
- Nederlands
- Српски / Srpski
- Українська
- 中文