למיון לפי ערך עברי

 

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)

 

 

 

Sort by the English term

 

מונחון עברי-אנגלי למושגים בלוגיקה

 

עברית

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