שינויים

88-101 חשיבה מתמטית

נוספו 154 בתים, 13:11, 18 ביולי 2011
/* אם-אז */
נראה עוד כמה דוגמאות.
* "אם לסבתא היו גלגלים היא היתה אוטובוס". זהו פסוק מהצורה "אם A אז B"מעירים אותי לפני תשע, כאשר A="לסבתא יש גלגלים", ו-B="סבתא היא אוטובוסאני עצבני כל היום". בהנחה ששתי הטענות שקריותייתכן והיום לא העירו אותי לפני תשע, הפסוק עצמו הוא נכון: אז לא משנה אם אני עצבני או לא לנכונות הטענה. על מנת לבדוק את נכונות הטענה יש לוודא בלבד שכאשר מעירים אותי לפני תשע אני '''אםאכן''' היו לסבתא גלגלים אז היא היתה אוטובוסעצבני. * אם n מספר זוגי אזי קיים k כך ש 2k=n. עבור 3 הטענה השנייה אינה נכונה, אבל אין לה, כך שזה בכלל לא חשוב אם היא אוטובוס או לא; הפסוק אמיתיהטענה הכללית עדיין נכונה מכיוון שהטענה "3 הינו מספר זוגי" הינה שקרית.  '''תרגיל'''.  בדוק שאם ערך האמת של B הוא T, אז ערך האמת של "אם A אז B" הוא תמיד T. קבע מתי ערך האמת של "אם A אז B" הוא T, אם ידוע שערך האמת של B הוא F.
על טענה מהצורה "אם P אז Q" שבה ערך האמת של P הוא F, אומרים שהיא '''נכונה באופן ריק'''.
משתמש אלמוני