Konjunktsioon
Konjunktsioon ehk loogiline korrutamine ehk "ning" on üks binaarne loogikatehe lauseloogikat sisaldavates sümbolloogika süsteemides. Konjunktsioon ehk loogiline korrutamine on binaarne loogikatehe: lausete A ja B konjunktsioon A ∧ {\displaystyle \land } B loetakse tõeseks parajasti siis, kui laused A ja B on mõlemad tõesed ning vääraks kõigil muudel juhtudel. "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: loomulikus keeles on konjunktsiooniga kõige sarnasem sõna "ja" või "ning"; hulgateoorias – ühisosa; predikaatloogikas – üldisuskvantor. Konjunktsiooni ja eituse abil on võimalik esitada kõik ülejäänud loogikatehted.