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