שינויים

תרגול 2 תשעז

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