使用机器自动翻译 "命题演算.html"，请点这里
命题演算
تصنيف:حساب القضايا
命题
اِقْتِراح; تصنيف:قضايا منطقية; قضية (فلسفة); مُقْترح
html
超文本标记语言
演算
فالنسيا
html 标记
علامة html
html元素
عنصر (لغة ترميز النص الفائق)
动态 html
dhtml
动态html
دي إتش تي إم إل
lambda演算
تصنيف:حسابات اللامدا
Λ演算
تكامل لامدا