Veprimet me gjykime

Stampa:StyllaAlgjebraepërgjithëshme 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. Kuptohet se secili gjykim i ri që formohet prej gjykimeve të dhëna me anën e veprimeve themelore logjike e ka vlerën e vet të saktësisë. Saktësia e gjykimit të përftuar varet vetëm prej saktësisë së gjykimeve që atë e formojnë . Pikërisht kjo varësi shgyrtohet në algjebrën e gjykimeve, meqë asaj nuk i interesojnë përmbajtjet e gjykimeve të formuara, por vetëm vlera e saktësisë së tyre.

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

Negacioni i gjykimit

Veprimi më i thjeshtë logjik që përdoret në gjykime është negacioni (mohimi), të cilit, në gjuhën e zakonshme, i përgjigjet fjalëza „jo" (ose shprehja „nuk është" ).

Përkufizimi

Negacioni i gjykimit $p$ quhet gjykimi $\neg$ $p$ (lexo : jo p ose nuk është p) i cili është i saktë, respektivisht jo i saktë kur gjykimi $p$ është jo i saktë, respektivisht i saktë.

Simboli

Simboli $\neg$ është shenja e negacionit.

Tabela e saktësisë

Sipas përkufizimit del se tabela e saktësisë së negacionit duket kështu:

$\begin{matrix} v (p) & v (\neg p) \\ ⊤ & ⊥ \\ ⊥ & ⊤ \end{matrix}$

Shembuj

Le të jenë dhënë gjykimet :

p : 1 \in ℕ, q : 35 ⋮ 3, r : 5 > 7, s : 1, 2, 3, 4 = 2, 4, 1, 3

.

Negacionet e tyre janë gjykimet :

$\neg p : 1 \in ℕ, \neg q : 35 ⋮̸ 3, \neg r : 5 < 7, \neg s : 1, 2, 3, 4 \neq 2, 4, 1, 3$ ,

e vlerat e saktësisë së tyre:

$\begin{matrix} v (p) & \neg p & v (q) & v (\neg q) & v (r) & v (\neg r) & v (s) & v (\neg s) \\ ⊤ & ⊥ & ⊥ & ⊤ & ⊥ & ⊥ & ⊤ & ⊥ \end{matrix}$

Vetitë

Negacioni ( $\neg$ ) është një veprim unar në bashkësinë e gjykimeve, meqë me atë çdo gjykimi $p$ , me vlerë të caktuar të saktësisë, i shoqërohet gjykimi i përbërë $\neg p$ me vlerë të kundërt të saktësisë . Në pajtim me këtë del se negacioni i gjykimit $\neg p$ , d.m.th. $\neg$ ( $\neg p)$ është $p$ , andaj $v (\neg (\neg p)) = v (p)$ .

Ligji i negacionit të dyfishtë

Pra, gjykimet i ( $\neg p), p$ kanë një vlerë të njëjtë të saktësisë. Gjykime të këtilla quhen ekuivalente dhe shënohen me simbolin e ekuivalencës $\Leftrightarrow$ :

\neg (\neg p) \Leftrightarrow p

Kjo formulë shpreh të ashtuquajturën ligj i negacionit të dyfishtë .

Konjuksioni i gjykimeve

Kur gjykimi i përbërë formohet prej dy (ose më shumë) gjykimeve çfarëdo me ndihmën e lidhëzëz „dhe", thuhet se ajo lidhëz e përcakton veprimin logjik që quhet konjuksion.

Përkufizimi

Konjuksioni i dy gjykimeve $p, q$ quhet gjykimi $p \land q$ (lexo : p dhe q),i cili është i saktë kur janë të sakta të dy gjykimet $p, q$ .

Simboli

Simboli $\land$ është shenja e konjuksionit.

Tabela e saktësisë

Tabela e saktësisë së konjuksionit duket kështu :

