Konjunktio (logiikka)

Wikipedia
Loikkaa: valikkoon, hakuun

Konjunktio on kaksipaikkainen looginen konnektiivi, joka voidaan lukea "JA". Se saa totuusarvon tosi, mikäli sen alaan kuuluvat kaksi termiä tai kaavaa ovat molemmat totuusarvoltaan tosia.

Esimerkiksi lauselogiikan kaava "p ∧ q", jossa "∧" merkitsee konjunktiota ja "p" sekä "q" propositioita, on totuusarvoltaan tosi tietyssä mallissa, mikäli sekä "p" että "q" ovat kyseessä olevassa mallissa totuusarvoltaan tosia.