Munur á milli breytinga „Háttarökfræði“

Jump to navigation Jump to search
m
Vélmenni: hu:Modális logika er úrvalsgrein; útlitsbreytingar
m (Bot: Flyt 29 tungumálatengla, sem eru núna sóttir frá Wikidata á d:q210841)
m (Vélmenni: hu:Modális logika er úrvalsgrein; útlitsbreytingar)
Á táknmáli rökfræðinnar eru möguleiki og nauðsyn gefin til kynna með eftirfarandi hætti: <math>\Box</math> stendur fyrir ''nauðsyn'' og <math>\Diamond</math> stendur fyrir ''möguleika''. Í klassískri háttarökfræði er hægt að skilgreina hvort tveggja með neitun hins:
 
:<math>\Diamond P \leftrightarrow \lnot \Box \lnot P;</math> (Það er mögulegt að ''P'' [[ef og aðeins ef]] það er ekki nauðsynlegt að ekki ''P'')
:<math>\Box P \leftrightarrow \lnot \Diamond \lnot P.</math> (Það er nauðsynlegt að ''P'' [[ef og aðeins ef]] það er ekki mögulegt að ekki ''P'')
 
Þannig er til dæmis ''mögulegt'' að Jónas hafi verð myrtur [[ef og aðeins ef]] það er ''ekki nauðsynlegt'' að Jónas hafi ''ekki'' verið myrtur.
 
{{Stubbur|heimspeki}}
{{Tengill ÚG|hu}}
 
[[Flokkur:Háttarökfræði| ]]
 
58.124

breytingar

Leiðsagnarval