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: „Stampa:HZM3F", „Stampa:HZM3F", „Stampa:HZM3F", „Stampa:HZM3F", „Stampa:HZM3F" . Këto fjalë - shprehje quhen Stampa:HZM3F . 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 Stampa:HZM3F (Stampa:HZM3F, Stampa:HZM3F) merret për koncept themelor i cili në aspektin e saktësisë (vërtetësisë) i nënshtrohet Stampa:HZM3F dhe ka vetëm njërën prej dy vlerave: është i Stampa:HZM3F (Stampa:HZM3F) ose është Stampa:HZM3F (Stampa:HZM3F). Kështu, p. sh.:"Katrori është paralelogram";$2>-7$; $102⋮3$; $5\in \{0,1,2,...,9\}$ ; $𝐍\subset 𝐙$ 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\ne (a+2)+1$ janë gjykime jo të sakta.

ligj i negacionit të dyfishtë

Kjo formulë shpreh të ashtuquajturën Stampa:HZM3F.:$\mathrm{\neg }(\mathrm{\neg }p)\iff p$

ligj i idempotencës

• ligji i Stampa:HZM3F: $p\wedge q\iff p$

ligj i komutacionit

• ligji i Stampa:HZM3F:$p\wedge q\iff q\wedge p$