Lausetta {\displaystyle \scriptstyle A\land B} vastaava Venn-diagrammi
Lausetta {\displaystyle \scriptstyle A\land B\land C} vastaava Venn-diagrammi
**Konjunktio** on propositiologiikassa kaksipaikkainen looginen konnektiivi, joka vastaa yleiskielen sanaa *ja*. Sillä muodostettu yhdistetty lause on tosi, jos molemmat sen yhdistämät lauseet ovat tosia, muussa tapauksessa epätosi. Lauseiden *A* ja *B* konjunktiolle käytetään merkintää {\displaystyle A\land B}.

Konjunktioon läheisesti liittyviä käsitteitä muissa yhteyksissä ovat:

* joukko-opissa leikkaus
* predikaattilogiikassa universaalikvanttori eli kaikki-kvanttori
* elektroniikassa konjunktiota vastaa AND-portti.

Merkinnät
---------

Loogiselle konjunktiolle käytetään kirjallisuudessa useita eri symboleja. Sanan "ja" (engl. *and*) 
ohella sille käytetään yleisesti symbolia "{\displaystyle \land }", Esimerkiksi "*A* {\displaystyle \land } *B* " luetaan "*A* ja *B*". Tällainen konjunktio on tosi vain jos sekä *A* että *B* ovat tosia lauseita, muussa tapauksessa se on epätosi.

Kaikki seuraavat ovat konjunktiota:

{\displaystyle A\land B}
{\displaystyle \neg A\land B}
{\displaystyle A\land \neg B\land \neg C\land D\land \neg E.}
Boolen algebrassa konjunktiolle käytetään merkintää {\displaystyle A+B}. Jan Lukasiewiczin prefiksinotaatiossa disjunktion merkkinä käytetään K-kirjainta, joka on lyhenne puolan kielen sanasta *koniunkcja*. Tällöin lauseiden *p* ja *q* konjunktio merkitään K*pq*.

Eri ohjelmointikielissä konjunktiota vastaava operaattori merkitään tavallisimmin joko sanalla `and` tai kahdella et-merkillä (`&&`).

Totuustaulu
-----------

Vasemmalla olevien argumenttien konjunktiot: arvon tosi saavat bitit muodostavat Sierpinskin kolmion.
Operaation {\displaystyle ~A\land B} totuustaulu on seuraava:

|  |  |
| --- | --- |
| **LAUSEET** | **KONJUNKTIO** |
| {\displaystyle A} | {\displaystyle B} | {\displaystyle A\land B} |
| tosi | tosi | tosi |
| tosi | epätosi | epätosi |
| epätosi | tosi | epätosi |
| epätosi | epätosi | epätosi |

Ominaisuudet
------------

Looginen konjunktio noudattaa lasku­lakeja, jotka pitkälti ovat analogisia esi­merkiksi reaalilukujen lasku­säännöille. Se on vaihdannainen ja liitännäinen, ja sille pätee myös osittelulaki, kun toisena lasku­toimituksena on looginen disjunktio. Konjunktio on lisäksi idem­potentti eli minkä tahansa lauseen konjunktiolla itsensä kanssa on sama totuus­arvo kuin alku­peräisellä lauseella. Tätä havainnollistavat seuraavat kaaviot: 

* **Vaihdannaisuus**

|  |  |  |
| --- | --- | --- |
| {\displaystyle A\land B} |     {\displaystyle \Leftrightarrow }     | {\displaystyle B\land A} |
|  |     {\displaystyle \Leftrightarrow }     |  |

* **Liitännäisyys**

|  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| {\displaystyle ~A} | {\displaystyle ~~~\land ~~~} | {\displaystyle (B\land C)} |     {\displaystyle \Leftrightarrow }     |  |  | {\displaystyle (A\land B)} | {\displaystyle ~~~\land ~~~} | {\displaystyle ~C} |
|  | {\displaystyle ~~~\land ~~~} |  |     {\displaystyle \Leftrightarrow }     |  |     {\displaystyle \Leftrightarrow }     |  | {\displaystyle ~~~\land ~~~} |  |

* **Osittelulaki loogisen disjunktion suhteen**

|  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| {\displaystyle ~A} | {\displaystyle \land } | {\displaystyle (B\lor C)} |     {\displaystyle \Leftrightarrow }     |  |  | {\displaystyle (A\land B)} | {\displaystyle \lor } | {\displaystyle (A\land C)} |
|
|  | {\displaystyle \land } |  |     {\displaystyle \Leftrightarrow }     |  |     {\displaystyle \Leftrightarrow }     |  | {\displaystyle \lor } |  |

