שינויים

קפיצה אל: ניווט, חיפוש

מכינה למתמטיקה קיץ תשעב/תרגילים/7

נוספו 871 בתים, 07:52, 29 באוגוסט 2012
/* 2 */
לדוגמא, <math>p(6)=T,p(7)=F</math>
 
 
הצרן את הפסוקים הבאים תוך שימוש בפרדיקט p:
 
דוגמא: המספרים a,b הם טרינריים - <math>p(a)\and p(b)</math>
 
 
*זוג המספרים a,b הוא הודי.
 
*זוג המספרים a,b צמוד היטב.
 
*אם זוג המספרים a,b צמוד היטב, אזי a אינו טרינרי וגם b אינו טרינרי
 
*אם זוג המספרים a,b צמוד היטב והמספר c הוא טרינרי אזי זוג המספרים a,c אינו הודי
 
*לכל מספר a, '''לפחות''' אחד מבין המספרים <math>a+1,a+2,a+3</math> הוא טרינרי
 
*לכל מספר a, '''בדיוק''' אחד מבין המספרים <math>a+1,a+2,a+3</math> הוא טרינרי
 
*המספר a אינו טרינרי
 
*זוג המספרים a,b אינו הודי
 
*זוג המספרים a,b אינו צמוד היטב