Mathematical Logic. Designating a formula or set of formulae for which there is at least one model (model, n. 8b) in which they are all true.
| 单词 | θ48165 |
| 释义 | the world > food and drink > food > providing or receiving food > [adjective] > fed or nourished > capable of being satisfied (1) satisfiable1935 Mathematical Logic. Designating a formula or set of formulae for which there is at least one model (model, n. 8b) in which they are all true. |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。