גישה מהירה יותר מאשר בדפדפן!
25 יחסים: XOR, אמיל פוסט, אם ורק אם, אם-אז, אלגברה בוליאנית, או (לוגיקה), ערך אמת, פעולה בוליאנית, פונקציה, צ'ארלס פרס, קשר לוגי, שנות ה-80 של המאה ה-19, שקילות (לוגיקה), תקפות (לוגיקה), תחשיב הפסוקים, לא (לוגיקה), לוגיקה בוליאנית, לודוויג ויטגנשטיין, טאוטולוגיה (לוגיקה), טבלה, ביטוי (מתמטיקה), גוטלוב פרגה, היסק, וגם (לוגיקה), 1922.
XOR
באלגברה בוליאנית, או בררני או או מוציא (באנגלית: eXclusive OR ובראשי תיבות: XOR) היא פעולה בוליאנית המקבלת שני אופרנדים ומחזירה אמת כאשר שני האופרנדים שונים.
חָדָשׁ!!: טבלת אמת וXOR · ראה עוד »
אמיל פוסט
פרופ' אמיל לאון פּוֹסְט (באנגלית: Emil Leon Post; 11 בפברואר 1897 - 21 באפריל 1954) היה מתמטיקאי ולוגיקן יהודי אמריקאי.
חָדָשׁ!!: טבלת אמת ואמיל פוסט · ראה עוד »
אם ורק אם
אם ורק אם (ראשי תיבות: אמ"ם) או "אימוּם" (בלשון חז"ל: תנאי כפול, וסימונו בלוגיקה פורמלית: \Leftrightarrow, \leftrightarrow או ≡) בתחום הלוגיקה המתמטית הוא קַשָּׁר לוגי בין שתי טענות השקולות זו לזו במובן שכל אחת אמיתית כשהשנייה אמיתית, אך אם אחת אינה אמיתית גם השנייה שגויה.
חָדָשׁ!!: טבלת אמת ואם ורק אם · ראה עוד »
אם-אז
אם-אז או קַשָּׁר הגרירה או אימפליקציה מטריאלית הוא קשר לוגי בלוגיקה מתמטית, שמסומן באמצעות \to.
חָדָשׁ!!: טבלת אמת ואם-אז · ראה עוד »
אלגברה בוליאנית
אלגברה בוליאנית היא התחום המתמטי העוסק במבנים האלגבריים הקרויים "אלגברה בוליאנית", ובנושאים הקשורים לכך.
חָדָשׁ!!: טבלת אמת ואלגברה בוליאנית · ראה עוד »
או (לוגיקה)
בלוגיקה מתמטית, אוֹ או דִּיסְיוּנְקְצְיָה הוא קשר לוגי בינארי, המתאים לשני פסוקים או לשתי תבניות פסוק או תבנית של ערך אמת, כאשר לפחות אחד משני המרכיבים אמיתי.
חָדָשׁ!!: טבלת אמת ואו (לוגיקה) · ראה עוד »
ערך אמת
ערך אמת הוא מונח בו משתמשים בלוגיקה והוא מציין את הערך שביטוי מסוים יכול לקבל.
חָדָשׁ!!: טבלת אמת וערך אמת · ראה עוד »
פעולה בוליאנית
פעולה בוליאנית היא פעולה הפועלת על קבוצה שבה שני איברים בלבד: שקר ואמת (או 0 ו-1).
חָדָשׁ!!: טבלת אמת ופעולה בוליאנית · ראה עוד »
פונקציה
פונקציה המתאימה לכל צורה את הצבע שלה פונקציה היא התאמה המשייכת לכל איבר בקבוצה אחת, איבר יחיד בקבוצה שנייה. במתמטיקה, פוּנְקְצִיָּה (נקראת גם העתקה) היא התאמה, המשייכת לכל איבר בקבוצה אחת, איבר יחיד בקבוצה שנייה.
חָדָשׁ!!: טבלת אמת ופונקציה · ראה עוד »
צ'ארלס פרס
צ'ארלס סנדרס פֶּרְס (באנגלית: Charles Sanders Peirce; 10 בספטמבר 1839 – 19 באפריל 1914) היה לוגיקן, פילוסוף, מתמטיקאי וסטטיסטיקאי-תאורטיקן אמריקאי.
חָדָשׁ!!: טבלת אמת וצ'ארלס פרס · ראה עוד »
קשר לוגי
קַשָּׁר לוגי הוא פונקציה המייצרת מקבוצה של פסוקים לוגיים, או תבניות לוגיות פסוק חדש או תבנית חדשה בהתאמה.
חָדָשׁ!!: טבלת אמת וקשר לוגי · ראה עוד »
שנות ה-80 של המאה ה-19
התקוממות לאומנית נגד תאופיק פאשא. שנות השמונים של המאה התשע עשרה היו העשור התשיעי של המאה ה-19, החלו ב־1 בינואר 1880 והסתיימו ב־31 בדצמבר 1889.
חָדָשׁ!!: טבלת אמת ושנות ה-80 של המאה ה-19 · ראה עוד »
שקילות (לוגיקה)
שתי טענות ייקראו שקולות, אם בכל תנאי אמת שאחת מהן אמיתית בו, גם השנייה אמיתית, ולהפך.
חָדָשׁ!!: טבלת אמת ושקילות (לוגיקה) · ראה עוד »
תקפות (לוגיקה)
בלוגיקה, טיעון תקף (באנגלית: Valid) הוא טיעון שבו המסקנה נובעת מן ההנחות.
חָדָשׁ!!: טבלת אמת ותקפות (לוגיקה) · ראה עוד »
תחשיב הפסוקים
בלוגיקה ובלוגיקה מתמטית, תחשיב פסוקים (באנגלית: Propositional calculus, Propositional logic או Sentential calculus) הוא מערכת מובנית (פורמליסטית), המאפשרת לייצג את הקַשַּרים הלוגיים בין ערכי האמת של פסוקים לוגיים שונים, ולהסיק את תקפותן ההגיונית (לוגית) של טענות.
חָדָשׁ!!: טבלת אמת ותחשיב הפסוקים · ראה עוד »
לא (לוגיקה)
בלוגיקה מתמטית, לא או שלילה הוא קשר לוגי אונארי המתאים לכל פסוק או תבנית את הפסוק או התבנית ההפוכים במובנם ובתנאי האמת שלהם.
חָדָשׁ!!: טבלת אמת ולא (לוגיקה) · ראה עוד »
לוגיקה בוליאנית
לוגיקה בּוּליאנית הוא ענף בלוגיקה מתמטית ובאלגברה בוליאנית המקבל את שמו ממפתחה הראשון, ג'ורג' בול.
חָדָשׁ!!: טבלת אמת ולוגיקה בוליאנית · ראה עוד »
לודוויג ויטגנשטיין
לודוויג ויטגנשטיין (בגרמנית: Ludwig Wittgenstein; 26 באפריל 1889 – 29 באפריל 1951) היה פילוסוף אוסטרי-בריטי ממוצא יהודי.
חָדָשׁ!!: טבלת אמת ולודוויג ויטגנשטיין · ראה עוד »
טאוטולוגיה (לוגיקה)
בלוגיקה, טָאוּטוֹלוֹגְיָה (מיוונית: Ταυτολογία; "ταὐτός", אותו דבר, ו-"λόγος", הסבר) היא פסוק שהוא תמיד אמת (נכון) בכל מבנה.
חָדָשׁ!!: טבלת אמת וטאוטולוגיה (לוגיקה) · ראה עוד »
טבלה
טַבלָה היא אוסף של ערכים טקסטואליים ומספריים של פרטי מידע, המוצגים בצורה מסודרת בחלוקה לטורים ושורות, כאשר כל טור ושורה נושאים כותרת המגדירה את תוכנם.
חָדָשׁ!!: טבלת אמת וטבלה · ראה עוד »
ביטוי (מתמטיקה)
במתמטיקה, ביטוי הוא רצף סופי של סימנים בעלי משמעות מתמטית.
חָדָשׁ!!: טבלת אמת וביטוי (מתמטיקה) · ראה עוד »
גוטלוב פרגה
פרידריך לודוויג גוֹטְלוֹבּ פְרֶגֶה (בגרמנית: Friedrich Ludwig Gottlob Frege; 8 בנובמבר 1848 – 26 ביולי 1925) היה מתמטיקאי, לוגיקן ופילוסוף גרמני, נחשב כאב המייסד של הלוגיקה המודרנית ושל הפילוסופיה האנליטית.
חָדָשׁ!!: טבלת אמת וגוטלוב פרגה · ראה עוד »
היסק
בתורת ההיגיון, היסק (באנגלית: Inference) הוא טיעון שמסקנתו נובעת מן הנחותיו.
חָדָשׁ!!: טבלת אמת והיסק · ראה עוד »
וגם (לוגיקה)
בלוגיקה מתמטית, חִתּוּךְ לוֹגִי (או פעולה "וגם", בלעז: קוֹנְיוּנְקְצְיָה; סימון: \land) הוא קשר לוגי היוצר משני פסוקים או תבניות פסוק חדש שהוא אמיתי רק כאשר שני מרכיביו אמיתיים.
חָדָשׁ!!: טבלת אמת ווגם (לוגיקה) · ראה עוד »
1922
ב-30 בדצמבר 1922 נוסדה ברית המועצות.
חָדָשׁ!!: טבלת אמת ו1922 · ראה עוד »
אזכור
[1] https://he.wikipedia.org/wiki/טבלת_אמת
