Hipi Zhdripi i Matematikës/l

lidhëza logjike

• Gjykimet e përbëra rëndom formohen prej gjykimeve të thjeshta me ndihmen e fjalëve: „jo", „dhe", „ose", „nëse . . ., atëhere . . .", „atëhere e vetëm atëherë" . Këto fjalë - shprehje quhen lidhëza logjike . Duke përdorur lidhëzat logjike në gjykime kryhen operacione apo veprime themelore logjike.

ligjit të përjashtimit të së tretës

• 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.

ligj i negacionit të dyfishtë

Kjo formulë shpreh të ashtuquajturën ligj i negacionit të dyfishtë.:$\lnot (\lnot p)\Leftrightarrow p$

ligj i idempotencës

• ligji i idempotencës: $p\wedge q\Leftrightarrow p$

ligj i komutacionit

• ligji i komutacionit:$p\wedge q\Leftrightarrow q\wedge p$