שינויים
/* 2 */
* לא ייתכן שערן ישן והשמש אינה זורחת
** <math>q \rightarrow r</math>
==2==
נגדיר את ההגדרות הבאות:
*מספר נקרא '''טרינרי''' אם הוא מתחלק ב-3
*זוג מספרים נקרא '''זוג הודי''' אם סכומם הוא טרינרי
*זוג מספרים נקרא '''צמוד היטב''' אם הוא הודי וגם אחד מבין המספרים אינו טרינרי
נסמן את ה'''פרדיקט''':
<math>p(x)</math> - המספר x מתחלק בשלוש
לדוגמא, <math>p(6)=T,p(7)=F</math>
הצרן את הפסוקים הבאים תוך שימוש בפרדיקט p:
דוגמא: המספרים a,b הם טרינריים - <math>p(a)\and p(b)</math>
*זוג המספרים a,b הוא הודי.
** <math>p(a+b)</math>
*זוג המספרים a,b צמוד היטב.
** <math>p(a+b) \and (\neg p(a) \or \neg p(b))</math>
*אם זוג המספרים a,b צמוד היטב, אזי a אינו טרינרי וגם b אינו טרינרי
** <math>(p(a+b) \and (\neg p(a) \or \neg p(b))) \rightarrow (\neg p(a) \and \neg p(b))</math>
*אם זוג המספרים a,b צמוד היטב והמספר c הוא טרינרי אזי זוג המספרים a,c אינו הודי
** <math>(p(a+b) \and (\neg p(a) \or \neg p(b)) \and p(c)) \rightarrow \neg p(a+c)</math>
*לכל מספר a, '''לפחות''' אחד מבין המספרים <math>a+1,a+2,a+3</math> הוא טרינרי
** <math>p(a+1) \or p(a+2) \or p(a+3)</math>
*לכל מספר a, '''בדיוק''' אחד מבין המספרים <math>a+1,a+2,a+3</math> הוא טרינרי
** <math>[p(a+1) \and \neg p(a+2) \and \neg p(a+3)] \or [\neg p(a+1) \and p(a+2) \and \neg p(a+3)] \or [\neg p(a+1) \and \neg p(a+2) \and p(a+3)]</math>
*המספר a אינו טרינרי
** <math>\neg p(a)</math>
*זוג המספרים a,b אינו הודי
** <math>\neg p(a+b)</math>
*זוג המספרים a,b אינו צמוד היטב
** <math>\neg p(a+b) \or (p(a) \and p(b))</math>
