שינויים

פסוקים יכולים להיות מורכבים יותר מאשר האטומים או חיבור של אטומים ע"י קשרים. המורכבות נוצרת ע"י הפעלה חוזרת של קשרים. במילים אחרות, נתייחס לכל אחד מהבאים כפסוק: א. אטומים ב. אם <math>p,q</math> פסוקים אזי <math>(p)\land (q),(p)\lor (q), (p)\to (q0q)</math> פסוקים. ג. אם <math>p</math> פסוק אזי <math>\lnot (p)</math> פסוקים.