פסוק (לוגיקה)

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

ישנן לוגיקות שונות המטפלות בתוכנם של פסוקים ממינים שונים (לדוגמה הלוגיקה מודלית המטפלת בייתכנות), אך הלוגיקה המודרנית מטפלת בעיקר בתוכנם של פסוקי חיווי (כגון "יורד גשם", או "סוקרטס שתה את כוס הרעל"). פסוק חיווי הוא אוסף סימנים (אידאליים) המבטא טענה. טענה היא תוכן היכול להיות אמיתי או שיקרי, כלומר תיאור של עובדה אפשרית. המתמטיקה למשל, עוסקת כמעט אך ורק בטענות אודות יישים מתמטים ועל כן הלוגיקה המתמטית מטפלת כמעט אך ורק בטענות, תנאי האמת שלהן, תנאי ההוכחה שלהן וכדומה, בעוד פעולות דיבור אחרות, כגון שאלות (העולות במהלך החיפוש המתמטי) אינן מטופלות במסגרתה.

יש להדגיש כי פסוק חיווי מבטא טענה גם כאשר איננו יודעים לקבוע בשום דרך האם טענה זו אכן אמתית או שקרית. החשוב הוא שהפסוק מבטא תוכן אשר יכול להיות אמיתי או שקרי. לדוגמה, הפסוק "ישנו חד קרן מחייך על כוכב צדק" מבטא טענה גם אם אין לנו שום פרוצדורה המבטיחה בירור של אמיתות או שיקריותו.

הגדרת פורמלית

תהי ${\mathcal {L}}$ שפה, ותהא $\phi$ נוסחה בשפה ${\mathcal {L}}$ . אם ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \phi} אין בה משתנים חופשיים, נאמר כי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \phi} היא פסוק.

בתחשיב פסוקים

ההגדרה הבסיסית ביותר של פסוק ניתנת במסגרת תחשיב פסוקים. השפה של תחשיב פסוקים כוללת אינסוף סימנים, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P_1, P_2, P_3,\ldots} , הקרויים "פסוקים יסודיים". יתר הפסוקים נבנים מתוכם באופן רקורסיבי לפי הכללים הבאים:

לכל n טבעי, הפסוק היסודי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P_n} הוא פסוק.
לכל פסוק הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} , הביטוי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \neg(A)} הוא פסוק, כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \neg} הוא הקשר הלוגי "לא".
לכל שני פסוקים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} , הביטוי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (A)\Box (B)} הוא פסוק, כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Box} הוא אחד מבין הסימנים $\to ,\land ,\vee ,\leftrightarrow$ המייצגים (משמאל לימין) את הקשרים הלוגיים "אם-אז", "וגם", "או" ו"אם ורק אם".
כל פסוק מתקבל מרצף פעולות סופיות של הכללים הללו.

למשל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (P_1) \to ((\neg(P_2)) \vee (P_1))} הוא פסוק.

האופי הרקורסיבי של בניית פסוקים מאפשר להוכיח עליהם משפטים באינדוקציה מבנית (המבוססת על אינדוקציה של מספרים טבעיים), לפי בניית הפסוק. אם טענה כלשהי מתקיימת לכל הפסוקים היסודיים, ואם בהינתן שהיא מתקיימת לפסוקים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} , היא מתקיימת גם לפסוקים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \neg(A)} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (A)\Box (B)} (לכל קשר לוגי), אז בהכרח הטענה מתקיימת לכל הפסוקים. למשל, כך ניתן להוכיח שאורכו של כל פסוק (מספר הסימנים שבו) משאיר שארית 1 בחלוקה ב-3.

משפט הקריאה היחידה, שמוכח באינדוקציה על בניית פסוק, מבטיח שכל פסוק ניתן לקרוא באופן יחיד, כלומר שיש רק דרך אחת לבנות אותו לפי הכללים הללו. כאשר אין חשש לבלבול בקריאה, נהוג להשתמש בכתיב בלתי פורמלי ולהשמיט סוגריים מהפסוק.

