-
אנטינומיה
כל מה שרצית לדעת על אנטינומיה:בלוגיקה ובאפיסטמולוגיה, אנטינומיה (מיוונית: אנטי=נגד, נומוס=חוק) היא סתירה פנימית שאינה ניתנת ליישוב בתוך המערכת הלוגית שבה נוצרה. נלקח מויקיפדיה הגדרות נוספות הקשורות לאנטינומיה:•תורת ההכרה•לוגיקה
-
הוכחה
כל מה שרצית לדעת על הוכחה:במתמטיקה ובלוגיקה הוכחה היא סדרה סופית של טענות הנובעות זו מזו בעזרת כללי היסק, תוך שימוש בהגדרות, באקסיומות, ובידע קודם שהוכח קודם לכן, המראה שטענה מסוימת היא נכונה.הפרכה של טענה מהווה גם היא הוכחה – הוכחה שטענה זו אינה נכונה (כלומר ששלילתה של הטענה היא נכונה). טענה שטרם זכתה להוכחה…
-
אנדריי מארגה
כל מה שרצית לדעת על אנדריי מארגה:אנדריי מארגה (ברומנית: Andrei Marga נולד ב- 22 במאי 1946 בבוקרשט) הוא פילוסוף, פוליטולוג ופוליטיקאי רומני, היה שר החוץ של רומניה בשנת 2012 ושר החינוך שלה בשנים 2000-1997, כמו כן כיהן פעמיים כרקטור אוניברסיטת קלוז'-נפוקה (האוניברסיטה באבש-בויאי), ב-1993-2004 וב-2008-2012, הוא פרופסור לפילוסופיה בת זמננו וללוגיקה באוניברסיטה זו. נלקח מויקיפדיה…
-
ליאור שמיר
כל מה שרצית לדעת על ליאור שמיר:ליאור שמיר (נולד ב-20 במרץ 1972) הוא פרופסור משנה (assistant professor) למדעי המחשב באוניברסיטת לורנס טק במישיגן ארצות הברית.שמיר נולד ברמת גן וגדל בקריית אונו.למד בתיכון "בן צבי" שבקרית אונו, שירת בצה"ל כלוחם וקצין ביחידה מובחרת. למד לתואר ראשון במדעי המחשב באוניברסיטת תל אביב ולתואר שני במדעי המחשב באוניברסיטה…
-
נוסחה אטומית
כל מה שרצית לדעת על נוסחה אטומית:בהינתן שפה L {\displaystyle {\mathcal {L}}} , נוסחה אטומית בשפה היא הפעלת אחד מבין סימני היחס על שמות העצם של השפה, כאשר כל שם עצם הוא שם משתנה או שם קבוע. נלקח מויקיפדיה הגדרות נוספות הקשורות לנוסחה אטומית:•קצרמר מתמטיקה•לוגיקה
-
קיום ויחידות
כל מה שרצית לדעת על קיום ויחידות:במתמטיקה, קיום ויחידוּת הוא מונח המציין כי קיים עצם מתמטי יחיד המקיים הגדרה נתונה.לדוגמה, נגדיר "מספר סופר-תאום" שהוא מספר המשתתף בשני זוגות של ראשוניים תאומים. תחילה נוכיח כי קיום של מספר כזה על ידי כך שנצביע על מקרה מפורש: 5 הוא סופר תאום כי (3,5) ו-(5,7) שניהם זוגות של…
-
יחס רפלקסיבי
כל מה שרצית לדעת על יחס רפלקסיבי:בלוגיקה ובמתמטיקה, יחס בינארי R {\displaystyle \ R} מעל קבוצה X {\displaystyle \ X} הוא יחס רפלקסיבי אם עבור כל איבר a {\displaystyle \ a} בקבוצה X {\displaystyle \ X} , נמצא a {\displaystyle \ a} ביחס עם עצמו, כלומר, a R a…
-
XOR
כל מה שרצית לדעת על XOR:באלגברה בוליאנית, או בררני או או מוציא (באנגלית: eXclusive OR ובראשי תיבות: XOR (לפי האקדמיה, מבוטא: "אֶקְסוֹר"; אך בפי רוב, מקוצר לעיתים קרובות ל"קְסוֹר")) היא פעולה בוליאנית המקבלת שני אופרנדים ומחזירה אמת כאשר שני האופרנדים שונים. קסור משקפת משמעות נפוצה של המילה "או" בשפה המדוברת, למשל כשהמילה "או" משמשת להצבת…
-
כמת
כל מה שרצית לדעת על כמת:בלוגיקה, כמת הוא סמל המציין את התחולה של המשתנה הצמוד לו. שני הכמתים העיקריים הם:לכל (נקרא גם כמת כולל), מסומן ב- ∀ {\displaystyle \forall } קיים (נקרא גם כמת ישי), מסומן ב- ∃ {\displaystyle \exists } . נלקח מויקיפדיה הגדרות נוספות הקשורות לכמת:•לוגיקה
-
באופן ריק
כל מה שרצית לדעת על באופן ריק:טענה במתמטיקה נכונה באופן ריק אם נכונותה אינה עומדת כלל למבחן, משום שהיא עוסקת באובייקטים שאינם קיימים. לדוגמה, "אם מספר ראשוני מתחלק ב-6 אז הוא כפולה של 10". הטענה נכונה, מכיוון שאין ראשוניים שמתחלקים ב-6.נכונותו הפורמלית של השימוש ב"באופן ריק" נובעת מתכונתו של קשר הגרירה בלוגיקה. קשר הגרירה …