גישה מהירה יותר מאשר בדפדפן!
9 יחסים: ארץ ישראל, ערך אמת, פסוק (לוגיקה), תחשיב הפסוקים, לא (לוגיקה), טאוטולוגיה (לוגיקה), חוץ לארץ, הוכחה בדרך השלילה, יוונית.
ארץ ישראל
תצלום לוויין של '''ארץ ישראל''', משנת 2003, הכולל את מדינת ישראל, שטחי הרשות הפלסטינית, וחלקים מירדן, לבנון, סוריה ומצרים ארץ ישראל (בראשי תיבות: א"י, נקראת בלועזית: פָּלֶשְׂתִּינָה, ובערבית: فلسطين, בתעתיק לעברית: פָלַסְטִין) היא חבל ארץ הנמצא בדרום-מערב יבשת אסיה, באגן הים התיכון ובחלק של המזרח התיכון המכונה לבנט, אשר מחולק בין המדינות ישראל, ירדן, לבנון וסוריה.
חָדָשׁ!!: סתירה (לוגיקה) וארץ ישראל · ראה עוד »
ערך אמת
ערך אמת הוא מונח בו משתמשים בלוגיקה והוא מציין את הערך שביטוי מסוים יכול לקבל.
חָדָשׁ!!: סתירה (לוגיקה) וערך אמת · ראה עוד »
פסוק (לוגיקה)
הפסוק הוא מאבני היסוד של תורת השפה, ואף על פי כן קשה ביותר להגדירו.
חָדָשׁ!!: סתירה (לוגיקה) ופסוק (לוגיקה) · ראה עוד »
תחשיב הפסוקים
בלוגיקה ובלוגיקה מתמטית, תחשיב פסוקים (באנגלית: Propositional calculus, Propositional logic או Sentential calculus) הוא מערכת מובנית (פורמליסטית), המאפשרת לייצג את הקַשַּרים הלוגיים בין ערכי האמת של פסוקים לוגיים שונים, ולהסיק את תקפותן ההגיונית (לוגית) של טענות.
חָדָשׁ!!: סתירה (לוגיקה) ותחשיב הפסוקים · ראה עוד »
לא (לוגיקה)
בלוגיקה מתמטית, לא או שלילה הוא קשר לוגי אונארי המתאים לכל פסוק או תבנית את הפסוק או התבנית ההפוכים במובנם ובתנאי האמת שלהם.
חָדָשׁ!!: סתירה (לוגיקה) ולא (לוגיקה) · ראה עוד »
טאוטולוגיה (לוגיקה)
בלוגיקה, טָאוּטוֹלוֹגְיָה (מיוונית: Ταυτολογία; "ταὐτός", אותו דבר, ו-"λόγος", הסבר) היא פסוק שהוא תמיד אמת (נכון) בכל מבנה.
חָדָשׁ!!: סתירה (לוגיקה) וטאוטולוגיה (לוגיקה) · ראה עוד »
חוץ לארץ
חוץ לארץ הוא מונח תלמודי-הלכתי, כלפי כל הארצות מחוץ לישראל.
חָדָשׁ!!: סתירה (לוגיקה) וחוץ לארץ · ראה עוד »
הוכחה בדרך השלילה
בלוגיקה ובמתמטיקה הוכחה בדרך השלילה או הוכחה עקיפה היא שיטת הוכחה לפיה אם הפרכת טיעון מסוים מובילה לסתירה לוגית — הטיעון נכון.
חָדָשׁ!!: סתירה (לוגיקה) והוכחה בדרך השלילה · ראה עוד »
יוונית
יוונית (- אֵלִינִיקַה) היא שפה הודו־אירופאית, שמוצאה באזור יוון של ימינו.
חָדָשׁ!!: סתירה (לוגיקה) ויוונית · ראה עוד »
