גישה מהירה יותר מאשר בדפדפן!
16 יחסים: מקרה פרטי, מה שהצב אמר לאכילס, מודוס טולנס, אם-אז, אינדוקציה מתמטית, אישור הסוגר, פרינקיפיה מתמטיקה (ראסל), קונטרה פוזיטיב, תחשיב הפסוקים, תורת ההוכחות, טיעון, גדל, אשר, באך, הפרדוקס של קרי, הוכחה (לוגיקה מתמטית), הכחשת הפותח, כלל היסק.
מקרה פרטי
בלוגיקה (ובמתמטיקה), מתייחס המונח מקרה פרטי לאחד משני מצבים:;מקרה יחיד זהו מצב בו נתונות שתי טענות מהתבנית הבאה.
חָדָשׁ!!: מודוס פוננס ומקרה פרטי · ראה עוד »
מה שהצב אמר לאכילס
איור של אכילס והצב מה שהצב אמר לאכילס (באנגלית: What the Tortoise Said to Achilles) הוא דיאלוג הומוריסטי באופיו מאת לואיס קרול שנכתב בשנת 1895 עבור כתב העת Mind, ומצביע על בעיות יסוד בלוגיקה ובפילוסופיה של הנפש.
חָדָשׁ!!: מודוס פוננס ומה שהצב אמר לאכילס · ראה עוד »
מודוס טולנס
מודוס טוֹלֶנְס (Modus tollens), בלוגיקה, הוא כלל היסק שמאפשר להסיק משני הנתונים הבאים.
חָדָשׁ!!: מודוס פוננס ומודוס טולנס · ראה עוד »
אם-אז
אם-אז או קַשָּׁר הגרירה או אימפליקציה מטריאלית הוא קשר לוגי בלוגיקה מתמטית, שמסומן באמצעות \to.
חָדָשׁ!!: מודוס פוננס ואם-אז · ראה עוד »
אינדוקציה מתמטית
גישת האינדוקציה המתמטית מומחשת לעיתים באמצעות האפקט הסדרתי של אבני דומינו נופלות. אינדוקציה מתמטית היא שיטה לוגית המאפשרת להוכיח שתכונה מסוימת משותפת לכל המספרים הטבעיים.
חָדָשׁ!!: מודוס פוננס ואינדוקציה מתמטית · ראה עוד »
אישור הסוגר
אישור הסוגר הוא כשל לוגי מסוג נון סקוויטור הבא בצורת טענה היפותטית.
חָדָשׁ!!: מודוס פוננס ואישור הסוגר · ראה עוד »
פרינקיפיה מתמטיקה (ראסל)
ברטראנד ראסל, 1954 54.43* "מהנחה זו נובע, לאחר שהוגדר החיבור האריתמטי, ש-2.
חָדָשׁ!!: מודוס פוננס ופרינקיפיה מתמטיקה (ראסל) · ראה עוד »
קונטרה פוזיטיב
בלוגיקה, עקרון הקונטרה פוזיטיב (באנגלית: Contrapositive) קובע שמצב שבו טענה \alpha גוררת לוגית מסקנה \beta, שקול טאוטולוגית למצב בו שלילת המסקנה \neg\beta גוררת את שלילת הטענה המקורית \neg\alpha.
חָדָשׁ!!: מודוס פוננס וקונטרה פוזיטיב · ראה עוד »
תחשיב הפסוקים
בלוגיקה ובלוגיקה מתמטית, תחשיב פסוקים (באנגלית: Propositional calculus, Propositional logic או Sentential calculus) הוא מערכת מובנית (פורמליסטית), המאפשרת לייצג את הקַשַּרים הלוגיים בין ערכי האמת של פסוקים לוגיים שונים, ולהסיק את תקפותן ההגיונית (לוגית) של טענות.
חָדָשׁ!!: מודוס פוננס ותחשיב הפסוקים · ראה עוד »
תורת ההוכחות
תורת ההוכחות היא ענף בלוגיקה מתמטית החוקר את מושג ההוכחה הפורמלית, באופן שאינו תלוי בתוכנו של הטיעון, אלא במבנה שלו ושל ההוכחה בלבד.
חָדָשׁ!!: מודוס פוננס ותורת ההוכחות · ראה עוד »
טיעון
טיעון (בלועזית: אַרְגּוּמֵנְט) הוא רצף של הנחות ומסקנה שבו נעשה ניסיון לביסוס אמיתותה של טענה אחת (המסקנה) על סמך אמיתותן של טענה אחרת או יותר (ההנחות).
חָדָשׁ!!: מודוס פוננס וטיעון · ראה עוד »
גדל, אשר, באך
גדל, אשר, באך, או בשמו המלא "גדל, אשר, באך: גביש בן אלמוות: פוגה מטאפורית על נפשות ומכונות ברוח לואיס קרול" (באנגלית: Gödel, Escher, Bach: an Eternal Golden Braid: A metaphorical fugue on minds and machines in the spirit of Lewis Caroll), הוא ספר עיון מאת דאגלס הופשטטר, העוסק בשאלות מתמטיות ופילוסופיות, אך גם בנושאים רבים הנוגעים לאמנות, לוגיקה, גנטיקה, מוזיקה ומדעי המחשב.
חָדָשׁ!!: מודוס פוננס וגדל, אשר, באך · ראה עוד »
הפרדוקס של קרי
הפרדוקס של קרי (Curry's paradox) הוא פרדוקס ממשפחת הפרדוקסים של התייחסות עצמית, הכוללת גם את פרדוקס השקרן ואת הפרדוקס של ראסל.
חָדָשׁ!!: מודוס פוננס והפרדוקס של קרי · ראה עוד »
הוכחה (לוגיקה מתמטית)
בלוגיקה מתמטית, הוכחה היא סדרה סופית \ a_1,a_2,a_3,\cdots,a_n של פסוקים במסגרת שפת תחשיב יחסים נתונה, המורכבת מאקסיומות ומגזירות באמצעות כלל היסק (לרוב מודוס פוננס): לכל \ 1\leq i \leq n, \ a_i היא אקסיומה, או שקיימים \ i_1,\ldots,i_k כך ש-a_i נגזר מ-a_,\ldots, a_ לפי אחד מכללי ההיסק.
חָדָשׁ!!: מודוס פוננס והוכחה (לוגיקה מתמטית) · ראה עוד »
הכחשת הפותח
הכחשת הפותח היא כשל לוגי מסוג נון סקוויטור, שבו במשפט תנאי מכחישים את חלק הפותח (החלק בעל המילה "אם") כדי להגיע למסקנה שחלק התוצאה (הנפתח במילה "אזי") שגוי.
חָדָשׁ!!: מודוס פוננס והכחשת הפותח · ראה עוד »
כלל היסק
כְּלָלֵי הֶסֵּק (באנגלית: Inference rules, או Rules of inference) הם הכללים הבסיסיים ביותר בלוגיקה ובמתמטיקה, הקובעים מתי מותר לעבור מטענה אחת לטענה אחרת, כלומר להסיק או להוכיח אותה.
חָדָשׁ!!: מודוס פוננס וכלל היסק · ראה עוד »
