Konjunktsioon: erinevus redaktsioonide vahel

Allikas: Vikipeedia
Eemaldatud sisu Lisatud sisu
Rannilo (arutelu | kaastöö)
P kategooriad
PResümee puudub
5. rida: 5. rida:
[[File:Venn 0000 0001.svg|220px|thumb|<math>\scriptstyle A \and B \and C</math> tähistav Venni diagramm]]
[[File:Venn 0000 0001.svg|220px|thumb|<math>\scriptstyle A \and B \and C</math> tähistav Venni diagramm]]


'''Konjunktsioon''' ehk '''loogiline korrutamine''' on binaarne loogikatehe: lausete ''A'' ja ''B'' konjunktsioon ''A''<math>\and</math>''B'' loetakse tõeseks parajasti siis, kui laused ''A'' ja ''B'' on mõlemad tõesed ning vääraks kõigil muudel juhtudel.<ref name=":1">{{Raamatuviide|autor=Enn Kasask|pealkiri=Loogika alused|aasta=|koht=|kirjastus=|lehekülg=261}}</ref>
Konjunktsioon ehk loogiline korrutamine on binaarne loogikatehe: lausete ''A'' ja ''B'' konjunktsioon ''A''<math>\and</math>''B'' loetakse tõeseks parajasti siis, kui laused ''A'' ja ''B'' on mõlemad tõesed ning vääraks kõigil muudel juhtudel.<ref name=":1">{{Raamatuviide|autor=Enn Kasak|pealkiri=Loogika alused|aasta=|koht=|kirjastus=|lehekülg=261}}</ref>


"A ja B" on tõene siis ja ainult siis, kui A on tõene ja B on tõene.
"A ja B" on tõene siis ja ainult siis, kui A on tõene ja B on tõene.
11. rida: 11. rida:
Seotud mõisted teistes valdkondades on järgmised:
Seotud mõisted teistes valdkondades on järgmised:


* [[Loomulik keel|Loomulikus keeles]] on konjunktsioonile kõige sarnasem sõna "ja" või "ning".<ref name=":1" />
* [[Loomulik keel|Loomulikus keeles]] on konjunktsiooniga kõige sarnasem sõna "ja" või "ning".<ref name=":1" />
* [[Hulgateooria|Hulgateoorias]], [[ühisosa]].
* [[Hulgateooria|Hulgateoorias]] [[ühisosa]].
* [[Predikaatloogika|Predikaatloogikas]], [[üldisuskvantor]].
* [[Predikaatloogika|Predikaatloogikas]] [[üldisuskvantor]].


