כימות תבניות רבות משתנים חופשיים

בין כל שני מספרים שונים יש מספר שלישי לכל שני מספרים , אשר אחד מהם קטן מן האחר , יש מספר שגדול מן האחד וקטן מן האחר לכל , x לכל , y אם , x < y אז יש , z כך ש- x < z ו- z < y לכל , x לכל x < y →) ∃ <(( ∧) <( zxzzy )) , y ) ( ((( ∀ x ∀( ( ( yx < y →) ∃ (( zx < z ∧) ( z < y כאמור , כאשר תחום הדיון הוא , R הפסוק הזה הוא אמת . הפסוק הוא אמת גם כאשר תחום הדיון הוא Q ( קבוצת המספרים הרציונליים ) , אבל הוא שקר כאשר תחום הדיון הוא Z או N ( בין 1 ל- 2 אין מספרים שלמים ) . הגיעה עת התרגול . שאלה 6 . 23 תחום הדיון הוא . Z כתבו פסוק שאומר ( בלי מילים בעברית ) : שארית החילוק ב- , 3 של כל מספר שאינו מתחלק ב- , 3 היא 1 או . ' 2 התשובה בעמוד 203 שאלה 6 . 24 . ϕ = (ϕ x , y ) : ⋅ ≤ ⋅ xyxy א . תחום הדיון הוא ; R מהו ערך האמת של ((ϕ ∀? x ∀( y ( ב . תחום הדיון הוא ; N מהו ערך האמת של ((ϕ ∀? x ∀( y ( התשובה בעמוד 204 שאלה 6 . 25 ϕ = (ϕ x , y ) : x ⋅ y = 11 א . תחום הדיון הוא { ; N ר { 0 , 1 } = { 2 , 3 , 4 , … מהו ערך האמת של ((ϕ ∃? x ∃( y ( ב . תחום הדיון הוא ; N מהו ערך האמת של ((ϕ ∃? x ∃( y ( התשובה בעמוד...  אל הספר
האוניברסיטה הפתוחה