שינויים

תרגול 2 תשעז

נוספו 96 בתים, 22:22, 27 באוקטובר 2017
/* כמתים */
===כמתים===
בנוסף, לקשרים ניתן להוסיף כמתים (quantifiers). החשובים שבהם הם הכמת "לכל" <math>\forall</math> (זו A הפוכה, קיצור המילה All) והכמת "קיים" <math>\exist</math>(זו E הפוכה, קיצור המילה Exist).
תפקיד מרכזי של הכמת הוא להבהיר את כוונת הטענה. למשל הטענה ש "סטונדט הוא יצור חרוץ" יכולה לקבל 2 משמעויות בעזרת הכמתים. או "כל סטודנט הוא יצור חרוץ" או "קיים סטודנט שהוא יצור חרוץ".
1,211
עריכות