תוצאות החיפוש
קפיצה לניווט
קפיצה לחיפוש
כותרות דפים תואמות
- ...לים לוגיים קבועים. את הפירוש יוצקים בתורה רק כאשר בוחרים לה [[מודל (לוגיקה מתמטית)|מודל]]. בדרך כלל כוללים ברשימת האקסיומות גם את כל ה[[טאוטולוגיה (לוגיקה)|טאוטולוגיות]], שבהן מותר להציב כל פסוק. ...8 ק"ב (231 מילים) - 01:11, 14 ביוני 2024
- ...''' היא סדרה סופית <math>\ a_1,a_2,a_3,\cdots,a_n</math> של [[פסוק (לוגיקה מתמטית)|פסוקים]] במסגרת [[שפה מסדר ראשון]] נתונה, המורכבת מ[[אקסיומה|אקסיומות]] ומ ...בי "[[הוכחה]]" באופן פורמלי במסגרת תחום ה[[לוגיקה מתמטית]]. הענף של לוגיקה מתמטית העוסק בהוכחות קרוי [[תורת ההוכחות]]. ...2 ק"ב (45 מילים) - 19:23, 9 במרץ 2025
- ...ה מתמטית]], '''מודל''' של [[תורה (לוגיקה מתמטית)|תורה]] הוא [[מבנה (לוגיקה מתמטית)|מבנה]] המתאים ל[[שפה פורמלית|שפה]], שבו מתקיימות כל ה[[אקסיומה|אקסיומות]]. קיומו של מודל מוכיח שהתורה [[עקביות (לוגיקה)|עקבית]]. מאידך, [[משפט השלמות של גדל]] קובע שלכל תורה עקבית יש מודל אחד לפ ...2 ק"ב (41 מילים) - 18:27, 9 בספטמבר 2024
- ...ת [[אקסיומת הבחירה]]), ומאז נעשה שימוש בטכניקה זו כדי להוכיח את ה[[עקביות (לוגיקה)|עקביות]] והעצמאות של מאות טענות אחרות. ...כונה, נובע מכך שאי-אפשר '''להוכיח''' את הטענה, ומכאן שהיא [[עצמאות (לוגיקה מתמטית)|עצמאית]]. ...23 ק"ב (586 מילים) - 12:31, 5 במרץ 2025
- {{סימון מתמטי}}ב[[לוגיקה מתמטית]], '''מבנה''' הוא התאמה המפרשת את הביטויים של [[שפה פורמלית]] כביטויים אודו מבנה <math>\mathcal A</math> לשפה <math>L</math> מפרש כל [[פסוק (לוגיקה מתמטית)|פסוק]] בשפה כטענה אודות העולם של <math>\mathcal A</math>. [[ערך אמת|ערך הא ...14 ק"ב (745 מילים) - 07:27, 23 באוקטובר 2023
- ב[[לוגיקה מתמטית]], '''פְּרֵדִיקָט''' הוא סימול המייצג תכונה או יחס. למשל, ב[[שפה מסדר ראשון * ב[[היגיון אוטואפיסטמי|לוגיקה אוטואפיסטמית]], הדוחה את [[עקרון השלישי הנמנע|עיקרון השלישי הנמנע]], הפרדיק ...4 ק"ב (65 מילים) - 09:30, 17 באוגוסט 2024
דפים עם תוכן תואם
- ...''' היא סדרה סופית <math>\ a_1,a_2,a_3,\cdots,a_n</math> של [[פסוק (לוגיקה מתמטית)|פסוקים]] במסגרת [[שפה מסדר ראשון]] נתונה, המורכבת מ[[אקסיומה|אקסיומות]] ומ ...בי "[[הוכחה]]" באופן פורמלי במסגרת תחום ה[[לוגיקה מתמטית]]. הענף של לוגיקה מתמטית העוסק בהוכחות קרוי [[תורת ההוכחות]]. ...2 ק"ב (45 מילים) - 19:23, 9 במרץ 2025
- ...ה מתמטית]], '''מודל''' של [[תורה (לוגיקה מתמטית)|תורה]] הוא [[מבנה (לוגיקה מתמטית)|מבנה]] המתאים ל[[שפה פורמלית|שפה]], שבו מתקיימות כל ה[[אקסיומה|אקסיומות]]. קיומו של מודל מוכיח שהתורה [[עקביות (לוגיקה)|עקבית]]. מאידך, [[משפט השלמות של גדל]] קובע שלכל תורה עקבית יש מודל אחד לפ ...2 ק"ב (41 מילים) - 18:27, 9 בספטמבר 2024
- ...ה (לוגיקה מתמטית)|תורה]] '''עקבית''' היא כזו שלא נובעת ממנה [[פסוק (לוגיקה מתמטית)|טענה]] והיפוכה. בתורות לא עקביות אפשר להוכיח כל טענה (משום שמהנחות שקריות כדי להוכיח שמערכת היא עקבית, מספיק למצוא [[מודל (לוגיקה מתמטית)|מודל]] שמקיים את כל ה[[אקסיומה|אקסיומות]] של המערכת. מודל עבור תורה <math> ...3 ק"ב (27 מילים) - 09:18, 17 באוגוסט 2024
- ...[קבוצה בת מנייה|בת-מנייה]] מ[[שפה מסדר ראשון|סדר ראשון]] עם [[מודל (לוגיקה מתמטית)|מודל]] אינסופי מ[[עוצמה (מתמטיקה)|עוצמה]] <math>\kappa</math>, ולכל עוצמה ...665 בתים (14 מילים) - 01:37, 11 במאי 2018
- ...גיקה מתמטית]], '''קבוצה ניתנת להגדרה''' היא [[תת-קבוצה]] של [[מודל (לוגיקה מתמטית)|מודל]], המוגדרת על ידי נוסחה ב[[שפה מסדר ראשון|שפה]] של המודל. כלומר, זוהי [[קטגוריה:לוגיקה מתמטית]] ...1 ק"ב (30 מילים) - 02:40, 26 בנובמבר 2021
- ...ראשון]] ב[[לוגיקה מתמטית]], '''הומומורפיזם''' היא העתקה בין [[מבנה (לוגיקה מתמטית)|מבנים לוגיים]] ששומרת על [[סימן יחס|סימני היחס]] ועל [[סימן פעולה|סימני הפ [[קטגוריה:לוגיקה מתמטית]] ...1 ק"ב (115 מילים) - 09:31, 27 במאי 2020
- ...ְצְיָה'''; סימון: <math>\land </math>) הוא [[קשר לוגי]] היוצר משני [[פסוק (לוגיקה)|פסוקים]] או [[תבניות]] פסוק חדש שהוא אמיתי רק כאשר שני מרכיביו אמיתיים. אם [[קטגוריה:לוגיקה בוליאנית]] ...2 ק"ב (81 מילים) - 05:17, 21 בספטמבר 2022
- ...אמת|שקר]] (לא נכון / שגוי) נקרא '''[[סתירה (לוגיקה)|סתירה]]'''. כך, [[לא (לוגיקה)|שלילתה]] של טאוטולוגיה היא סתירה, ולהפך. [[קטגוריה:לוגיקה מתמטית]] ...3 ק"ב (35 מילים) - 20:07, 6 בינואר 2025
- ...]"; סימון: ↓) הוא [[פעולה בוליאנית]] ההפוכה ל[[קשר לוגי|קשר הלוגי]] "[[או (לוגיקה)|או]]" ([[OR לוגי]]) על אותם [[אופרנד|אופרנדים]]. כלומר A↓B הוא "[[ערך אמת| [[קטגוריה:לוגיקה מתמטית]] ...2 ק"ב (86 מילים) - 06:13, 4 במרץ 2024
- ...או ב-↑) הוא [[קשר לוגי]] המתקבל מצירוף הקשרים [[לא (לוגיקה)|לא]] עם [[וגם (לוגיקה)|וגם]], ולעיתים נקרא לפיכך "לא-וגם". ...ת]], '''NAND''' הוא [[פעולה בוליאנית]] אשר תוצאתה היא ההפך של פעולת [[וגם (לוגיקה)|AND]] על אותם אופרנדים. בהתאם לכך, ''B'' NAND ''A'' הוא "שקר" [[אם ורק אם] ...3 ק"ב (100 מילים) - 22:01, 31 באוגוסט 2023
- ...הניתוק{{הערה|{{צ-ספר|מחבר=עזריאל לוי, שמואל ברגר, דניאלה ליבוביץ|שם=לוגיקה מתמטית|מקום הוצאה=קלאוזנר, תל אביב יפו|מו"ל=האוניברסיטה הפתוחה|שנת הוצאה=|פרק=10|כ [[קטגוריה:לוגיקה מתמטית]] ...2 ק"ב (40 מילים) - 15:27, 1 במאי 2024
- '''קַשָּׁר לוגי''' הוא [[פונקציה]] המייצרת מקבוצה של [[פסוק (לוגיקה)|פסוקים]] לוגיים, או תבניות לוגיות פסוק חדש או תבנית חדשה בהתאמה. קשרים משמ ...טאוטולוגיה]] (למשל <math>a\or\neg a</math>), ופסוק שקרי תמיד נקרא [[סתירה (לוגיקה)|סתירה]] (למשל <math>a\and\neg a</math>). ...3 ק"ב (138 מילים) - 07:57, 11 בפברואר 2025
- ב[[לוגיקה מתמטית]], '''פְּרֵדִיקָט''' הוא סימול המייצג תכונה או יחס. למשל, ב[[שפה מסדר ראשון * ב[[היגיון אוטואפיסטמי|לוגיקה אוטואפיסטמית]], הדוחה את [[עקרון השלישי הנמנע|עיקרון השלישי הנמנע]], הפרדיק ...4 ק"ב (65 מילים) - 09:30, 17 באוגוסט 2024
- '''[[לוגיקה בוליאנית]]''' הוא ענף ב[[לוגיקה מתמטית]] וב[[אלגברה בוליאנית]] המקבל את שמו ממפתחה ראשון, [[ג'ורג' בול]]. ענף זה ע ...קציית ערך-בוליאני משמשת אף כפונקציה מתארת, פונקציית בוחן, [[פרדיקט (לוגיקה מתמטית)|פרדיקט]] או [[טענה|פרופוזיציה]]. ...3 ק"ב (130 מילים) - 16:46, 21 ביוני 2023
- ...לוגיקה מתמטית)|מודל]] למערכת אקסיומות, לעומת האפשרות לבנות [[הוכחה (לוגיקה מתמטית)|הוכחה]] מתוך האקסיומות. ...ך מערכת האקסיומות. בניסוח אחר, לכל [[תורה (לוגיקה מתמטית)|תורה]] [[עקביות (לוגיקה)|עקבית]] קיים מודל. הוכחת משפט השלמות היא קונסטרוקטיבית, כלומר מראה כיצד ני ...5 ק"ב (67 מילים) - 19:48, 29 בפברואר 2024
- ...ה מתמטית]], '''משפט הקריאה היחידה''' טוען כי ב[[תחשיב הפסוקים]] כל [[פסוק (לוגיקה)|פסוק]] ניתן לקריאה בצורה יחידה, כך שלא מתקבלת [[עמימות#דו-משמעות תחבירית|ד בכל [[פסוק (לוגיקה)|פסוק]], מספר ה[[סוגריים]] השמאליים שווה למספר הסוגריים הימניים. ...3 ק"ב (153 מילים) - 19:23, 4 באפריל 2024
- == לוגיקה == [[לוגיקה מתמטית|לוגיקה]] זו נובעת מ[[משפט הפירוק של הלמהולץ|משפט הלמהולץ]] אשר קובע כי ניתן להציג ...3 ק"ב (114 מילים) - 06:23, 4 בפברואר 2024
- ב[[לוגיקה]], '''כַּמָּת''' הוא סמל המציין את התחולה של המשתנה הצמוד לו. שני הכמתים הע ...י|קשרים לוגיים]] כמו "[[או (לוגיקה)|או]]", "[[לא (לוגיקה)|לא]]" או "[[וגם (לוגיקה)|וגם]]", המחברים ביניהם. שפה זו מוגבלת מטבעה, משום שהיא מסוגלת לטפל רק בטענ ...5 ק"ב (130 מילים) - 05:51, 4 ביוני 2023
- ...אר מערכת רב-ערכית שבה שלושה ערכי אמת: אמת, שקר, וערך שלישי. זאת בהשוואה ל[[לוגיקה בוליאנית]] שבה שני ערכי אמת בלבד: אמת ושקר. כמו ב[[לוגיקה בוליאנית]], ערכי האמת בלוגיקה טרינארית יכולים להיות מיוצגים נומרית באמצעות ...6 ק"ב (162 מילים) - 19:30, 14 בדצמבר 2023
- ...ְקְצְיָה''' הוא [[קשר לוגי]] [[פעולה בינארית|בינארי]], המתאים לשני [[פסוק (לוגיקה)|פסוקים]] או לשתי [[תבנית (דפוס)|תבניות]] פסוק או תבנית של [[ערך אמת]], כאש ב[[לוגיקה בוליאנית]], הקשר מיוצג באמצעות ה[[פעולה בוליאנית|פעולה הבוליאנית]] "'''OR'' ...4 ק"ב (116 מילים) - 23:34, 12 באפריל 2023