הועלה לאתר:  
מספר עמודים: 25
הורדת המסמך בגרסה להדפסהלהורדת המסמך בשלמותו

לוגיקה - סיכום נקודות

סיכום מאת: ניר אדר

הגדרה פורמלית לתחשיב הפסוקים

אותיות השפה הינןplot:\[\left\{ { \wedge , \vee , \to ,\neg ,(,),T,F} \right\}\] וכן plot:\[\left\{ {{p_i}|i \in \mathbb{N}} \right\}\]. נגדיר את קבוצת הפסוקים באינדוקציה.

בסיס: plot:\[B = \left\{ {{p_i}|i \in \mathbb{N}} \right\} \cup \left\{ {T,F} \right\}\], כאשר plot:\[\left\{ {{p_i}|i \in \mathbb{N}} \right\}\] הינה קבוצת הפסוקים האטומיים.

קבוצת הפעולות הינה: plot:\[F = \left\{ {{f_ \vee },{f_ \wedge },{f_\neg },{f_ \to }} \right\}\] והפעולות מוגדרות בצורה הבאה:

plot:\[{f_ \wedge }\left( {\alpha ,\beta } \right) = \left( {\alpha  \wedge \beta } \right) & {f_ \vee }\left( {\alpha ,\beta } \right) = \left( {\alpha  \vee \beta } \right) & {f_ \to }\left( {\alpha ,\beta } \right) = \left( {\alpha  \to \beta } \right) & \,\,\,{f_\neg }\left( \alpha  \right) = \left( {\neg \alpha } \right)\]

קבוצת הפסוקים הינה plot:\[{X_{B,F}}\] עבור plot:\[B,F\] הנ"ל.

הגדרה: הקבוצה plot:\[WF{F_{\left\{ {F, \to } \right\}}}\] שהיא תת קבוצה של plot:\[WFF\] תוגדר בצורה הבאה:

בסיס: plot:\[B = \left\{ {{p_i}|i \in \mathbb{N}} \right\} \cup \left\{ F \right\}\]. סגור: plot:\[F = \left\{ {{f_ \to }} \right\}\]

תגיות המסמך:

לפרק הקודםיסודות
לפרק הבאעץ יצירה
מאת: bentz

תיקון

מציעה להחליף את
(a¬)
ב
a¬
שכן (a¬) אינו פסוק
מאת: משה ב

סמנטיקה
שיתוף:
| עוד