לוגיקה לא קלאסית Flashcards

1
Q

ערכי האמת של לוקושביץ כאשר מדובר בערך אמת לא ידוע
מה הייחוד?

A

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

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

כיצד נגדיר אמת לוגית ונביעה לוגית

A

אמת לוגית הוא נוסחה לה יש ערך אמת בכל פירוש של שפה
נביעה לוגית היא שימור ערך אמת ייעודי

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

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

לא כל נב”כ נובע מסתירה
נניח כי ערכי האמת של אלפא ושלילתה אינם ידועים
היתא שיכולה לנבוע מאלו יכולה להיות בעלת ערך אמת שקרי

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