פסוק (לוגיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ←פתיח: הצעת נישואין |
|||
שורה 11:
==הגדרת רשמית==
תהי <math> \mathcal L </math> שפה, ותהא <math> \phi </math> [[נוסחא (לוגיקה)|
==בתחשיב פסוקים==
|
מ ←פתיח: הצעת נישואין |
|||
שורה 11:
==הגדרת רשמית==
תהי <math> \mathcal L </math> שפה, ותהא <math> \phi </math> [[נוסחא (לוגיקה)|
==בתחשיב פסוקים==
|