„Lögmálið um annað tveggja“: Munur á milli breytinga
Efni eytt Efni bætt við
Ekkert breytingarágrip |
Ekkert breytingarágrip |
||
Lína 2:
Á táknmáli rökfræðinnar er lögmálið oft sett fram á eftirfarandi hátt:
:''P'' ∨ ¬''P''
:(''P'' eða ekki-''P''). ==Útskýring á lögmálinu==
Ef sanngildin eru einungis tvö, „satt“ og „ósatt“ (eins og tvígildislögmálið kveður á um) og [[mótsagnarlögmálið]] gildir einnig, þá verður sú þeirra sem ekki er sönn að vera ósönn, því þá eru ekki fleiri sanngildi en „satt“ og „ósatt“ og samkvæmt mótsagnarlögmálinu geta ekki bæði fullyrðing og neitun hennar verið samtímis sannar. Lögmálið um annað tveggja hefur ekki þessar afleiðingar ef tvígildislögmálinu er hafnað (eins og til dæmis í [[marggildisrökfræði]]) eða ef mótsagnarlögmálinu er hafnað.
|