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

Á 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:

 

 

Þ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}}

[[Flokkur:Háttarökfræði| ]]