Brainscape's Knowledge GenomeTM

Browse over 1 million classes created by top students, professors, publishers, and experts.


See full index

Advanced logic > הסמנטיקה (משפט הנאותות והשלמות) באג"ח > Flashcards

הסמנטיקה (משפט הנאותות והשלמות) באג"ח Flashcards

1
Q

עוצמת השפה ולמה?

A

עוצמת השפה היא כעוצמת הטבעיים א אפס

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

פירוש השפה

A

התאמת ערך אמת לכל פסוק אטומי(פונקצייה)
פירוש נבכ”ים לפי הפירושים של הפסוקים
יש 2 בחזקת א אפס פירושים לשפה

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

מודל של קבוצת נבכ”ים

A

פירוש השפה בו כל איברי הקבוצה אמיתיים

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

נביעה לוגית

A

נב”כ אלפא ינבע לוגית אםם הוא אמיתי בכל מודל (אמיתיים) של קבוצות נבכ”ים

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

אמת לוגית

A

אמיתי בכל פירוש של השפה

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

כמה מודלים יש לקבוצת הנבכי”ם הבאה:
אם א אז א

A

2 בחזקת א אפס מודלים

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

דוגמא לנאותות ושלמות

A

בדיקת קורונה חיובית
הבדיקה עצמה נאותה, ולכן אם הפירוש חיבוי אתם חולים
אם הבדיקה שלילית אין לך קורונה(הבדיקה היא שלמה)

הרעיון הוא שאין חיובי או שלילי מזוייף - שאלה במבחן עליי

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

משפט הנאותות

A

אם אלפא יכיח מקבוצת נבכ”ים אז הוא נובע לוגית מהן
משפט שקול(הנחת הראשון תוביל לשני):
אם לקבוצת נבכ”ים יש מודל אז הקבוצה עקבית

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

משפט הנאותות דרך הוכחה

A

נוכיח בשלילה
על ידי בחינה של הנב”כ האחרון בסדרת הנבכ”ים שאינו נובע לוגית(הסדרה הכי קצרה)
אקסיומה - אמת לוגית
איבר בקבוצת הנבכ”ים ומכאן אמיתי בכל מודל (ככה הגדרנו) ולכן נובע לוגית
(תכונת הרישא )מודוס פוננס על שני נבכ”ים קודמים - אלו יהיו אמיתיים לפי צורת ההגדרה ובהינתן מודל

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

משפט השלמות

A

לכלכ קבוצה עקבית של נבכ”ים יש מודל
אם אלפא נובע לוגית מקבוצת נבכ”ים אז הוא יכח מהן

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

קבוצה שלמה

A

קבוצת נבכים היא שלמה אםם ניתן להוכיח ממנה כל דבר או שלילתו

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

משפט השלמות דרך הוכחה

A

נוכיח שלכל קבוצה עקבית ושלמה יש מודל
נוכיח שכל תת קבוצה של קבוצה עקבית ושלמה היא עקבית

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

משפט השלמות טענה 1 (הוכחה)

A

נוכיח באינדוקציה
עקרון האינדוקציה הוא שקבוצת נבכ”ים תקיים שלמות. נוכיח שהקבוצה אינדוקטיבית
בסיס האינדוקציה הוא הקיום לכל פסור אטומי (שעומד כי כך הגדרנו אותו)
צעד האינדוקציה יתבסס על בניית נב”כ ויתחלק לגלילה וחיצוי והוכחה דו כיוונית

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

משפט השלמות טענה 2(הוכחה)

A

לא היה לי כח גיזס

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

משפט הקומפקטיות

A

המשפט נובע משלמות ונאותות
וטוען כי:
אם אלפא נובע מקבוצת נבכ”ים אז ישנה תת קבוצה סופית של קבוצת הנבכים ממנה הוא נובע

בנוסח אחר
אם לכל תת קבוצה של גמא יש מודל אז לגמא יש מודל

How well did you know this?
1
Not at all
2
3
4
5
Perfectly

Advanced logic (14 decks)

Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions