שינויים
חזרה ל[[83-116, בדידה 1 להנדסה, מערכי תרגול|דף מערכי התרגול]]. ==כמתים כַּמָּתִים ופרדיקטים==
===פרדיקטים===
===כמתים===
בנוסף, לקשרים ניתן להוסיף כמתים(quantifiers). החשובים שהם הם הכמת "לכל" <math>\forall</math> והכמת "קיים" <math>\exist</math>.
תפקיד מרכזי של הכמת הוא להבהיר את כוונת הטענה. למשל הטענה ש "סטונדט הוא יצור חרוץ" יכולה לקבל 2 משמעויות בעזרת הכמתים. או "כל סטודנט הוא יצור חרוץ" או "קיים סטודנט שהוא יצור חרוץ".
