Relationslogik är en gren av den formella logiken där studier av relationer betraktas extensionellt.
Den kan jämföras med klasslogik, men studerar operationer och egenskaper. Relationell logik är logik med regelsystem för att logiskt hantera relationer mellan ord och begrepp. Sådana relationer är till exempel likheter med avseende på någon aspekt, rangordning inbördes, klasstillhörighet mm. Den relationella logiken har framför utvecklats och fått sin tillämpning inom AI-forskningen.
En relation är ett förhållande mellan två eller flera individer. Relationer ”mindre än” som råder mellan två individer kallas tvåställig; en relation såsom ”ligger emellan” råder mellan tre individer och kallas treställig och så vidare.
Redan av språkreglerna framgår , att om Per är mindre än Pål, så är Pål större än Per. Likaså: om Tranås ligger mellan Nässjö och Mjölby, så ligger inte Mjölby mellan Tranås och Nässjö.
Relationslogiken kan vara till hjälp i fall som inte är lika intuitivt klara, t. ex. vid komplicerade släktskapsförhållanden och matematisk-naturvetenskapliga samband.
This article uses material from the Wikipedia Svenska article Relationslogik, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Innehållet är tillgängligt under CC BY-SA 4.0 om ingenting annat anges. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Svenska (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.