Hipi Zhdripi i Matematikës/d

dëftimi

Në logjikën matematike gjykimi (dëftimi, thënia) merret për koncept themelor i cili në aspektin e saktësisë (vërtetësisë) i nënshtrohet ligjit të përjashtimit të së tretës dhe ka vetëm njërën prej dy vlerave: është i saktë (i vërtetë) ose është jo i saktë (jo i vërtetë). Kështu, p. sh.:"Katrori është paralelogram";$2>-7\,\!$; $102\vdots 3$; $5\in \{0,1,2,...,9\}$ ; $\mathbf {N} \subset \mathbf {Z}$ janë gjykime të sakta, ndërkaq:"Diagonalja e katrorit është më e vogël se brinja e tij"; ${\sqrt {2}}=1,5$ ; $\pi =3\,\!$ ; ${a+1}^{2}\neq (a+2)+1$ janë gjykime jo të sakta.

disjunkston

• Kur gjykimi përbërë formohet prej dy gjykimeve çfarëdo me ndihëmen e lidhëzës „ose" thuhet se ajo lidhëz përcakton veprimin logjik që quhet disjunkston . Mirëpo, në gjuhën e zakonshme lidhëzja "ose" i ka dy kuptime - kuptimin inkluziv dhe atë eksluziv - , andaj duhet dalluar dy raste të posaçme të disjunksionit - disjunksionin e thjeshtë (zakonshëm, inkluziv) dhe disjunksionin ekskluziv (rigoroz) .

disjunctio

Nga fjala latine disjunctio - veçimi, ndarja. Shiko:#disjunkston