Vikipeedia

Konnektor: erinevus redaktsioonide vahel

Sirvi ajalugu interaktiivselt
← Vanem muudatusUuem muudatus →
Eemaldatud sisu Lisatud sisu
VisuaalneVikitekst
Xqbot (arutelu | kaastöö)
Robotid
101 844 muudatust
P r2.5.2) (robot muutis: fa:رابط‌های منطقی
Lehekülg asendatud tekstiga '{{täpsustus}} '''Konnektor''' (ladina keele sõnast ''connectere'' siduma) on mitmetähenduslik sõna: *'''Konnektor''' ehk '''konnektiiv''' on keeleteaduses l...'
1. rida:
{{täpsustus}}
'''Konnektoriks''' ehk '''konnektiiviks''' nimetatakse [[formaalne keel|formaalse keele]] või [[loomulik keel|loomuliku keele]] [[loogiline konstant|loogilisi konstante]], mille abil [[lause]]test moodustatakse [[liitlause]]id.
'''Konnektor''' (ladina keele sõnast ''connectere'' siduma) on mitmetähenduslik sõna:
 
*'''Konnektor''' ehk '''konnektiiv''' on [[keeleteadus]]es lauseosi ühendav lauseliige.
Kõige tuntumad on [[lauseloogika]] konnektorid. Need väljendavad kahe- või ühe[[aarsus|kohalisi]] [[tõeväärtuslik funktsioon|tõeväärtuslikke]] [[funktsioon (matemaatika)|funktsioon]], millega lausetest moodustatakse uusi lauseid ning vastavalt [[propositsioon]]idest uusi [[propositsioon]]e.
*'''Konnektor''' on [[elektrotehnika]]s [[pistikühendus]], näiteks [[BNC-konnektor]], [[F-konnektor]], [[N-konnektor]], [[RF-konnektor]], [[SMA konnektor]], [[TNC konnektor]].
 
Loomulikus keeles esinevad lauseloogika konnektoritena näiteks järgmised väljendid:
 
*''[[ja]]''; ''[[aga (sidesõna)|aga]]'' (võivad väljendada [[konjunktsioon (loogika)|konjunktsioon]]i)
*''[[või]]'' (võib väljendada ([[disjunktsioon]]i või "[[välistav või|välistavat "võid"]]")
*''[[kui]]''; ''[[kui ... siis]]''; ''[[ainult siis, kui]]'' (võivad väljendada [[materiaalne implikatsioon|implikatsiooni]])
*''[[siis ja ainult siis, kui]]''; ''parajasti siis, kui'' (võivad väljendada [[ekvivalents]]i)
*''[[ei]]''; ''[[pole tõsi, et]]''; ''[[ei pea paika, et]]'' (väljendavad [[eitus]]t)
 
Lauseloogika formaalses keeles on levinumad konnektorid:
 
*¬ (väljendab eitust)
*~ (väljendab eitust)
*<math>\wedge</math> (väljendab konjunktsiooni)
*& (väljendab konjunktsiooni)
*<math>\vee</math> (väljendab disjunktsiooni)
*<math>\rightarrow</math> (väljendab materiaalset implikatsiooni)
*<math>\Rightarrow</math> (väljendab materiaalset implikatsiooni)
*<math>\supset</math> (väljendab materiaalset implikatsiooni)
*<math>\leftrightarrow</math> (väljendab ekvivalentsi)
*<math>\equiv</math> (väljendab ekvivalentsi)
*<math>=</math> (väljendab ekvivalentsi)
 
Näiteks lausetest "Mul ei ole sõpru" ja "Sul on hea tuju" saab loomuliku keele lauseloogika konnektorite abil moodustada laused
 
* Mul ei ole sõpru ja sul on hea tuju.
* Kui mul ei ole sõpru, siis sul on hea tuju.
* Mul ei ole sõpru, kui sul on hea tuju.
* Mul ei ole sõpru siis ja ainult siis, kui sul on hea tuju.
* Ei pea paika, et mul ei ole sõpru.
 
Kui formaalses keeles vastab lausele "Mul ei ole sõpru" täht P ja lausele "Sul on hea tuju" täht Q, siis saab ülaltoodud laused lauseloogika formaalses keeles kirja panna nii:
 
* P & Q
* P <math>\rightarrow</math> Q
* Q <math>\rightarrow</math> P
* P <math>\leftrightarrow</math> Q
* ¬P
 
==Tehete järjekord==
 
Et vähendada vajadust kasutada [[sulud|sulge]], on lauseloogikas kokku lepitud [[tehete järjekord]]: konnektor ¬ eelneb konnektorile <math>\wedge</math>, konnektor <math>\wedge</math> eelneb konnektorile <math>\vee</math>, konnektor <math>\vee</math> eelneb konnektorile → ning konnektor → eelneb konnektorile <math>\leftrightarrow</math>. Näiteks ''P'' <math>\vee</math> ''Q'' <math>\wedge</math> ¬''R'' → ''S'' tähendab (''P'' <math>\vee</math> (''Q'' <math>\wedge</math> (¬''R''))) → ''S''.
 
 
{| style="margin: 0 auto;"
|-
|<imagemap>
Image:Logical connectives table.svg|380px
rect 399 2 542 39 [[:en:Truth table|input A]]
rect 400 39 540 73 [[:en:Truth table|input B]]
rect 400 128 542 706 [[:en:Truth table|output f(A,B)]]
rect 3 128 398 163 [[:en:Contradiction|X and ¬X]]
rect 3 162 398 199 [[:en:Logical conjunction|A and B]]
rect 3 198 398 235 [[:en:Converse nonimplication|¬A and B]]
rect 4 234 399 273 [[:en:Proposition|B]]
rect 3 273 398 309 [[:en:Material nonimplication|A and ¬B]]
rect 2 308 397 344 [[:en:Proposition|A]]
rect 2 344 396 379 [[:en:Exclusive or|A xor B]]
rect 2 379 397 415 [[:en:Logical disjunction|A or B]]
rect 3 419 396 454 [[:en:Logical NOR|¬A and ¬B]]
rect 3 453 395 489 [[:en:Logical biconditional|A xnor B]]
rect 3 489 396 525 [[:en:Negation|¬A]]
rect 3 525 396 560 [[:en:Material implication|¬A or B]]
rect 3 563 397 601 [[:en:Negation|¬B]]
rect 2 600 395 636 [[:en:Converse implication|A or ¬B]]
rect 2 634 398 671 [[:en:Sheffer stroke|¬A or ¬B]]
rect 3 670 397 706 [[:en:Tautology_(logic)|X or ¬X]]
desc none
</imagemap>
|width="50pt"|
|<imagemap>
Image:Logical connectives Hasse diagram.svg|350px
rect 326 28 416 200 [[:en:Tautology_(logic)|X or ¬X]]
rect 81 233 166 409 [[:en:Sheffer stroke|¬A or ¬B]]
rect 260 231 349 409 [[:en:Converse implication|A or ¬B]]
rect 393 230 481 409 [[:en:Material implication|¬A or B]]
rect 574 232 663 408 [[:en:Logical disjunction|A or B]]
rect 13 436 103 617 [[:en:Negation|¬B]]
rect 147 438 235 617 [[:en:Negation|¬A]]
rect 279 440 368 616 [[:en:Exclusive or|A xor B]]
rect 375 440 464 617 [[:en:Logical biconditional|A xnor B]]
rect 507 439 595 617 [[:en:Proposition|A]]
rect 639 438 732 617 [[:en:Proposition|B]]
rect 79 647 168 826 [[:en:Logical NOR|¬A and ¬B]]
rect 260 647 349 826 [[:en:Material nonimplication|A and ¬B]]
rect 392 646 482 826 [[:en:Converse nonimplication|¬A and B]]
rect 574 646 663 826 [[:en:Logical conjunction|A and B]]
rect 327 853 417 1035 [[:en:Contradiction|X and ¬X]]
desc none
</imagemap>
|-
| align="left"|<small>[[:File:Logical connectives table.svg|<font color=#aaaaaa>(file)</font>]]</small> || || align="right"| <small>[[:File:Logical connectives Hasse diagram.svg|<font color=#aaaaaa>(file)</font>]] [http://commons.wikimedia.org/w/thumb.php?f=Logical%20connectives%20Hasse%20diagram.svg&width=1000px <font color=#aaaaaa>(zoom in)</font>]</small>
|}
<br clear=all>
 
 
[[Kategooria:Loogika]]
[[Kategooria:Süntaks]]
 
[[id:Operator logika]]
[[ms:Pengoperasi logik]]
[[ca:Connectiva lògica]]
[[da:Logisk operator]]
[[de:Junktor]]
[[el:Λογικές συναρτήσεις]]
[[en:Logical connective]]
[[es:Conectiva lógica]]
[[eu:Eragile logiko]]
[[fa:رابط‌های منطقی]]
[[fr:Connecteur logique]]
[[ko:논리 연산]]
[[is:Rökaðgerð]]
[[it:Connettivo logico]]
[[he:פעולה בוליאנית]]
[[hu:Logikai művelet]]
[[mk:Логичка операција]]
[[nl:Booleaanse operator]]
[[ja:論理演算]]
[[pl:Funktor zdaniotwórczy]]
[[ru:Логическая операция]]
[[sk:Výroková spojka]]
[[sv:Logisk operator]]
[[th:ตัวดำเนินการทางตรรกศาสตร์]]
[[uk:Логічний сполучник]]
[[zh:逻辑运算符]]
Pärit leheküljelt "https://et.wikipedia.org/wiki/Konnektor"