שינויים
/* פסוקים מורכבים */
הגדרה זו היא אחת מאבני היסוד של '''הלוגיקה הפסוקית''', המטפלת בפסוקים באופן פורמלי. זהו רק '''הסוג הראשון''' של פסוקים שאנו פוגשים - בהמשך נכיר שני סוגים מתוחכמים יותר.
'''תרגיל'''. הוכח, תאר מכונה המשתמשת באינדוקציה על אורך הפסוק, שאפשר לבנות מכונה שתזהה כדי לזהות האם רצף של תווים הוא פסוק של הלוגיקה הפסוקית, או לא (הנח שהמכונה יודעת לזהות אטומים).
== טבלאות אמת ==
משתמש אלמוני
