מאמרים
 
אודות
 
צור קשר
תרגום:
א
א
א
מילון עברי עברי
מילים נרדפות
צירופים וביטויים
ראשי תיבות
מילון עברי אנגלי בטא
גימטריה
חרוזים
התקבלו 2 פירושים במילון ללוגיקה מודאלית
לוגיקה מודָלית (Modal Logic) היא הרחבה של הלוגיקה הקלאסית, המאפשרת הגדרה פורמלית של ביטויים מודליים. ביטויים מודליים הם למשל כאלה המאפיינים את אמיתותם של משפטים, כגון "הכרחי" ו"אפשרי". לדוגמה, על פסוק כמו "יורד גשם", ניתן להפעיל את האופרטורים המודליים של ההכרח והאפשרות ולקבל "בהכרח יורד גשם" או "אפשרי שיורד גשם". הלוגיקה המודלית מציעה מספר מערכות אקסיומטיות בעלות תכונות שונות, והיא ניתנת להחלה במספר תחומים נוספים, למשל לשם תיאור מושגים דאונטיים (מושגי החובה וההיתר המוסרי, אותם ניתן להחיל על טענות הקובעות מה ראוי, מה אסור, ומה מותר) וטמפורליים (המאפשרת להביע את המובן הזמני של טענות כאופרטורים החלים על טענות לא⁻זמניות, וכך לייצג קשרי היסק לוגיים בין טענות אלו), וכן בתחומים שונים, למשל בתורת הידיעה (לוגיקה אפיסטמית) ובהסתברות. מתוך ויקיפדיה

kudhev nustkh,
הצטרפו לדף הפייסבוק שלנו
מילון צוק איתן המלא
שגרת חירום. הגדרה כוללת לאורח החיים ולאווירה בעוטף עזה במהלך צוק איתן, ובמידה רבה גם אחריו.
פרוייקט השמות הגדול
מה דעתך על השמות הבאים לבן?
אוראל
חושן
אלדור
אשכול
ארבל
חידה - הביטוי החצוי בטא
מצאו מילה שמשלימה שני ביטויים - אחרי המילה הראשונה ולפני המילה השנייה.
1. עלום _____
2. _____ בצד
testtest
לפניכם מופיעות שתי מילים. יש למצוא מילה היוצרת ביטוי מוכר בעברית עם כל אחת מהמילים בנפרד - ביטוי אחד כאשר היא מופיעה לאחר המילה הראשונה וביטוי שני כאשר היא מופיעה לפני המילה השנייה.
מחשבון שמות עבריים
איילת, כרמי, תומר או יואל?
המחשבון שיעזור לכם לבחור את שם ילדכם
על סמך קריטריונים שונים, כגון
צליל, משמעות, פופולריות ועוד
השם שלי
מהו שמך הפרטי?
כינוי החיבה שלך (אם יש)
אופן כתיבת השם באנגלית
דווחו לנו על טעות
כל הזכויות שמורות למילוג פרט לציטוטים מויקיפדיה, תחת רישיון CC ייחוס-שיתוף זהה 3.0; ציטוטים מהתנ"ך מ-tanach.us; תמונות יש לבדוק פרטנית | מדיניות הפרטיות | תנאי שימוש
עיצוב האתר - שלומית בן צור - www.saluma-design.com