Hipi Zhdripi i Matematikës/t

tezë

• Kur gjykimi i përbërë formohet prej dy gjykimeve tjera me ndihmën e lidhëzës "nëse . . ., atëherë . . .", thuhet se ajo lidhëz e përcakton veprimin logjik që quhet implikacion . Gjykimi që pason pas fjalës "nëse" quhet supozim (hipotezë, premisë), ndërsa gjykimi pas fjalës "atëherë" quhet konkluzion (tezë, pasojë). Kuptohet, hipoteza është fundamenti në të cilën rëndom bazohet konkluzioni.

true

Shenja $\top$ përgjan germës së parë të fjalës në gjuhën angleze true - i (e) vërtetë, i (e) i saktë