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)
- (väljendab konjunktsiooni)
- & (väljendab konjunktsiooni)
- (väljendab disjunktsiooni)
- (väljendab materiaalset implikatsiooni)
- (väljendab materiaalset implikatsiooni)
- (väljendab materiaalset implikatsiooni)
- (väljendab ekvivalentsi)
- (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 Q
- Q P
- P Q
- ¬P
Tehete järjekord
[muuda | muuda lähteteksti]Et vähendada vajadust kasutada sulge, on lauseloogikas kokku lepitud tehete järjekord: konnektor ¬ eelneb konnektorile , konnektor eelneb konnektorile , konnektor eelneb konnektorile → ning konnektor → eelneb konnektorile . Näiteks P Q ¬R → S tähendab (P (Q (¬R))) → S.
![]() |
![]() | |
(file) | (file) (zoom in) |