| muita |
| --- |
| liitännäisyys eksklusiivisen diskunktion suhteen:

|  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| {\displaystyle ~A} | {\displaystyle \land } | {\displaystyle (B\oplus C)} |     {\displaystyle \Leftrightarrow }     |  |  | {\displaystyle (A\land B)} | {\displaystyle \oplus } | {\displaystyle (A\land C)} |
|
|  | {\displaystyle \land } |  |     {\displaystyle \Leftrightarrow }     |  |     {\displaystyle \Leftrightarrow }     |  | {\displaystyle \oplus } |  |

liitännäisyys materiaalisen nonimplikaation suhteen:

|  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| {\displaystyle ~A} | {\displaystyle \land } | {\displaystyle (B\nrightarrow C)} |     {\displaystyle \Leftrightarrow }     |  |  | {\displaystyle (A\land B)} | {\displaystyle \nrightarrow } | {\displaystyle (A\land C)} |
|
|  | {\displaystyle \land } |  |     {\displaystyle \Leftrightarrow }     |  |     {\displaystyle \Leftrightarrow }     |  | {\displaystyle \nrightarrow } |  |

liitännäisyys itsensä kanssa:

|  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| {\displaystyle ~A} | {\displaystyle \land } | {\displaystyle (B\land C)} |     {\displaystyle \Leftrightarrow }     |  |  | {\displaystyle (A\land B)} | {\displaystyle \land } | {\displaystyle (A\land C)} |
|
|  | {\displaystyle \land } |  |     {\displaystyle \Leftrightarrow }     |  |     {\displaystyle \Leftrightarrow }     |  | {\displaystyle \land } |  |

 |

* **Idempotenssi**

|  |  |  |  |  |
| --- | --- | --- | --- | --- |
| {\displaystyle ~A~} | {\displaystyle ~\land ~} | {\displaystyle ~A~} |     {\displaystyle \Leftrightarrow }     | {\displaystyle A~} |
|  | {\displaystyle ~\land ~} |  |     {\displaystyle \Leftrightarrow }     |  |

* **Monotonisuus**

|  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- |
| {\displaystyle A\rightarrow B} |     {\displaystyle \Rightarrow }     |  |  | {\displaystyle (A\land C)} | {\displaystyle \rightarrow } | {\displaystyle (B\land C)} |
|  |     {\displaystyle \Rightarrow }     |  |     {\displaystyle \Leftrightarrow }     |  | {\displaystyle \rightarrow } |  |

* **Totuuden säilyttävä validiteetti**

Kun kaikki konjunktiolla yhdistettävät lauseet ovat tosia, konjunktio on tosi.

|  |  |  |
| --- | --- | --- |
| {\displaystyle A\land B} |     {\displaystyle \Rightarrow }     | {\displaystyle A\lor B} |
|  |     {\displaystyle \Rightarrow }     |  |
|  |  | (kokeiltava) |

* **Epätotuuden säilyttävä validiteetti**

Kun kaikki konjunktiolla yhdistettävät lauseet ovat epätosia, disjunktio on epätosi.

|  |  |  |
| --- | --- | --- |
| {\displaystyle A\land B} |     {\displaystyle \Rightarrow }     | {\displaystyle A\land B} |
|  |     {\displaystyle \Rightarrow }     |  |
| (kokeiltava) |  |  |

* **Walshin spektri: (1, -1, 1, -1)**

* **Epälineaarisuus: 1** (funktio on taivutettu)

Jos totuusarvoille käytetään binäärilukumerkintöjä 1 (tosi) ja 0 (epätosi), looginen konjunktio toimii samoin kuin näiden lukujen normaali kertolasku.

Sovellukset tietotekniikassa
----------------------------

AND-portti
Useimmissa ohjelmointikielissä on konjunktiota vastaava operaattori. Se merkitään monissa
ohjelmointikielissä varatulla sanalla `and`, mutta esimerkiksi C:ssä ja siihen pohjautuvissa ohjelmointikielissä kahdella et-merkillä (`&&`). 

