Hipi Zhdripi i Matematikës/1012

Stampa:Hipi Zhdripi i Matematikës kryefleta Stampa:DygishtaTabela e saktësisë është

Stampa:Mate		Stampa:Mate			Stampa:Mate	ose më shkurt	$\underset{\_}{\vee }$ $\mathrm{\top }$ $\mathrm{\perp }$ $\mathrm{\top }$ $\mathrm{\perp }$ $\mathrm{\perp }$ $\mathrm{\perp }$ $\mathrm{\perp }$ $\mathrm{\top }$
$\mathrm{\top }$	$\mathrm{\top }$	$\mathrm{\perp }$
$\mathrm{\top }$	$\mathrm{\perp }$	$\mathrm{\top }$
$\mathrm{\perp }$	$\mathrm{\top }$	$\mathrm{\top }$
$\mathrm{\perp }$	$\mathrm{\perp }$	$\mathrm{\perp }$

1. 2. 4. IMPLIKACIONI I GJYKIMEVE

Stampa:DygishtaKur 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. Kështu është rasti, p .sh. në implikacionet : Stampa:DygishtaStampa:Mate Stampa:DygishtaStampa:Mate Stampa:DygishtaStampa:Mate Stampa:DygishtaStampa:Mate Stampa:DygishtaP ë r k u f i z i m i  1.2.4.1. - Implikacioni i dy gjykimeve Stampa:Mate quhet gjykimi Stampa:Mate (lexo : nëse p, atëherë q ose nga p rrjedh q ose p implikon q), i cili është jo i saktë kur Stampa:Mate është i saktë e Stampa:Mate jo i saktë. Stampa:Dygishta Simboli $\Rightarrow$ është shenja e implikacionit. Tabela e saktësisë së implikacionit është:

Stampa:Mate		Stampa:Mate			Stampa:Mate	ose më shkurt	$\Rightarrow$ $\mathrm{\top }$ $\mathrm{\perp }$ $\mathrm{\top }$ $\mathrm{\top }$ $\mathrm{\perp }$ $\mathrm{\perp }$ $\mathrm{\top }$ $\mathrm{\top }$
$\mathrm{\top }$	$\mathrm{\top }$	$\mathrm{\top }$
$\mathrm{\top }$	$\mathrm{\perp }$	$\mathrm{\perp }$
$\mathrm{\perp }$	$\mathrm{\top }$	$\mathrm{\top }$
$\mathrm{\perp }$	$\mathrm{\perp }$	$\mathrm{\top }$

Stampa:ShembulliLe të jenë gjykimet : Stampa:Mate . Të caktohen saktësisë e implikacioneve :

Stampa:Mate.

Stampa:DygishtaZ g j i d h j e : Meqë Stampa:Mate do të kemi:

Stampa:Mate.

Stampa:DygishtaDuhet theksuar se me negacionin, konjuksionin dhe disjunksionin mund të lidhen në mes tyre dy gjykime çfarëdo, plotësisht të pavarura, kurse në implikacionin e gjykimeve vlera e saktësisë së gjykimit të parë mund të influencojë në vlerën e saktësisë së gjykimit tjetër.