$\begin{matrix} v (p) & v (q) & v (p \land q) \\ ⊤ & ⊤ & ⊤ \\ ⊤ & ⊥ & ⊥ \\ ⊥ & ⊥ & ⊥ \\ ⊥ & ⊤ & ⊥ \end{matrix}$

Meqë vlerat e saktësisë së gjykimeve $p, q$ mund të jenë $⊤$ ose $⊥$ , tabela e saktësisë së konjuksionit mund të shkruhet më shkurt kështu :

$\begin{matrix} \land & ⊤ & ⊥ \\ ⊤ & ⊤ & ⊥ \\ ⊥ & ⊥ & ⊥ \end{matrix}$

Shembuj

Le të jenë $p, q$ këto dy gjykime
$p$ : Brinjët e kundërta të drejtkëndëshit janë të barabarta ; dhe
$q$ : Brinjët e kundërta të drejtkëndëshit janë paralele.

Konjuksioni i tyre do të jetë :
$p \land q$ : Brinjët e kundërta të drejtkëndëshit janë të barabarta dhe paralele.

Le të jenë gjykimet : Stampa:Mate dhe Stampa:Mate. Të formohet konjuksioni dhe të gjendet vlera e tij e saktesise.

$p \land q : (15, 7) = 1 \land 1 > - 2, v (p \land q) = ⊤$ , sepse $v ((15, 7) = 1) = ⊤$ dhe $v (1 > - 2) = ⊤$ ...............................?

Vetitë

Konjuksioni është një veprim binar, megë lidh dy gjykime dhe si rezultat jep një gjykim të tretë, konjuksionin e tyre.

Ligji i idempotencës dhe komutacionit

Përkufizimi i konjuksionit të dy gjykimeve lehtë mund të zgjerohet edhe në rastin e $n$ gjykimeve $(n \in ℕ, n ⩽ 2)$ . Prej përkufizimit të konjuksionit dalin këto dy ligje të rëndësishme të logjikës së gjykimeve:

$p \land q \Leftrightarrow p$ , dhe $p \land q \Leftrightarrow q \land p$

ligji i idempotencës dhe ai i komutacionit . Saktësinë e tyre e provojmë duke formuar tabelën e saktësisë për secilën formulë. P.sh. për të provuar ligjin e komutacionit formojmë këtë tabelë :

$\begin{matrix} p & q & p \land q & q \land p \\ ⊤ & ⊤ & \oplus & \oplus \\ ⊤ & ⊥ & ⊖ & ⊖ \\ ⊥ & ⊤ & ⊖ & ⊖ \\ ⊥ & ⊥ & ⊖ & ⊖ \end{matrix}$

Vlerat e rrethuara Stampa:Ote Stampa:Ojote në dy shtyllat e fundit të tabelës tregojnë se gjykimet $p \land q, q \land p$ kanë një vlerë të njëjtë të saktësisë, andaj themi se janë ekuivalente.

Disjunksioni i gjykimeve

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). Lidhëzja "ose" perdoret në kuptimin inklu:ziv, kur nuk përjashtohet mundësia e saktësisë së njëkohshme e të dy gjykimeve, kurse ajo përdoret në kuptimin ekskluziv pikërisht kur përjashtohet ajo mundësi. Kështu b.f. në gjykimin e përbërë : "Trekëndëshi $A B C$ është kënddrejtë ose dybrinjënjëshëm", lidhëzja „ose" e ka kuptimin inkluziv, sepse trekëndëshi në fjalë $A B C$ në të vërtetë mund të jetë :

a₁ kënddrejtë e brinjëndryshëm,
a₂ këndpjerrët e dybrinjënjëshëm, ose
a₃ kënddrejtë e dybrinjënjëshëm.

