גישה מהירה יותר מאשר בדפדפן!
12 יחסים: משה אבן תיבון, מודל (לוגיקה מתמטית), או (לוגיקה), פסוק (לוגיקה מתמטית), קשר לוגי, רמב"ם, תחשיב פסוקים, תחשיב הפרדיקטים, לא (לוגיקה), לוגיקה, לוגיקה מתמטית, וגם (לוגיקה).
משה אבן תיבון
משה בן שמואל אבן תיבון (נפטר ב-1283 בערך) היה מתרגם, רופא ופילוסוף במאה ה-13, בן ל.
חָדָשׁ!!: כמת ומשה אבן תיבון · ראה עוד »
מודל (לוגיקה מתמטית)
בלוגיקה מתמטית, מודל של תורה הוא מבנה המתאים לשפה, שבו מתקיימות כל האקסיומות.
חָדָשׁ!!: כמת ומודל (לוגיקה מתמטית) · ראה עוד »
או (לוגיקה)
בלוגיקה מתמטית, אוֹ או דִּיסְיוּנְקְצְיָה הוא קשר לוגי בינארי, המתאים לשני פסוקים או לשתי תבניות פסוק או תבנית של ערך אמת, כאשר לפחות אחד משני המרכיבים אמיתי.
חָדָשׁ!!: כמת ואו (לוגיקה) · ראה עוד »
פסוק (לוגיקה מתמטית)
#הפניה פסוק (לוגיקה).
חָדָשׁ!!: כמת ופסוק (לוגיקה מתמטית) · ראה עוד »
קשר לוגי
קַשָּׁר לוגי הוא פונקציה המייצרת מקבוצה של פסוקים לוגיים, או תבניות לוגיות פסוק חדש או תבנית חדשה בהתאמה.
חָדָשׁ!!: כמת וקשר לוגי · ראה עוד »
רמב"ם
רבי משה בן מימון (נולד: ד'תתצ"ח, 1138, נפטר: כ' בטבת ד'תתקס"ה, 13 בדצמבר 1204), מכונה גם בראשי תיבות רמב"ם (בערבית מוכר כמוסא בן מימון או כאבן עבד אללה, ובלשונות אירופה כמיימונידֶס) היה מגדולי הפוסקים בכל הדורות, מחשובי הפילוסופים בימי הביניים, איש אשכולות ורופא.
חָדָשׁ!!: כמת ורמב"ם · ראה עוד »
תחשיב פסוקים
#הפניה תחשיב הפסוקים.
חָדָשׁ!!: כמת ותחשיב פסוקים · ראה עוד »
תחשיב הפרדיקטים
בלוגיקה ובלוגיקה מתמטית, תחשיב פְרֶדִיקַטִים הוא מערכת פורמלית לטיפול בפסוקים הכוללים פרדיקטים (פרדיקט הוא נשוא, או תכונה, ובשפה המתמטית - יחס).
חָדָשׁ!!: כמת ותחשיב הפרדיקטים · ראה עוד »
לא (לוגיקה)
בלוגיקה מתמטית, לא או שלילה הוא קשר לוגי אונארי המתאים לכל פסוק או תבנית את הפסוק או התבנית ההפוכים במובנם ובתנאי האמת שלהם.
חָדָשׁ!!: כמת ולא (לוגיקה) · ראה עוד »
לוגיקה
לוֹגִיקָה (מיוונית: λογική. בעברית: תּוֹרַת הַהִגָּיוֹן) היא שם כולל לתורות הבוחנות קשרי היסק בין טענות תוך התבססות על אקסיומות.
חָדָשׁ!!: כמת ולוגיקה · ראה עוד »
לוגיקה מתמטית
לוגיקה מתמטית הוא תחום במתמטיקה, העוסק במערכות פורמליות ובדרך בה הן מגלמות מושגים אינטואיטיביים, כגון הוכחה או חישוביות.
חָדָשׁ!!: כמת ולוגיקה מתמטית · ראה עוד »
וגם (לוגיקה)
בלוגיקה מתמטית, חִתּוּךְ לוֹגִי (או פעולה "וגם", בלעז: קוֹנְיוּנְקְצְיָה; סימון: \land) הוא קשר לוגי היוצר משני פסוקים או תבניות פסוק חדש שהוא אמיתי רק כאשר שני מרכיביו אמיתיים.
חָדָשׁ!!: כמת ווגם (לוגיקה) · ראה עוד »
