Tapatingumas – tai logikos ir matematikos sąvoka, reiškianti, kad du teiginiai ar reiškiniai yra logiškai lygiaverčiai, t.y., jie turi tą pačią tiesos reikšmę visomis galimomis sąlygomis.
Pavyzdžiai:
1. Logikoje:
- Teiginiai „Ne A ir ne B“ ir „Ne (A arba B)“ yra tapatingi (De Morgano dėsnis).
- Formulė \( A \rightarrow B \) yra tapatinga formulei \( \neg A \lor B \).
2. Matematikoje:
- \( (a + b)^2 = a^2 + 2ab + b^2 \) – tapatingumo lygybė, galiojanti bet kurioms \( a \) ir \( b \) reikšmėms.
- \( \sin^2 x + \cos^2 x = 1 \) – tapatingumas (trigonometrinė tapatybė).
Trumpai: Tapatingumas rodo, kad dvi išraiškos yra visiškai keičiamos be tiesos reikšmės pakitimo.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.