Useimmissa ohjelmointi­kielissä looginen konjunktio antaa tulokseksi aina boolean-tyyppisen muuttujan, jolla on vain kaksi mahdollista arvoa: tosi (1) tai epätosi (0). Monissa vahvasti tyypitetyissä kielissä konjunktio voidaan sitä paitsi suorittaa vain, jos molemmat sillä yhdistettävät operanditkin ovat boolean-tyyppisiä. Joissakin heikosti tyypitetyissä kielissä, esimerkiksi C:ssä, konjunktio voidaan kuitenkin suorittaa silloinkin, kun operandit ovat esimerkiksi kokonais- tai reaaliluku­tyyppisiä; tällöin tuloksena on 0 (epätosi), jos ainakin jompikumpi operandi on nolla, mulloin tuloksena on 1 (tosi). Tällöin siis operandien kaikkien muiden arvon kuin nollan katsotaan vastaavan totuus­arvoa tosi.

Konjunktiota vastaava looginen portti on AND-portti.

### Biteittäinen operaatio

Joissakin ohjelmointikielissä on määritelty myös *biteittäinen konjunktio'*. Tällöin operandit,
jotka voivat olla esimerkiksi binäärisiä kokonaislukuja, käydään läpi bitti bitiltä
ja suoritetaan konjunktio-operaatiot kummankin operandin vastaavien bittien välillä. Tuloksena saadaan
muuttuja, jossa kunkin bitin arvo riippuu operandien bittien arvoista seuraavasti:

* 0 `and` 0 = 0
* 0 `and` 1 = 0
* 1 `and` 0 = 0
* 1 `and` 1 = 1

Käymällä bitit läpi esimerkiksi binääriluvuista 11001010 ja 10100011 saadaan tulokseksi 10000010.

Biteittäinen konjunktio on käytettävissä muun muassa C-kielessä, jossa se merkitään yhdellä et-merkillä (`&`).

Biteittäisellä konjunktiolla voidaan muun muassa selvittää, minkä annetussa bittijonossa on jonkin tietyn bitin arvo. Esimerkiksi laskutoimitus
`10011101 AND 00001000`
antaa tulokseksi bittijonon 00001000, joka osoittaa, että vasemmanpuoleisen luvun viidennen bitin arvo on 1.

Leikkaus
--------

Konjunktiota vastaava operaatio joukko-opissa on leikkaus. Kahden joukon leikkaus määritelläänkin konjunktion avulla: {\displaystyle a\in A\cap B}, jos ja vain jos {\displaystyle a\in A\land a\in B}. Toisin sanoen alkio *a* kuuluu joukkojen *A* ja *B* leikkaukseen, jos ja vain jos se kuuluu molempiin näistä joukoista, Tämän vuoksi joukko-opillinen leikkaus noudattaa pitkälti samoja sääntöjä kuin konjunktiokin: sillekin pätevät vaihdanta-, liitäntä-, osittelu- ja de Morganin lait.

Luonnolliset kielet
-------------------

Matemaattisessa logiikassa määritellyt käsitteet ovat merkitykseltään
erilaisia kuin luonnollisen kielen sanat yleensä ovat. Suomen kielessä loogista konjunktiota vastaa lähinnä sana kieliopillinen konjunktio *ja*. Tätä sanaa, samoin kuin sen vastineita useissa muissakin kielissä, käytetään kuitenkin myös tavoilla, jotka eivät vastaa loogisen konjunktion käsitettä. Toisinaan sillä ilmaistaan seurausta tai uhkausta, esimerkiksi: "vielä yksi sana, ja minä lähden", jonkin asian jatkamista huomattavan kauan, esimerkiksi "miettii ja miettii", tai sitä käytetään yhdistämään jonkin luvun tai määrän pienempää yksikköä suurempaan, esimerkiksi "kello 12 ja 50" (=12.50) tai Tuhannen ja yhden yön tarinat.

Katso myös
----------

* Disjunktio
* AND-portti
* Propositiologiikka
* Boolen algebra

Lähteet
-------

1. 1 2  "Conjunction", *Encyclopedia of Mathematics*. Springer, The European Mathematical Society. ISBN 978-1-55608-010-4. Teoksen verkkoversio.
2. ↑  Jósef Maria Bochenski: *A Précis of Mathematical Logic*. Otto Bird kääntänyt englanniksi ranskalaiista ja saksalaisista laitoksista. Dordrecht: D. Reidel, 1959.
3. ↑  "Ja", *Nykysuomen sanakirja, 1. osa (A-K), 11. painos*, s. 697. Suomalaisen kirjallisuuden seura, WSOY, 1989. ISBN 951-0-09105-7.

Aiheesta muualla
----------------

* Conjunction MathWorld. Viitattu 9.4.2015.

Käännös suomeksiKäännös suomeksi Tämä artikkeli tai sen osa on käännetty tai siihen on haettu tietoja muunkielisen Wikipedian artikkelista.   
Alkuperäinen artikkeli: en:Logical conjunction