合取式和析取式是邏輯中的基本命題形式。
合取式,也稱為聯言命題,使用合取真值連線詞「∧」將兩個或兩個以上的命題聯結起來。只有當構成聯言命題的所有簡單命題都為真時,整個合取式才為真。常見的聯接詞包括「和」、「並且」、「而且」等。例如,「我祈禱擁有一顆透明的心靈和會流淚的眼睛」就是一個合取式,表達了對兩個條件的共同願望。
析取式,使用析取真值連線詞「∨」將兩個或兩個以上的命題聯結起來。析取式只有在構成的所有簡單命題都為假時才為假。析取式表示的是「或者」的關係,即「要麼p,要麼q,或者p和q同時為真」。
需要注意的是,並不是每次出現「和」都表示合取。例如,「李老師不僅是魔法少女,而且還擁有變身魔法棒」中,「和」連線的是兩個獨立的陳述,而不是合取式。