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