צירוף תבניות בעזרת קשרים

בעולם , ( U ≠ )∅ U צירוף תבניות בעזרת קשרים פסוקיים מניב תבניות חדשות . ערכי האמת של תבניות כאלה לערכים נתונים של המשתנים שלהן , נקבעים מתוך ערכי האמת של המרכיבים : ב- Z למשל , כאשר ' x זוגי ' : ( P ( x ' x מתחלק ב- Q ( x ) : ' 3 הקוניונקציה ( (ϕ x ) : P ( x ) ∧ ( Qx היא התבנית האומרת : x ' זוגי ומתחלק ב- (ϕ x ) : ' 3 התבנית הזאת היא אמת רק לערכים של x שעבורם שני מרכיביה הם אמת . ( (ϕ 2 הוא שקר כי ( Q ( 2 הוא שקר ( 2 אינו מתחלק ב- (ϕ 3 ) (; 3 הוא שקר כי ( P ( 3 הוא שקר ( 3 אינו זוגי ); ( (ϕ 6 הוא אמת כי ( P ( 6 ו- ( Q ( 6 שניהם אמת ( 6 גם זוגי , גם מתחלק ב- . ( 3 קבוצת האמת של ( (ϕ x ב- Z היא קבוצת המספרים השלמים שהם זוגיים ומתחלקים ב- . 3 אלה המספרים השלמים המתחלקים ב- . 6  To the book