"נביעה לוגית" במתמטיקה בדידה... מה הפירוש של זה?


תודה לעוזרים

"עדיף לשתוק ולהחשב לטיפש מאשר לפתוח את הפה ולהוכיח שזה נכון"

האם טענה מסויימת "נובעת" מהנחות יסוד

לדוגמא:
A="אם תאכל מרק תהיה חזק"
B="כל אמא מאכילה את בנה/בתה מרק"
C="יש לך אמא"

נובע משלושתם:
D="תהיה חזק"

כלומר:
A,B,C=>D

אבל לא נובע מהם לדוגמא: E="אמא אוכלת מרק"

האמת שיש עוד הנחות יסוד שלא ציינתי כגון: "אם יש לך אמא אז אתה בנה/בתה".... אבל חפיף....



עוד דוגמא (סתם כי אני נחמד.. ):
A="יש סוסים שמדברים עברית" (לא כמו השיר...)
B="גיורא סוס"
C="גיורא מדבר עברית"

במקרה הזה C לא נובע מ-A ו-B כיוון שזה שגיורא סוס לא אומר בהכרח שהוא דובר עברית ("יש סוסים שמדברים עברית" אבל לא בהכרח כולם)

B לא נובע מ-A ו-C כיוון שזה שגיורא מדבר עברית לא אומר שהוא סוס ("יש סוסים שמדברים עברית" אבל לא רק הם)

לעומת זאת A נובע מ-B ו-C כי אם גיורא סוס וגיורא מדבר עברית אז יש לפחות סוס אחד שמדבר עברית, והוא גיורא. (גם פה ישנם חוסר דיוקים כיוון ש-A מדבר על סוסים ומיעוט רבים הוא 2...)


וסתם שאלה, מה חשבת לעצמך כששאלת את זה קודם במשבראש??

תוספים לפורום
קורס לטינית בלעדי לפרש, בפורום שפות ובלשנות.

תודה הסבר ממש טוב


ואין לי שמץ למה.. מזל שרומק שלח אותי לכאן מהר

"עדיף לשתוק ולהחשב לטיפש מאשר לפתוח את הפה ולהוכיח שזה נכון"

את מוזמנת תמיד..

אז מה, רומק המליץ עלי?

תוספים לפורום
קורס לטינית בלעדי לפרש, בפורום שפות ובלשנות.

חחח רומק הוא שלנו ולא ניתן אותו!

"עדיף לשתוק ולהחשב לטיפש מאשר לפתוח את הפה ולהוכיח שזה נכון"