Konjunktsiooni ning [[Eitus|eituse]] abil on võimalik esitada kõik ülejäänud loogikatehted.<ref>{{Netiviide|Autor=Valdis Laan|URL=https://courses.ms.ut.ee/LTMS.00.019/2018_spring/uploads/Main/kon.pdf|Pealkiri=Diskreetne Matemaatika I. Kevad 2018. Loengukonspekt.|Väljaanne=|Aeg=|Kasutatud=|Täpsustus=Teoreem 1.24}}</ref>
Konjunktsiooni ja [[Eitus|eituse]] abil on võimalik esitada kõik ülejäänud loogikatehted.<ref>{{Netiviide|Autor=Valdis Laan|URL=https://courses.ms.ut.ee/LTMS.00.019/2018_spring/uploads/Main/kon.pdf|Pealkiri=Diskreetne Matemaatika I. Kevad 2018. Loengukonspekt.|Väljaanne=|Aeg=|Kasutatud=|Täpsustus=Teoreem 1.24}}</ref>


==Notatsioon==
==Notatsioon==


'''Konjunktsiooni''' tähistatakse tavaliselt infiks operaatoriga:
Konjunktsiooni tähistatakse tavaliselt infiks-operaatoriga:


* matemaatikas ja loogikas kasutatakse sümbolit <math>\and</math> või <math>\times</math>või <math>\And</math>
* matemaatikas ja loogikas kasutatakse sümbolit <math>\and</math> või <math>\times</math>või <math>\And</math>
* elektroonikas kasutatakse sümbolit <math>\cdot</math>
* elektroonikas kasutatakse sümbolit <math>\cdot</math>
* programmeerimiskeeltes kasutatakse tähistust'''<code>&amp;</code>''', '''<code>&amp;&amp;</code>''', või '''<code>and</code>'''
* programmeerimiskeeltes kasutatakse tähistust'''<code>&amp;</code>''', '''<code>&amp;&amp;</code>''', või '''<code>and</code>'''
* [[Jan Łukasiewicz]]'i [[Poola kuju|loogika prefiksnotatsioonis]] on vastav operaator '''K''', mis tuleb poola keelsest sõnast ''koniunkcja<ref name=":0">[[Józef Maria Bocheński]] (1959), ''A Précis of Mathematical Logic'', translated by Otto Bird from the French and German editions, Dordrecht, North Holland: D. Reidel, passim.</ref>'' (Eesti keeles: konjunktsioon).
* [[Jan Łukasiewicz]]i [[Poola kuju|loogika prefiksnotatsioonis]] on vastav operaator '''K''', mis tuleb poola keelsest sõnast ''koniunkcja<ref name=":0">[[Józef Maria Bocheński]] (1959), ''A Précis of Mathematical Logic'', translated by Otto Bird from the French and German editions, Dordrecht, North Holland: D. Reidel, passim.</ref>'' (eesti keeles: konjunktsioon).


==Definitsioon==
==Definitsioon==
30. rida: 30. rida:


===Tõeväärtustabel===
===Tõeväärtustabel===
[[File:Multigrade operator AND.svg|thumb|Vasakul poolel olevate argumentide konjunktsioonid — [[Sierpinski kolmnurk|Sierpinski kolmnurga]] tõesed [[Bitt|bitid]].]]
[[File:Multigrade operator AND.svg|thumb|Vasakul poolel olevate argumentide konjunktsioonid — [[Sierpinski kolmnurk|Sierpinski kolmnurga]] tõesed [[Bitt|bitid]]]]


Valemi<math>~A \and B</math> tõeväärtustabel:<ref>{{Raamatuviide|autor=Tõnu Tamme, Tanel Tammet, Rein Prank|pealkiri=Loogika: Mõtlemisest tõestamiseni|aasta=|koht=|kirjastus=|lehekülg=69}}</ref>
Valemi<math>~A \and B</math> tõeväärtustabel:<ref>{{Raamatuviide|autor=Tõnu Tamme, Tanel Tammet, Rein Prank|pealkiri=Loogika: Mõtlemisest tõestamiseni|aasta=|koht=|kirjastus=|lehekülg=69}}</ref>

Redaktsioon: 17. juuni 2018, kell 20:09

 See artikkel räägib loogikatehtest, astronoomia mõiste kohta vaata artiklit Konjunktsioon (astronoomia), keeleteaduse mõiste kohta vaata artiklit sidesõna.

Konjunktsioon ehk loogiline korrutamine ehk "ning" on üks binaarne loogikatehe lauseloogikat sisaldavates sümbolloogika süsteemides.

tähisav Venni diagramm
tähistav Venni diagramm

Konjunktsioon ehk loogiline korrutamine on binaarne loogikatehe: lausete A ja B konjunktsioon AB loetakse tõeseks parajasti siis, kui laused A ja B on mõlemad tõesed ning vääraks kõigil muudel juhtudel.[1]

"A ja B" on tõene siis ja ainult siis, kui A on tõene ja B on tõene.

Seotud mõisted teistes valdkondades on järgmised:

Konjunktsiooni ja eituse abil on võimalik esitada kõik ülejäänud loogikatehted.[2]

Notatsioon

Konjunktsiooni tähistatakse tavaliselt infiks-operaatoriga:

  • matemaatikas ja loogikas kasutatakse sümbolit või või
  • elektroonikas kasutatakse sümbolit
  • programmeerimiskeeltes kasutatakse tähistust&, &&, või and
  • Jan Łukasiewiczi loogika prefiksnotatsioonis on vastav operaator K, mis tuleb poola keelsest sõnast koniunkcja[3] (eesti keeles: konjunktsioon).

Definitsioon

Loogiline konjunktsioon on operatsioon kahel loogilisel väärtusel, enamasti kahel propositsioonil, mis väljastab väärtuse tõene siis ja ainult siis, kui mõlemad operandid on tõesed.

Tõeväärtustabel

Vasakul poolel olevate argumentide konjunktsioonid — Sierpinski kolmnurga tõesed bitid

Valemi tõeväärtustabel:[4]

SISEND VÄLJUND
TÕENE TÕENE TÕENE
TÕENE VÄÄR VÄÄR
VÄÄR TÕENE VÄÄR
VÄÄR VÄÄR VÄÄR

Teiste operaatorite läbi defineerimine

Süsteemides, kus lauseloogika konnektor pole primitiiv, võib konjunktsiooni defineerida järgmiselt:[5]

Omadused

Konjunktsioonil on järgnevad omadused:

kommutatiivsus: jah

        
        

assotsiatiivsus: jah

        
                 

distributiivsus: mitmete loogikatehetega jah, näiteks tehtega või, kuid mitte kõigiga

        
                 

idempotentsus: jah

        
        

monotoonsus: jah

        
                 

tõesust säilitav: jah
Kui kõik sisendid on tõesed, on ka väljund tõene

        
        
(vajab testimist)

väärsust säilitav: jah
Kui kõik sisendid on väärad, on ka väljund väär.

        
        
(vajab testimist)

Walshi spektrum: (1,-1,-1,1)

Mittelineaarsus: 1 (funktsioon on kõver)

Kasutades binaarseid väärtuseid tõese (1) ja väära (0) jaoks, siis töötab loogiline konjuktsioon täpselt nagu aritmeetiline korrutamine.

Rakendusi informaatikas

AND loogikavärav

Kõrgetasemelises programmeerimises ja digitaalses elektroonikas on konjunktsioon tavaliselt tähistatud infiks operaatoriga, enamasti tähisega nagu "AND", algebraline korrutamistehe või sümbol "&".

Loogilist konjunktsiooni kastutatakse tihti bitikaupa tehtavates operatsioonides, kus tähistab 0 väära ja 1 on tõene.

  • 0 AND 0  =  0,
  • 0 AND 1  =  0,
  • 1 AND 0  =  0,
  • 1 AND 1  =  1.

Seda operatsiooni saab rakendada ja kahele binaarsele sõnale, mida vaadeldakse võrdse pikkusega bitistringidena, leides iga samal positsioonil oleva bitipaari jaoks neile vastava AND väärtuse. Näiteks;

  • 11000110 AND 10100011  =  10000010.

Seda saab kasutada, et valida mingi osa bitistringist bitimaski kasutades. Näiteks 10011101 AND 00001000  =  00001000eraldab viienda biti 8-bitisest bitistringist.

Arvutivõrkude teaduses, kasutatakse bitimaske olemasoleva alamvõrgu võrguaadressi leidmisel nii, et ANDitakse IP aadress ja alamvõrgu mask.

Loogiline konjunktsioon "AND" on ka kasutusel SQL operatsioonides andmebaasi päringutel.

Vastavus hulgateoorias

Elemendi kuuluvus kahe hulga ühisosasse on hulgateoorias defineeritud loogilise konjunktsiooni abil: xAB siis ja ainult siis, kui (xA) ∧ (xB). Selle vastavuse tõttu jagab hulgateoreetiline ühisosa samuti mitmeid loogilise konjunktsiooni omadusi, nagu assotsiatiivsus, kommutatiivsus ja idempotentsus.

Loomulik keel

Nagu ka matemaatilise loogika teiste tehetega, on loogiline konjunktsioon ning seotud, kuid mitte täpselt võrdne, grammatilisele konjunktsioonile ning loomulikus keeles.

Eesti keele sõnal "ning" (või "ja") on omadused, mida loogiline konjunktsioon ei säilita. Näiteks tähistab "ning" vahel järjekorda. Lause "Nad abiellusid ning said lapse" tähendaks tavaarusaama järgi, et abiellumine toimus enne lapse saamist. Sõna "ning" ("ja") võib ka võib ka väljendada mingi asja osadeks tegemist, nagu lauses "Eesti lipp on sinine, must ja valge". See lause ei tähenda, et Eesti lipp on samaaegselt sinine, must ja valge, vaid seda, et lipu erinevatel osadel on erinev värv.

Vaata ka

Viited

  1. 1,0 1,1 Enn Kasak. Loogika alused. Lk 261.
  2. Valdis Laan. "Diskreetne Matemaatika I. Kevad 2018. Loengukonspekt" (PDF). Teoreem 1.24.
  3. Józef Maria Bocheński (1959), A Précis of Mathematical Logic, translated by Otto Bird from the French and German editions, Dordrecht, North Holland: D. Reidel, passim.
  4. Tõnu Tamme, Tanel Tammet, Rein Prank. Loogika: Mõtlemisest tõestamiseni. Lk 69.{{raamatuviide}}: CS1 hooldus: mitu nime: autorite loend (link)
  5. Smith, Peter. "Types of proof system" (PDF). Lk 4.

Välislingid