464,969
עריכות
מ
בוט החלפות: ,
(←הצרנה של פסוקים יסודיים: הגהה) |
Matanyabot (שיחה | תרומות) מ (בוט החלפות: ,) |
||
|
לכל [[שפה (לוגיקה)|שפה]] מותאם תחשיב משלה, בהתאם לסימני הקבועים, סימני המשתנים, סימני הפונקציות וסימני היחסים שלה.
ה[[נוסחא (לוגיקה)|נוסחאות]] הן עצם היסוד של התחשיב, וכל נוסחה מסתמכת על לפחות [[נוסחא אטומית]] אחת, אם לא יותר. מכל שתי נוסחאות ניתן לבנות נוסחה המכילה כל סוג של קשר לוגי ביניהן (וגם
תפקידם של הסוגריים למנוע דו-משמעות בקריאה של המשפטים. עם זאת מקובל להשמיט את הסוגריים החיצוניים ביותר.
| |||