כמובן שלא כל רצף של סימנים הוא פסוק. "<math>\ )A\vee\neg\wedge)BA\neg</math>" אינו פסוק. אפשר '''להגדיר''' מהו פסוק "באינדוקציה על המבנה":
* כל פסוק הוא או אטום, או שיש לו הצורה <math>\ \neg(x)</math> כאשר x הוא פסוק, או הצורה <math>\ (x)R(y)</math>, כאשר R הוא אחד מסימני הקשרים הבינאריים, ו-x,y הם פסוקים.
הגדרה זו היא אחת מאבני היסוד של '''הלוגיקה הפסוקית''', המטפלת בפסוקים באופן פורמלי.זהו רק '''הסוג הראשון''' של פסוקים שאנו פוגשים - בהמשך נכיר שני סוגים מתוחכמים יותר. '''תרגיל'''. הוכח, באינדוקציה על אורך הפסוק, שאפשר לבנות מכונה שתזהה האם רצף של תווים הוא פסוק של הלוגיקה הפסוקית, או לא (הנח שהמכונה יודעת לזהות אטומים).
== טבלאות אמת ==