Propositional vs Predicate Logic

	Propositional Logic	Predicate Logic
atomic formulas	propositional variables, sentential variable, sentential letter
formula	(n/a) (all formulas are sentences)	formula, well-formed formula, wff,
sentence	propositional formula, propositional expression, sentence, sentential formula, proposition, compound proposition, statement	sentence, closed formula,
Valid formula	tautology	logical valid
		First-order Tautologies
model	model, truth assignment	model, structure
decidability

Propositional Logic

Heb. Course Term	Notebook Term	Other Terms
מבני יחסים, מבנים		Relational Structures
פסוק אלמנטרי	Elementary proposition	sentence symbol, atomic formula, proposition letter, atomic proposition
פסוק	Proposition	well-formed formula (WFF), formula

עץ מבנה	Structure Tree	Parsing Tree
המקלדת $Σ_{n}$	keyboard	alphabet
השפה הפסוקית, שפת הפסוקים
קשר חד-מקומי	Unary connective
קשר דו-מקומי	Binary connective
קשר $n$ -מקומי	$n$ -ary connective
העומק הקשרי, הדרגה	depth	degree, height
עצי הצגה
מודל, פירוש	model	Valuation, truth assignment, valuation function, השמה
כלל הניתוק	Modus Ponens	MP

אינדוקציה מבנית (הוכחה, הגדרה)
סדרת בנייה	Formation sequence	construction sequence

סדרת הוכחה	proof sequence	deduction (sequence), derivation, formal proof, formal deduction
תחשיב הוכחה	proof calculus	proof system
תחשיב הילברט	hilbert system	hilbert calculus
תורה, מערכת אקסיומות	theory
תורה שלמה	complete theory
לוגיקה רב סוגית		Many sorted logic
לוגיקת זמן		Temporal logic
אימות תכניות
לוגיקה מודאלית		Modal logic
לוגיקה מסדר שני
		Homogeneous relation, endorelation

Heb. Course Term	Notebook Term	Other Terms
שם עצם	Term
מופע	Occurrence
פסוק	Sentence	Closed Formula
מודל, מבנה (בשפה)	Structure	L-structure, model	$A, B, \dots; M, M^{'}, \dots;$
השמה	Variable Assignment
השמה רלוונטית לנוסחה	Variable Assignment for formula
כלל ההכללה	Universal generalization	generalization, universal introduction, GEN, UG