Also known as sentential variable, sentential letter
صيغة تمثيل رياضي
المتغير الافتراضى (ويسمى أيضًا المتغير المرسل أو الحرف المرسل) (بالإنجليزية: Propositional variable) هو مُتغير في المنطق الرياضي، وهو متغير إدخال (يمكن أن يكون صحيحًا أو خاطئاَ). المتغيرات المقترحة هي العناصر الأساسية للصيغ المقترحة وتستخدم في منطق الافتراض .
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).