Tranzityvumas
Appearance
Tranzityvumas – sąryšio / priklausomybės tarp dviejų aibės elementų apibūdinimas. Tarkime turime aibę X iš elementų {x, y, z}. Jei aibės elementų pora tenkina sąryšį , o tenkina sąryšį , tai sąryšis yra tranzityvus, jei jis galioja ir porai (kiekvieniems x, y, z iš aibės ). Formaliosios logikos kalba, dviejų elementų sąryšis/priklausomybė vadinama tranzityviu, kai:
- .
Geometrijoje tiesių lygiagretumas ir figūrų panašumas yra tranzityvūs sąryšiai, o statmenumas – netranzityvus sąryšis.[1]
Pavyzdžiai
[redaguoti | redaguoti vikitekstą]- Jei , o , tai reiškia
- Skaičių nelygybė ir , reiškia
- Tiesių lygiagretumas ir , reiškia
Tranzityvumo nebuvimas:
- Žaidimas „Akmuo, žirklės, popierius“ Akmuo stipresnis už žirkles, žirklės stipresnės už popierių; bet akmuo ne stipresnis už popierių
Šaltiniai
[redaguoti | redaguoti vikitekstą]- ↑ tranzityvumas(parengė Rimas Norvaiša). Visuotinė lietuvių enciklopedija (tikrinta 2024-01-30).