סורקים את הפסוק משמאל לימין , עד שמגיעים לסוגר הימני הראשון . פונים לאחור וסורקים בכיוון ההפוך , עד שנתקלים בסוגר שמאלי . זהו בן הזוג של הסוגר הימני שבו עצרנו . חוזרים לסוגר הימני שבו עצרנו , ושוב סורקים קדימה עד לסוגר הימני הבא , פונים לאחור וצועדים בחזרה עד שנתקלים בסוגר שמאלי שעדין אינו משודך . זה בן הזוג של הסוגר הימני שבו עצרנו הפעם . ממשיכים באותו אופן : קדימה עד לסוגר הימני הבא ואחר-כך אחורה עד לסוגר השמאלי הפנוי הראשון שפוגשים . כך עד למיצוי כל הסוגרים הימניים . אין חשש שלמישהו מהם לא יימצא שידוך , או שאיזשהו סוגר שמאלי יישאר פנוי , שהרי מספר הסוגרים הימניים שווה למספר הסוגרים השמאליים . הנה התאמת הסוגריים לפסוק שהודגם קודם . כעת רואים , שצורת הפסוק היא (ψ . )ϕ(¬ ∧ ψ(¬ לפנינו אפוא קוניונקציה . הקשר הראשי הסימן ∧ המופיע במקום ה- . 29 שני המרכיבים הם שלילות . התאמת הסוגרים מאפשרת , כמובן , לפענח גם את המבנה של המרכיבים ϕ ו- ψ . נסו כוחכם ! אם אינכם רואים מיד , ללא שום צורך בתכסיסים , מיהו הקשר הראשי בפסוקים הבאים , התאימו סוגריים ומצאו אותו ( לצד כל פסוק מצוין מספרו הסידורי של הס...
אל הספר