Article · العربية
المتغير الافتراضى (ويسمى أيضًا المتغير المرسل أو الحرف المرسل) (بالإنجليزية: Propositional variable) هو مُتغير في المنطق الرياضي، وهو متغير إدخال (يمكن أن يكون صحيحًا أو خاطئاَ). المتغيرات المقترحة هي العناصر الأساسية للصيغ المقترحة وتستخدم في منطق الافتراض .
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
propositional calculus
Entity
semantic theory of truth
Entity
mathematical logic
Entity
Boolean algebra
Entity
logical operator
Entity
quantifier
Entity
first-order logic
Entity
formal system
Entity
truth value
Entity
predicate
Entity
recursive set
Entity
semantics of logic
Entity
free and bound variables
Entity
structure
Entity
ground expression
Entity
diagram
Entity
logic
Entity
International Standard Book Number
Entity
Latin script
Entity
set theory
Entity