Hipi Zhdripi i Matematikës/i

i vërtetë

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.

idempotenca

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

inkluziv

• 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 Stampa:HZM3F . Mirëpo, në gjuhën e zakonshme lidhëzja "ose" i ka dy kuptime - kuptimin Stampa:HZM3F dhe atë Stampa:HZM3F - , andaj duhet dalluar dy raste të posaçme të disjunksionit - Stampa:HZM3F (zakonshëm, inkluziv) dhe Stampa:HZM3F (rigoroz) .

implikacion

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

implicatio

Nga fjala latine Stampa:HZM3F - gërshetim, thurje. Shiko: #implikacion