הצגת המקור של הדף "כמת"

[[קובץ:ציור.svg|שמאל|100px]]

ב[[לוגיקה]], '''כַּמָּת''' הוא סמל המציין את התחולה של המשתנה הצמוד לו. שני הכמתים העיקריים הם:
* '''לכל''' (נקרא גם '''כמת כולל'''), מסומן ב-<math>\forall</math>
* '''קיים''' (נקרא גם '''כמת ישי'''), מסומן ב- <math>\exists</math> .

==רקע==

ה[[לוגיקה מתמטית|לוגיקה המתמטית]] מאפשרת לנסח פסוקים מתמטיים באופן חד-משמעי. השפה הבסיסית לצורך זה היא [[תחשיב פסוקים|תחשיב הפסוקים]], שבו מורכב כל [[פסוק (לוגיקה מתמטית)|פסוק]] מנוסחאות יסודיות, עם [[קשר לוגי|קשרים לוגיים]] כמו "[[או (לוגיקה)|או]]", "[[לא (לוגיקה)|לא]]" או "[[וגם (לוגיקה)|וגם]]", המחברים ביניהם. שפה זו מוגבלת מטבעה, משום שהיא מסוגלת לטפל רק בטענות המתייחסות לערכים ידועים או משתנים בעלי תוכן קבוע. אפשר לנסח בתחשיב הפסוקים את הטענה "לכל חתול יש זנב", משום שהיא שקולה לפסוק "אם x הוא חתול אז ל-x יש זנב", שאותה אפשר לקרוא לכל x אפשרי בנפרד; אבל כדי לנסח טענות מורכבות יותר (כמו "לכל <math>\ \epsilon</math> קיים <math>\ N</math> כך שאם <math>\ n > N</math> אז <math>\ |a_n|<\epsilon</math>") בתחשיב הפסוקים, יש לקודד את רכיבי הטענה באופן מסובך ומסורבל הנוטל ממנה את עוקצה.

ב[[תחשיב הפרדיקטים]] הפסוקים כוללים בנוסף לקשרים של תחשיב הפסוקים, גם את הכמתים '''לכל''' ו'''קיים'''. אם <math>\ \varphi(x)</math> הוא פסוק לוגי, שערך האמת שלו עשוי להיות תלוי ב-x, משמעות הפסוק <math>\ \forall x : \varphi(x)</math> היא שהפסוק נכון לכל ערך אפשרי של x, ומשמעותו של הפסוק <math>\ \exists x : \varphi(x)</math> היא שקיים ערך של x שעבורו הפסוק נכון. מן המשמעויות האלה גוזרים את ערך האמת של הפסוק החדש בכל [[מודל (לוגיקה מתמטית)|מודל]] של השפה.

== גזירה והוכחות פורמליות ==

בכמתים, כמו בשאר הסמלים והפסוקים של שפה מסדר ראשון, מטפלים בצורה מכנית, תוך התחשבות רק בצורה ולא במשמעות. בבניה פורמלית של פסוק תקני אפשר לצרף כמת רק בשתי הצורות שהוזכרו לעיל, כאשר <math>\ \varphi</math> עצמו הוא פסוק תקני. פסוק זה נקרא "תחום הקשירה" של המשתנה x. לפי האקסיומות הכלליות של שפה מסדר ראשון, מותר להחליף את המשתנה בכל משתנה אחר, ובלבד שההחלפה עקבית בכל תחום הקשירה, ושהמשתנה החדש אינו מופיע שם. דהיינו, אין הבדל בין <math>\ \forall x: (\exists y: x+y = 0)</math> לבין <math>\ \forall z: (\exists y: z+y = 0)</math>.

== סימונים נוספים ==

אפשר, עקרונית, להסתפק רק באחד משני הכמתים, משום ש"לכל x מתקיימת התכונה P" שקול ל"לא קיים x שעבורו לא מתקיימת התכונה P". לכן <math>\ \forall x :\varphi(x) \iff \neg\exists x \neg\varphi(x)</math>.

הסימון <math>\ \exists!</math> מציין "קיים ויחיד": <math>\ \forall x: \exists! y : x+y=0</math>. גם את הכמת הזה אפשר לבטא באמצעות כמת הקיום, ולכן הוא אינו מוסיף כוח תיאורי לשפה, ומשמש לקיצור בלבד.

== היסטוריה ==
בלוגיקה של ימי הביניים הכמויות חולקו לשלוש: כל, אי אלו, ושום. כמו כן היה קיים פסוק "אי אלו A הם לא B" המשלים את האפשרויות.

דוגמה לחלוקה זאת ניתן לראות אצל ה[[רמב"ם]], בספרו [[S:מילות הגיון|מילות הגיון]], בתרגום [[משה אבן תיבון]]:

{{הדגשה|ואנחנו נקרא מה שיורה עליו המשפט מעניין הכללות והייחוד - '''כמות''' המשפט. ונקרא מה שיורה עליו מעניין החיוב והשלילה - איכות המשפט. דמיון זה, אמרנו: „'''כל''' אדם חי”, נאמר זה המשפט: '''כמותו - כללי''', ואיכותו - החיוב. וכאשר אמרנו: „'''קצת''' האדם בלתי כותב”, נאמר זה המשפט: '''כמותו - חלקי''', ואיכותו - השלילה||מילות הגיון שער ב}}

==קישורים חיצוניים==
* {{MathWorld}}

{{בקרת זהויות}}

[[קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה]]
[[קטגוריה:לוגיקה]]