- good notebook https://publish.obsidian.md/mth225/START+HERE
Terms
-
Asymmetric
- openu.20476: אנטי סימטרי
- he.wikipedia: א-סימטרי, אנטי-סימטרי חזק
-
Antisymmetric
- openu.20476: אנטי סימטרי במובן הרחב
- he.wikipedia: אנטי-סימטרי, אנטי-סימטרי חלש
-
Strict total order
- openu.20476: סדר מלא
-
Strict partial order
- openu.20476: סדר חלקי
- he.wikipedia: סדר חלקי חזק
-
Strict partial order set
- openu.20476: קבוצה סדורה חלקית
-
Strict total order set
- openu.20476: קבוצה סדורה
-
Partial order set
- he.wikipedia: קבוצה סדורה חלקית
Logic
| ** English ** | ** עברית ** |
|---|---|
| Absorption | בליעה |
| Assignment, Valuation | השמה |
| Assumption, Premise | הנחה |
| Axiom | אכסיומה (אקסיומה) |
| Bijection | פונקציה חד-חד ערכית ועל |
| Bound variable | משתנה קשור |
| Calculus | תחשיב |
| cardinality | עוצמה |
| Class | מחלקה |
| Clause | פסוקית |
| Closed formula (Sentence) | נוסחה סגורה (פסוק) |
| Closed term (Ground term) | שם עצם סגור (ש”ע ללא משתנים) |
| Compactness | קומפקטיות |
| Completeness | שלמות |
| Congruence | קונגרואנציה |
| Conjecture, Hypothesis | השערה |
| Conjunction | גימום (קוניונקציה) |
| Conjunction | קוניונקציה (גימום) |
| Connective | קַשָּׁר |
| Consequence relation | יחס נביעה |
| Consequence, Entailment | נביעה |
| Conservative extension | הרחבה משמרת |
| Consistency | עקביות |
| Constant | קבוע |
| Containment | הכלה |
| Continuum cardinality | עוצמת הרצף |
| Continuum hypothesis | השערת הרצף |
| Contradiction | סתירה |
| Cut | חתך |
| Cut rule | כלל החתך |
| Decidable | כריע |
| Deduction, Inference | דדוקציה (היסק) |
| Definability | גדירות |
| Definable | גָדִיר |
| Difference | הפרש |
| Disjoint sets | קבוצות זרות |
| Disjunction | איווי (דיסיונקציה) |
| Disjunction | דיסיונקציה (איווי) |
| Domain (Universe) | תחום (עולם) |
| Elementary embedding | שיכון אלמנטרי |
| Elementary extension | הרחבה אלמנטרית |
| Embedding | שיכון |
| Entailment, Consequence | נביעה |
| Environment | סביבה |
| Equivalence | שקילות |
| Equivalence class | מחלקת שקילות |
| Existential quantifier | כמת יישי |
| Expansion (of a structure) | העשרה (של מבנה) |
| Extension | הרחבה |
| Extensionality | היקפיות |
| Field | שדה |
| First order logic | לוגיקה מסדר ראשון |
| formalization | הצרנה |
| Formation sequence, construction sequence | סדרת בניה |
| Formula | נוסחה |
| Free variable | משתנה חופשי |
| Fuzzy logic | לוגיקה עמומה |
| Generalization rule | כלל ההכללה |
| Ground formula | נוסחה ללא משתנים |
| Group | חבורה |
| Hypothesis, Conjecture | השערה |
| Identity | זהות |
| Implication | גרירה |
| Induction | אינדוקציה |
| Inference rule | כלל היסק |
| Inference, Deduction | היסק |
| Injective function | פונקציה חד-חד ערכית (חח”ע) |
| Interpretation | פירוש |
| Intersection | חיתוך |
| Inverse function | פונקציה הפוכה |
| Literal | ליטרל |
| Logic | לוגיקה |
| Many sorted logic | לוגיקה רב סוגית |
| Membership | שייכות |
| Meta language | מטה שפה |
| Modal logic | לוגיקה מודאלית |
| Model | מודל |
| Multi valued logic | לוגיקה רב ערכית |
| n-ary function | פונקציה n-מקומית |
| n-ary relation | יחס n-מקומי |
| Natural deduction | דדוקציה טבעית |
| Negation | שלילה |
| Nesting | קינון |
| Occurrence | מופע |
| Parsing tree | עץ גזירה |
| Power-set | קבוצת החזקה |
| Predicate | פרדיקט |
| Predicate calculus (Predicate logic) | תחשיב הפרדיקטים / יחסים |
| Premise, Assumption | הנחה |
| Prenex Normal Form (PNF) | נוסחה בצורת קידומת נורמלית |
| Proof | הוכחה |
| Proof by contradiction | הוכחה בדרך השלילה |
| Propositional calculus (Propositional logic) | תחשיב הפסוקים (לוגיקה פסוקית) |
| Provability relation | יחס יכיחות |
| Quantifier | כמת |
| Quantifier elimination | סילוק כמתים |
| Reduction (of a structure) | דילול (של מבנה) |
| Reflexive | רפלקסיבי |
| Relation | יחס |
| Replacement | החלפה |
| Resolution | רזולוציה |
| Restriction | צמצום |
| Ring | חוג |
| Satisfaction | ספיקות |
| Scheme | סכימה |
| Semantics | סמנטיקה |
| Sentence, Proposition | פסוק (נוסחה ללא משתנים חופשיים) |
| Set | קבוצה |
| Signature, Vocabulary | סיגנטורה (מילון) |
| Simultaneous substitution | הצבה בו-זמנית |
| Singleton | יחידון |
| Skeleton | שלד |
| Soundness | נאותות |
| Statement, Proposition | טענה |
| String | מחרוזת |
| Structural induction | אינדוקציה מבנית |
| Structure | מבנה |
| Subset | תת קבוצה |
| Substitution | הצבה |
| Substructure | תת-מבנה |
| Surejctive function | פונקציה על |
| Symmetric | סימטרי |
| Syntax | תחביר, דקדוק |
| Tautology | טאוטולוגיה |
| Term | שם עצם |
| Theorem | משפט |
| Theory | תורה |
| Transfinite induction | אינדוקציה טרנספיניטית (אינדוקציה על-סופית) |
| Transitive | טרנזיטיבי |
| Truth | נכונות |
| Truth table | טבלת אמת |
| Truth value | ערך אמת |
| Union | איחוד |
| Unique readability | קריאות יחידה |
| Universal quantifier | כמת כולל (אוניברסלי) |
| Universe (Domain ) | עולם (תחום) |
| Vacuously true | נכון באופן ריק |
| Validity | תקפות |
| Valuation, Assignment | השמה |
| Variable | משתנה |
| Vocabulary (signature) | מילון (סיגנטורה) |
| Well-formed formula (wff) | נוסחה בנויה כהלכה (נב”כ) |