כמת – הבדלי גרסאות

נוספו 18 בתים ,  לפני 9 שנים
מ-\phi ל-\varphi
אין תקציר עריכה
(מ-\phi ל-\varphi)
ה[[לוגיקה מתמטית|לוגיקה המתמטית]] מאפשרת לנסח פסוקים מתמטיים באופן חד-משמעי. השפה הבסיסית לצורך זה היא [[תחשיב פסוקים|תחשיב הפסוקים]], שבו מורכב כל [[פסוק (לוגיקה מתמטית)|פסוק]] מנוסחאות יסודיות, עם [[קשר לוגי|קשרים לוגיים]] כמו "[[או (לוגיקה)|או]]", "[[לא (לוגיקה)|לא]]" או "[[וגם (לוגיקה)|וגם]]", המחברים ביניהם. שפה זו מוגבלת מטבעה, משום שהיא מסוגלת לטפל רק בטענות המתייחסות לערכים ידועים או משתנים בעלי תוכן קבוע. אפשר לנסח בתחשיב הפסוקים את הטענה "לכל חתול יש זנב", משום שהיא שקולה לפסוק "אם x הוא חתול אז ל-x יש זנב", שאותה אפשר לקרוא לכל x אפשרי בנפרד; אבל כדי לנסח טענות מורכבות יותר (כמו "לכל <math>\ \epsilon</math> קיים <math>\ N</math> כך שאם <math>\ n > N</math> אז <math>\ |a_n|<\epsilon</math>") בתחשיב הפסוקים, יש לקודד את רכיבי הטענה באופן מסובך ומסורבל הנוטל ממנה את עוקצה.
 
ב[[שפה מסדר ראשון]] הפסוקים כוללים בנוסף לקשרים של תחשיב הפסוקים, גם את הכמתים '''לכל''' ו'''קיים'''. אם <math>\ \phivarphi(x)</math> הוא פסוק לוגי, שערך האמת שלו עשוי להיות תלוי ב-x, משמעות הפסוק <math>\ \forall x : \phivarphi(x)</math> היא שהפסוק נכון לכל ערך אפשרי של x, ומשמעותו של הפסוק <math>\ \exists x : \phivarphi(x)</math> היא שקיים ערך של x שעבורו הפסוק נכון. מן המשמעויות האלה גוזרים את ערך האמת של הפסוק החדש בכל [[מודל (לוגיקה מתמטית)|מודל]] של השפה.
 
== גזירה והוכחות פורמליות ==
 
בכמתים, כמו בשאר הסמלים והפסוקים של שפה מסדר ראשון, מטפלים בצורה מכנית, תוך התחשבות רק בצורה ולא במשמעות. בבניה פורמלית של פסוק תקני אפשר לצרף כמת רק בשתי הצורות שהוזכרו לעיל, כאשר <math>\ \phivarphi</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 :\phivarphi(x) \iff \neg\exists x \neg\phivarphi(x)</math>.
 
הסימון <math>\ \exists!</math> מציין "קיים ויחיד": <math>\ \forall x: \exists! y : x+y=0</math>. גם את הכמת הזה אפשר לבטא באמצעות כמת הקיום, ולכן הוא אינו מוסיף כוח תיאורי לשפה, ומשמש לקיצור בלבד.
משתמש אלמוני