İki veya daha fazla basit önermenin mantıksal bağlaçlarla (ve/veya/ise vb.) birleştirilmiş hâlidir.