Pra, këtu nuk përjashtohet mundësia që trekëndëshi në fjalë të jetë njëherit edhe kënddrejtë edhe i dybrinjënjëshëm . Ndërkaq, në gjykimin „Numri natyral $n$ është çift ose tek", lidhëzja ,,ose" ka kuptimin ekskluziv - këtu përjashtohet mundësia që numri në fjalë Stampa:Mate të jetë njëherit edhe çift edhe tek. Pra, kuptimi ekskluziv i lidhëzës "ose" në të vërtetë e ka domethënien "ose . . . . . . ose".

Përkufizimi

Stampa:DygishtaP ë r k u f i z i m i 1.2.3.1. - Disjunksioni (inkluziv) i dy gjykimeve Stampa:Mate quhet gjykimi Stampa:Mate (lexo : p ose q ). i cili është i saktë kur është i saktë së paku njëri nga gjykimet Stampa:Mate.

Simboli

Simboli $\lor$ është shenja e disjunksionit.

Tabela e saktësisë

Tabela e saktësisë së disjunksionit duket kështu :

\begin{matrix} v (p) & v (p) & v (p \lor q) \\ ⊤ & ⊤ & ⊤ \\ ⊤ & ⊥ & ⊤ \\ ⊥ & ⊤ & ⊤ \\ ⊥ & ⊥ & ⊥ \end{matrix}

ose shkurt

\begin{matrix} \lor & ⊤ & ⊥ \\ ⊤ & ⊤ & ⊥ \\ ⊥ & ⊥ & ⊤ \end{matrix}

Shembuj

Të provohet barazia $v (\neg (p \lor q)) = v (\neg p \lor \neg q)$ .

Barazinë e dhënë e provojmë duke formuar tabelën:

$\begin{matrix} p & q & p \lor q & \neg {p \lor q} & \neg p & \neg q & \neg p \land \neg q \\ ⊤ & ⊤ & ⊤ & \oplus & ⊥ & ⊥ & ⊖ \\ ⊤ & ⊥ & ⊤ & \oplus & ⊥ & ⊤ & ⊖ \\ ⊥ & ⊤ & ⊤ & \oplus & ⊤ & ⊥ & ⊖ \\ ⊥ & ⊥ & ⊥ & \oplus & ⊤ & ⊤ & \oplus \end{matrix}$

Stampa:DygishtaVlerat e rrethuara Stampa:Ote, Stampa:Ojote në shtyllën e katërt dhe në atë të fundit të tabelës tregojnë se barazimi i dhënë është i saktë.

Vetitë

Kuptohet, edhe disjunksioni është veprim binar, ku vlen ligji i idempotencës dhe i komutacionit:

$p \lor q \Leftrightarrow p, p \lor q \Leftrightarrow q \lor p$ .

Disjunksioni ekskuziv

Përkufizimi

Stampa:Përkufizimi

Simboli

Simboli $⊻$ është shenja e disjunkstonit ekskluziv.

Tabela e saktësisë

Tabela e saktësisë është

\begin{matrix} v (p) & v (p) & v (p ⊻ q) \\ ⊤ & ⊤ & ⊥ \\ ⊤ & ⊥ & ⊤ \\ ⊥ & ⊤ & ⊤ \\ ⊥ & ⊥ & ⊥ \end{matrix}

ose shkurt

\begin{matrix} ⊻ & ⊤ & ⊥ \\ ⊤ & ⊥ & ⊥ \\ ⊥ & ⊥ & ⊤ \end{matrix}

Implikacioni i gjykimeve

Kur 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 :

p : N \ddot{e} s e n \in ℕ, a t \ddot{e} h e r \ddot{e} n^{2} \in ℕ

;

q : N \ddot{e} s e a < 0 d h e b < 0, a t \ddot{e} h e r \ddot{e} a \cdot b > 0

;

r : N \ddot{e} s e n = 5, a t \ddot{e} h e r \ddot{e} (n^{2} + 5 n - 1) ⋮ 7

;

s : N \ddot{e} s e x = 6, a t \ddot{e} h e r \ddot{e} \log (3 x^{2} - 8) = 2

