רוטר - שאלה בלוגיקה מתמטית

יומן פעילות	לוח שנה	מבזקי חדשות	תקנון	RSS	כותרות	כותרות לפי תגובה	ניקוי קוקיז	IP	להורדת אפליקציה
eBay	AliExpress	GearBest	Amazon	Booking	Kiwi	SkyScanner	Trip Advisor

"שאלה בלוגיקה מתמטית"

גירסת הדפסה

קבוצות דיון לימודים, מדע ותרבות נושא #10382	מנהל סגן המנהל מפקח Winner צל"ש מומחה

אשכול מספר 10382

TuShY
חבר מתאריך 20.1.07
196 הודעות, דרג אמינות חבר זה

23:20 20.07.10

שאלה בלוגיקה מתמטית

ערכתי לאחרונה בתאריך 20.07.10 בשעה 23:26 בברכה, TuShY

שלום לכולם
אני שובר את הראש כבר כמה ימים על התרגיל הזה אבל לא מצליח להסתדר איתה
יש למישהו רעיונות או כיוון?
נתון:
c->a
~(~a->b
צל:
(c->b~)~

תודה!

שתף

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

האשכול	מחבר	תאריך כתיבה	מספר
כבר כמה ימים חח?	Deuce	20.07.10 23:56	1
תודה תודה, אבל שכחתי להוסיף עוד מידע על השאלה	TuShY	21.07.10 00:20	2
מכתב	Deuce	21.07.10 00:41	3
זה המערכת:	TuShY	21.07.10 00:51	4
גם לי לא עלה רעיון בשליפה.	Deuce	22.07.10 16:28	5

Deuce
חבר מתאריך 1.9.08
6225 הודעות, דרג אמינות חבר זה

23:56 20.07.10

1. כבר כמה ימים חח?
בתגובה להודעה מספר 0

c->a
~(~a->b
צל:
(c->b~)~

תמיד אפשר לעשות טבלת אמת, יש רק 8 מקרים.
פתרון קצר יותר - פשוט נניח את ההנחות:

c->a T
~(~a->b) T <--> ~a->b F

מהתנאי האחרון נובע:
~a = T --> a = F ; b = T

מההנחה הראשונה נובע ש-c = T.
בסה"כ נובע מההנחות כי:
a = F, b = T, c = T

ואכן נובעת המסקנה מכאן.

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

TuShY
חבר מתאריך 20.1.07
196 הודעות, דרג אמינות חבר זה

00:20 21.07.10

2. תודה תודה, אבל שכחתי להוסיף עוד מידע על השאלה
בתגובה להודעה מספר 1

צריך להוכיח את זה בעזרת מערכת פורמלית Y1. כלומר אסור להשתמש בערכים רק בחוקים אלה:
1. a->(b->a)
a->(b->y)->((a->b)->(a->y)) 2
~b->~a -> (((~b)->a))->~b)
3
4
אם קיים a וגם a->b אז b

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Deuce
חבר מתאריך 1.9.08
6225 הודעות, דרג אמינות חבר זה

00:41 21.07.10

3. מכתב
בתגובה להודעה מספר 2

לא כזה ברור לי מהי המערכת.
תוכל לרשום על דף ולסרוק?

מערכת מכילה אקסיומות וכללי היסק.
מהן האקסיומות ומהם כללי ההיסק?

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

TuShY
חבר מתאריך 20.1.07
196 הודעות, דרג אמינות חבר זה

00:51 21.07.10

4. זה המערכת:
בתגובה להודעה מספר 3

http://rotter.name/User_files/nor/4c461a62676937b9.jpg#

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Deuce
חבר מתאריך 1.9.08
6225 הודעות, דרג אמינות חבר זה

16:28 22.07.10

5. גם לי לא עלה רעיון בשליפה.
בתגובה להודעה מספר 4

זה נראה כמו משהו שצריך לשחק איתו הרבה

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד