Koniunkcja (logika)

Zobacz też: inne znaczenia słowa „koniunkcja”.

Koniunkcja – zdanie złożone mające postać p i q, gdzie p, q są zdaniami. W rachunku zdań koniunkcję zapisuje się symbolicznie jako: ${\displaystyle p\,\land \,q.}$ Przez koniunkcję rozumie się też zdanie mające postać ${\displaystyle p_{1}}$ i... i ${\displaystyle p_{n}.}$ Koniunkcję można zdefiniować precyzyjniej jako dwuargumentowe działanie określone w zbiorze zdań lub funkcji zdaniowych, które zdaniom p, q przyporządkowuje zdanie p i q^[1][2]. Koniunkcja dwóch zdań p i q jest zdaniem prawdziwym wtedy i tylko wtedy, gdy oba zdania p, q są zdaniami prawdziwymi^[1][2]. Niekiedy słowo koniunkcja odnosi się również do spójnika.