.

Përkufizimi

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

Simboli

Simboli $\Rightarrow$ është shenja e implikacionit.

Tabela e saktësisë

Tabela e saktësisë së implikacionit është:

\begin{matrix} v (p) & v (p) & v (p \Rightarrow q) \\ ⊤ & ⊤ & ⊤ \\ ⊤ & ⊥ & ⊥ \\ ⊥ & ⊤ & ⊤ \\ ⊥ & ⊥ & ⊤ \end{matrix}

ose shkurt

\begin{matrix} \Rightarrow & ⊤ & ⊥ \\ ⊤ & ⊤ & ⊥ \\ ⊥ & ⊤ & ⊤ \end{matrix}

Shembuj

Le të jenë gjykimet : $p : \sqrt{2} = 1, 5$ dhe $q : π \approx 3, 14$ . Të caktohen saktësisë e implikacioneve : $p \Rightarrow q, p \Rightarrow \neg q, q \Rightarrow p, q \Rightarrow \neg p$

Meqë $v (p) = ⊥, v (q) = ⊤$ do të kemi: $v (p \Rightarrow q) = ⊤, v (p \Rightarrow \neg q) = ⊤, v (q \Rightarrow p) = ⊥, v (q \Rightarrow \neg p) = ⊤$

Le të jenë p, q këto dy gjykime:

p : N u m r i n a t y r a l n p l o t p j e s \ddot{e} t o h e t m e 10;

q : N u m r i n a t y r a l n p l o t p j e s \ddot{e} t o h e t m e 5 .

Implikacioni i tyre do të jetë :

$p \Rightarrow q$ : Nëse $n ⋮ 10$ , atëherë $n ⋮ 5$ .

Vetitë

Kuptohet, këtu vlera e saktësisë së gjykimit $q$ varet prej saktësisë së gjykimit $p$ . Nga ky shembull mund të vërehet edhe fakti se implikacioni është një veprim binar jokumutativ, sepse në rastin e përgjithshëm

$v (p \Rightarrow q) \neq q \Rightarrow p)$

Për implikacionin $p \Rightarrow q$ , implikacioni $q \Rightarrow p$ quhet i anasjelltë.

Konsekuenca

Rast i veçantë i implikacionit është konsekuenca - kur prej gjykimit $p$ logjikisht rrjedh gjykimi $q$ , i cili është i saktë vetëm kur $p$ është i saktë . Raste të këtilla paraqiten në mes të teoremave matematike dhe konsekuencave të tyre, sikurse edhe në mes të supozimeve të teoremave dhe konkludimeve të tyre. Në këto raste implikacioni $p \Rightarrow q$ lexohet edhe kështu : $p$ është kusht i mjaftueshëm për $q; q$ është kusht i nevojshëm për $p; q$ është rrjedhim i $q$ ; etj. Fakti se prej gjykimit $p$ logjikisht nuk rrjedh gjykimi $q$ , shënohet $p \Rightarrow̸ q$ .

Shembuj

Le të jetë gjykimi

p : a > 0 \land b > 0

.

Si konsekuencë e gjykimit $p$ mund të nxirret gjykimi $q : a b > 0$ , d.m.th. :

$a > 0 \land b > 0 \Rightarrow a b > 0$ .

Mirëpo, e anasjellta nuk vlen $(q \Rightarrow̸ p)$ , sepse $q$ është vetëm kusht i nevojshëm (por jo i mjaftueshëm) për $p$ , pra :

$a b > 0 \Rightarrow̸ a > 0 \land b > 0$ .

Ekuivalenca e gjykimeve

Kur gjykimi i përbërë formohet nga dy (ose më shumë) gjykime të tjera me ndihmën e fjalëve (shprehjeve) „nëse dhe vetëm nëse", „atëherë dhe vetëm atëherë", „e nevojshme dhe e mjaftueshme", thuhet se përcaktohet me veprimin e ekuivalencës.

