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