תוצאות החיפוש
| מילות מפתח בחיפוש | |
|---|---|
| השתמשו במילות מפתח לשיפור החיפוש. | |
| מירכאות () | חיפוש מחרוזת מדויקת |
| חיפוש שני הביטויים | |
| חיפוש אחד מהביטויים | |
| מינוס () | מינוס בתחילת מחרוזת החיפוש, או אחרי רווח, צמוד לביטוי שאחריו, מציין "בלי". לדוגמה, איינשטיין -אלברט (או -אלברט איינשטיין) ימצא דפים שמכילים "איינשטיין" ואינם מכילים "אלברט".
מינוס שמחבר בין מילים, זהה מבחינת החיפוש לרווח או סימן פיסוק: החיפושים (1)"בן בליעל" (עם מירכאות), (2)בן-בליעל, (3)בן.בליעל (4)בן,בליעל, יתנו אותה תוצאה. |
| כוכבית () | בסוף מילה להרחבת חיפוש (wildcard) |
| טילדה () | בתחילת החיפוש כדי לחפש במקום להגיע לערך בשם זה. בסוף מילת חיפוש לחיפוש מילים בעלות איות קרוב. |
| לחיפוש בדפים שכותרתם מכילה מחרוזת מסוימת | |
| לחיפוש בדפים שכותרתם נפתחת במחרוזת מסוימת (הקידומת יכולה להכיל גם מרחב שם) | |
| לחיפוש בקוד הערכים (חיפוש הכולל קוד ויקי) | |
| להגבלת החיפוש לדפים בקטגוריה | |
| להגבלת החיפוש לדפים בקטגוריה ובתת-קטגוריות שלה, עד עומק 5 (מוגבל לכ-250 קטגוריות) | |
| להגבלת החיפוש על ערכים המכילים תבנית מסוימת | |
| הגבלת החיפוש לדפים המקשרים לדף מסוים | |
| חיפוש בערכים ששייכים לאחד הנושאים המפורטים כאן | |
ניתן להשתמש ב-AND, OR, ומינוס יחד עם ביטויים. לדוגמה, החיפוש
ימצא את כל הדפים שמכילים את התיבה "אלברט איינשטיין" (שימו לב למירכאות), ואינם מקשרים לערך אלברט איינשטיין.
| |
למידע נוסף על אפשרויות חיפוש ראו ויקיפדיה:ניווט.
- לוֹגִיקָה (מיוונית: λογική; בעברית: תּוֹרַת הַהִגָּיוֹן) היא שם כולל לתורות הבוחנות קשרי היסק בין טענות תוך התבססות על אקסיומות. הלוגיקה מנתחת צורה של...70 ק"ב (6,498 מילים) - 22:36, 12 במרץ 2024
- הפורמלי של המתמטיקה כולה. לוגיקה מתמטית עוסקת באותם חלקים של הלוגיקה שניתן ליצור להם מודל מתמטי. בעבר נקרא התחום גם בשמות לוגיקה סימבולית (בשל עיסוקו בטענות...5 ק"ב (386 מילים) - 13:10, 24 באוגוסט 2023
- וכדומה. בפילוסופיה נהוגה לעיתים ההבחנה בין הנחות וקדם-הנחות. הבחנה זו מקורה בלוגיקה של השאלות. קדם-הנחה לפסוק הוא טענה שאלמלא היא אמיתית, הפסוק עצמו מלכתחילה...3 ק"ב (262 מילים) - 15:30, 5 בפברואר 2024
- בלוגיקה מתמטית, חִתּוּךְ לוֹגִי (או פעולה "וגם", בלעז: קוֹנְיוּנְקְצְיָה; סימון: ∧ {\displaystyle \land } ) הוא קשר לוגי היוצר משני פסוקים או תבניות פסוק...2 ק"ב (122 מילים) - 07:17, 21 בספטמבר 2022
- איזומורפיזם (הפניה מהדף איזומורפיזם (לוגיקה מתמטית))במתמטיקה, אִיזוֹמוֹרְפִיזְם הוא התאמה בין שני מבנים מתמטיים באופן ששומר על המאפיינים המגדירים את המבנה. מבנים שיש ביניהם איזומורפיזם הם איזומורפיים זה...12 ק"ב (1,753 מילים) - 13:09, 7 בפברואר 2023
- נושא ] חסרים במתמטיקה ובלוגיקה, עקביות (או קונסיסטנטיות, קוהרנטיות) של מערכת מסוימת פירושה שמערכת זו היא נטולת סתירות. בלוגיקה מתמטית, תורה עקבית היא...3 ק"ב (191 מילים) - 08:26, 4 במרץ 2024
- בלוגיקה מתמטית, לא או שלילה הוא קשר לוגי אונארי המתאים לכל פסוק או תבנית את הפסוק או התבנית ההפוכים במובנם ובתנאי האמת שלהם. 'לא' הוא אחד משני הקשרים...2 ק"ב (147 מילים) - 19:02, 27 בפברואר 2024
- בלוגיקה מתמטית, אוֹ או דִּיסְיוּנְקְצְיָה הוא קשר לוגי בינארי, המתאים לשני פסוקים או לשתי תבניות פסוק או תבנית של ערך אמת, כאשר לפחות אחד משני המרכיבים...4 ק"ב (311 מילים) - 01:34, 13 באפריל 2023
- תורת הטיפוסים (הפניה מהדף טיפוס (לוגיקה מתמטית))במתמטיקה, לוגיקה ומדעי המחשב, תורת הטיפוסים מתייחסת באופן כללי למחלקה של מערכות פורמליות, שבה לכל ערך יש טיפוס, המודד באופן מסוים את רמת המורכבות של האובייקט...5 ק"ב (468 מילים) - 09:25, 7 בדצמבר 2022
- שפה מסדר ראשון (הפניה מהדף שפה (לוגיקה מתמטית))בלוגיקה מתמטית, שפה מסדר ראשון (נקראת גם לוגיקה מסדר ראשון או תחשיב היחסים או תחשיב פרדיקטים מסדר ראשון, בסימון מקובל FOL) היא מנגנון חישוב לניסוח טענות...10 ק"ב (1,070 מילים) - 13:05, 31 במרץ 2024
- בלוגיקה, סתירה (או אנטיפסה, מיוונית: αντίφαση) פסוק מורכב שאינו אמיתי באף מצב עניינים. במילים אחרות, סתירה היא טענה אשר מורכבת מצירוף של מספר טענות פשוטות...2 ק"ב (234 מילים) - 12:02, 29 באוגוסט 2023
- טענה (הפניה מהדף טענה (לוגיקה))להיות אמיתית או שקרית. כלומר, טענה בהכרח תהיה בעלת תוכן של אמת ערך אמת. בלוגיקה, טענות מצטרפות יחד לכדי היסקים ולהוכחות. בהיסק, לדוגמה, הטענות מתחלקות...6 ק"ב (499 מילים) - 18:28, 18 בספטמבר 2023
- לוגיקות שונות המתייחסות לתוכנם של פסוקים שונים (לדוגמה הלוגיקה המודלית המתייחסת להיתכנות), אך הלוגיקה המודרנית מטפלת בעיקר בתוכנם של פסוקי חיווי (כגון "יורד...10 ק"ב (1,077 מילים) - 08:29, 4 באפריל 2024
- אם-אז (הפניה מהדף פותח (לוגיקה))אם-אז או קַשָּׁר הגרירה או אימפליקציה מטריאלית הוא קשר לוגי בלוגיקה מתמטית, שמסומן באמצעות → {\displaystyle \to } . הקשר יוצר משני פסוקים, המסומנים ב-...6 ק"ב (551 מילים) - 14:58, 17 במרץ 2024
- שלמות (הפניה מהדף שלמות (לוגיקה מתמטית))שלמות (באנגלית: Completeness) בלוגיקה ובלוגיקה מתמטית היא תכונה של מערכת אקסיומטית. מערכת נתונה של אקסיומות וכללי היסק היא שלמה אם אפשר להכריע בה לגבי...5 ק"ב (369 מילים) - 22:40, 2 באפריל 2024
- היסק (הפניה מהדף הסקה (לוגיקה מתמטית))ההיגיון, היסק (באנגלית: Inference) הוא טיעון שמסקנתו נובעת מן הנחותיו. בלוגיקה של אריסטו, שהייתה מקובלת במשך אלפי שנים ועד המאה התשע-עשרה, ישנם רק היסקים...11 ק"ב (972 מילים) - 13:34, 1 במרץ 2024
- כמת (הפניה מהדף כמת (לוגיקה))בלוגיקה, כַּמָּת הוא סמל המציין את התחולה של המשתנה הצמוד לו. שני הכמתים העיקריים הם: לכל (נקרא גם כמת כולל), מסומן ב- ∀ {\displaystyle \forall } קיים...5 ק"ב (514 מילים) - 07:51, 4 ביוני 2023
- תחשיב הפסוקים (הפניה מהדף לוגיקה פרופוזיציונית)בלוגיקה ובלוגיקה מתמטית, תחשיב פסוקים (באנגלית: Propositional calculus, Propositional logic או Sentential calculus) הוא מערכת מובנית (פורמליסטית), המאפשרת...21 ק"ב (2,011 מילים) - 21:51, 19 במאי 2024
- ערך אמת (הפניה מהדף שקר (לוגיקה))בלוגיקה והוא מציין את הערך שביטוי מסוים יכול לקבל. כל טענה בטיעון יכולה להיות או שקרית או אמיתית, ערך האמת של הטענה מציין אם היא אחת מהשתיים. בלוגיקה...1 ק"ב (109 מילים) - 02:59, 22 בינואר 2024
- בלוגיקה, טַאוּטוֹלוֹגְיָה (מיוונית: Ταυτολογία; "ταὐτός", אותו דבר, ו-"λόγος", דיבור) היא פסוק שהוא תמיד אמת (נכון) בכל מבנה. פסוק שהוא תמיד שקר (לא...3 ק"ב (221 מילים) - 21:43, 18 במרץ 2024
- לוגיקה הנה המדע שעוסק בתקפות טיעונים. חלקים נכבדים ממנה התפתחו בתקופה העתיקה של יוון עד לקפאון ימי הבינים. ב-100 השנים האחרונות חלה התפתחות אדירה בתחום
- לגלות באמצעות ההיגיון את הסיבות למהותם האמיתית של הדברים." ~ מישל דה מונטן "לוגיקה תיקח אותך מנקודה א' לנקודה ב'. דמיון ייקח אותך לכל מקום." ~ אלברט איינשטיין
- מסקנות ולבסס טענות בהסתמך על טענות קודמות. הגיון, שכל ישר. אין שום לוגיקה בטיעון שלך. לוגיקה מתמטית לוגי לוגיות לוגיקן תורת ההגיון (1) חשיבה נכונה (2) חשיבה