Konnektor (keeleteadus)

Konnektoriks ehk konnektiiviks nimetatakse formaalse keele või loomuliku keele loogilisi konstante, mille abil lausetest moodustatakse liitlauseid.

Kõige tuntumad on lauseloogika konnektorid. Need väljendavad kahe- või ühekohalisi tõeväärtuslikke funktsioon, millega lausetest moodustatakse uusi lauseid ning vastavalt propositsioonidest uusi propositsioone.

Loomulikus keeles esinevad lauseloogika konnektoritena näiteks järgmised väljendid:

• ja; aga (võivad väljendada konjunktsiooni)
• või (võib väljendada (disjunktsiooni või "välistavat "võid"")
• kui; kui ... siis; ainult siis, kui (võivad väljendada implikatsiooni)
• siis ja ainult siis, kui; parajasti siis, kui (võivad väljendada ekvivalentsi)
• ei; pole tõsi, et; ei pea paika, et (väljendavad eitust)

Lauseloogika formaalses keeles on levinumad konnektorid:

• ¬ (väljendab eitust)
• ~ (väljendab eitust)
• $\wedge$ (väljendab konjunktsiooni)
• & (väljendab konjunktsiooni)
• $\vee$ (väljendab disjunktsiooni)
• $\to$ (väljendab materiaalset implikatsiooni)
• $\Rightarrow$ (väljendab materiaalset implikatsiooni)
• $\supset$ (väljendab materiaalset implikatsiooni)
• $\leftrightarrow$ (väljendab ekvivalentsi)
• $\equiv$ (väljendab ekvivalentsi)
• $=$ (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 $\to$ Q
• Q $\to$ P
• P $\leftrightarrow$ Q
• ¬P

Tehete järjekord

Et vähendada vajadust kasutada sulge, on lauseloogikas kokku lepitud tehete järjekord: konnektor ¬ eelneb konnektorile $\wedge$, konnektor $\wedge$ eelneb konnektorile $\vee$, konnektor $\vee$ eelneb konnektorile → ning konnektor → eelneb konnektorile $\leftrightarrow$. Näiteks P $\vee$ Q $\wedge$ ¬R → S tähendab (P $\vee$ (Q $\wedge$ (¬R))) → S.

<imagemap> Pilt:Logical connectives table.svg|380px rect 399 2 542 39 input A rect 400 39 540 73 input B rect 400 128 542 706 output f(A,B) rect 3 128 398 163 X and ¬X rect 3 162 398 199 A and B rect 3 198 398 235 ¬A and B rect 4 234 399 273 B rect 3 273 398 309 A and ¬B rect 2 308 397 344 A rect 2 344 396 379 A xor B rect 2 379 397 415 A or B rect 3 419 396 454 ¬A and ¬B rect 3 453 395 489 A xnor B rect 3 489 396 525 ¬A rect 3 525 396 560 ¬A or B rect 3 563 397 601 ¬B rect 2 600 395 636 A or ¬B rect 2 634 398 671 ¬A or ¬B rect 3 670 397 706 X or ¬X desc none </imagemap>		<imagemap> Pilt:Logical connectives Hasse diagram.svg|350px rect 326 28 416 200 X or ¬X rect 81 233 166 409 ¬A or ¬B rect 260 231 349 409 A or ¬B rect 393 230 481 409 ¬A or B rect 574 232 663 408 A or B rect 13 436 103 617 ¬B rect 147 438 235 617 ¬A rect 279 440 368 616 A xor B rect 375 440 464 617 A xnor B rect 507 439 595 617 A rect 639 438 732 617 B rect 79 647 168 826 ¬A and ¬B rect 260 647 349 826 A and ¬B rect 392 646 482 826 ¬A and B rect 574 646 663 826 A and B rect 327 853 417 1035 X and ¬X desc none </imagemap>
(file)		(file) (zoom in)