ערך האמת של פסוק נקבע על פי ערכי האמת של הפסוקים היסודיים המופיעים בו, ולפי טבלת האמת של כל קשר לוגי. למשל אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P_1} אמיתי ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P_2} שקרי, אז הפסוק הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P_1\land (\neg P_2)} (שמשמעו "הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P_1} וגם לא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P_2} ") הוא אמיתי. התאמה המתאימה ערך אמת לכל פסוק יסודי נקראת מבנה, והיא שקובעת את ערכי האמת של כל הפסוקים האפשריים בתחשיב פסוקים.

פסוק שהוא אמיתי תמיד, ללא תלות בערכי האמת של הפסוקים היסודיים המופיעים בו (כלומר אמיתי בכל מבנה; למשל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P_1 \to P_1} שאמיתי בין אם $P_{1}$ אמיתי ובין אם הוא שקרי) קרוי טאוטולוגיה. פסוק שתמיד שקרי, ללא תלות בערכי האמת של הפסוקים היסודיים המופיעים בו, קרוי סתירה.

בתחשיב יחסים

תחשיב פסוקים אינו עשיר מספיק כדי לבטא את מרבית התורות המתמטיות. לכן משתמשים בתחשיב יחסים ששפתו עשירה יותר.

פסוק הוא נוסחה ללא משתנים חופשיים.

אינטואיציה

אנו מצפים מפסוקים שיהיה להם ערך אמת יחיד וקבוע, אך לא כל הנוסחאות עונות לתנאי הזה. למשל אמיתות הנוסחא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\approx 1} תלויה בערך של x. היא אמיתית אם x הוא הקבוע 1, ושקרית אחרת. כדי לאפיין מבין הנוסחאות את אלו שהן פסוקים יש צורך להגדיר את המושג "משתנה חופשי". נאמר על כמת שהוא כימות של משתנה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} בנוסחא, אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} מופיע כתו הראשון מימין לכמת (למשל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \exists_x} ). בכל נוסחא, לאחר כימות של משתנה נפתחים סוגריים. משתנה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} בנוסחא נקרא "משתנה מכומת" אם הוא מופיע כתו הראשון מימין לכמת, או שהוא בתוך הסוגריים שנפתחים על ידי כמת המכמת אותו. משתנה שאינו מכומת נקרא "משתנה חופשי". נוסחא שבה אין משתנים חופשיים נקראת פסוק. באופן אינטואיטיבי, פסוק הוא נוסחא שמייצגת טענה כללית כלשהי, שאמיתותה אינה תלויה בערכים שמקבלים המשתנים שבה, מאחר שלא ניתן להציב ערכים במשתנים מכומתים.

דוגמאות

הנוסחה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x \approx 1} , למשל, אינה פסוק, כי המשתנה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} המופיע בה הוא משתנה חופשי. לעומת זאת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \exists_x (x\approx 1)} הוא פסוק. הפסוק אמיתי במבנה הסטנדרטי של המספרים הטבעיים (או גם של הממשיים), שכן הוא טוען שקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} כלשהו ששווה ל-1. גם הנוסחא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall_x (x\approx 1)} היא פסוק. פסוק זה שקרי במבנה הסטדנרטי, שכן הוא קובע שכל מספר שווה ל-1.
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall x\forall y (x\times y=y\times x)} - פסוק זה קובע שכפל הוא פעולה קומוטטיבית. הפסוק נכון במספרים הממשיים. הוא לא נכון, למשל, באלגברת הקווטרניונים של המילטון.
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall x\forall y\exists z(x<y \to x<z<y)} - הפסוק קובע שהסדר בקבוצה הוא סדר צפוף. הפסוק נכון במספרים הממשיים. הוא לא נכון במספרים השלמים.
$\forall x(x=x)$ - פסוק זה נכון תמיד.

תקרית הפסוק ותבנית הפסוק

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

ראו גם

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0