Përkufizimi

Stampa:DygishtaP ë r k u f i z i m i 1.2.5.1. - Ekuivalenca e gjykimeve Stampa:Mate quhet gjykimi Stampa:Mate (lexo : p ekuivalent q), i cili është i saktë kur të dy gjykimet Stampa:Mate janë të sakta ose janë jo të sakta.

Simboli

Simboli $\Leftrightarrow$ është shenja e ekuivalencës.

Tabela e saktësisë

Tabela e saktësisë se ekuivalencës është :

\begin{matrix} v (p) & v (p) & v (p \Leftrightarrow q) \\ ⊤ & ⊤ & ⊤ \\ ⊤ & ⊥ & ⊥ \\ ⊥ & ⊤ & ⊥ \\ ⊥ & ⊥ & ⊤ \end{matrix}

ose shkurt

\begin{matrix} \Leftrightarrow & ⊤ & ⊥ \\ ⊤ & ⊤ & ⊥ \\ ⊥ & ⊥ & ⊤ \end{matrix}

Vetitë

Kur krahasohen tabelat e saktësisë së implikacioneve $p \Rightarrow q, q \Rightarrow p$ dhe e ekuivalencës $p \Leftrightarrow q$ , lehtë mund të shihet ligji logjik, i cili shpreh lidhjen në mes këtyre gjykimeve:

$(p \Leftrightarrow q) (p \Rightarrow q) \land (q \Rightarrow p)$

respektivisht del:

$\begin{matrix} v (p) & v (q) & v (p \Rightarrow q) & v (q \Rightarrow p) & v (p \Rightarrow q) \land v (q \Rightarrow p) & v (q \Leftrightarrow p) \\ ⊤ & ⊤ & ⊤ & ⊤ & \oplus & \oplus \\ ⊤ & ⊥ & ⊥ & ⊤ & ⊖ & ⊖ \\ ⊥ & ⊤ & ⊤ & ⊥ & ⊖ & ⊖ \\ ⊥ & ⊥ & ⊤ & ⊤ & \oplus & \oplus \end{matrix}$

Pra, ekuivalenca $p \Leftrightarrow q$ në të vërtetë është implikacion i dyfishtë $(p \Rightarrow q, q \Rightarrow p)$ , andaj ajo është veprim binar komutativ.

Shembuj

Nëse $x_{1}, x_{2}$ janë zerot e trinomit $t (x) = a x_{2} + b x + c, a \neq 0$ (d.m.th. $t (x_{1}) = 0, t (x_{2}) = 0)$ , atëherë gjykimet $p : x_{1} \neq x_{2}$ dhe $q : b^{2} - 4 a c \neq 0$ janë ekuivalente:

$x_{1} \neq x_{2} \Leftrightarrow b^{2} - 4 a c \neq 0$ ,

sepse : $p \Rightarrow q dhe q \Rightarrow p$ .

Veprimet me gjykime

Negacioni i gjykimit

Përkufizimi

Simboli

Tabela e saktësisë

Shembuj

Vetitë

Ligji i negacionit të dyfishtë

Konjuksioni i gjykimeve

Përkufizimi

Simboli

Tabela e saktësisë

Shembuj

Vetitë

Ligji i idempotencës dhe komutacionit

Disjunksioni i gjykimeve

Përkufizimi

Simboli

Tabela e saktësisë

Shembuj

Vetitë

Disjunksioni ekskuziv

Përkufizimi

Simboli

Tabela e saktësisë

Implikacioni i gjykimeve

Përkufizimi

Simboli

Tabela e saktësisë

Shembuj

Vetitë

Konsekuenca

Shembuj

Ekuivalenca e gjykimeve

Përkufizimi

Simboli

Tabela e saktësisë

Vetitë

Shembuj

Menuja e navigimit

Kërko