lygýbė, tarpusavyje sukeičiamų išraiškų santykis. Reiškiamas tapatybe, išraiškų ekvivalentumu, sinonimija. Lygybei būdinga refleksyvumas (x = x), simetrija (x = y ir y = x) ir tranzityvumas (jei x = y ir y = z, tai x = z). Lygybė visada reliatyvi, priklauso nuo teorijos semantinių kategorijų, vartojamų loginių tipų. Pavyzdžiui: 1 + 4 = 1 + 4 yra loginė lygybė, 1 + 4 = 4 + 1 – algebrinė lygybė, 1 + 4 = 2 +3 – aritmetinė lygybė. Lygybės operaciją plačiai vartojo matematinės logikos kūrėjai G. W. Leibnizas, G. Boole’is, E. Schröderis ir kiti.
314
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.