Yalınç bileşenlerinin bütün değerlemeleri için doğru olan bileşik önerme, yalnızca içinde geçen doğrusal eklemler gereği geçerli olan bileşik önerme, || Örn. (?) .