著者

竹内 泉

出版者

The Philosophy of Science Society, Japan

雑誌

科学哲学 (ISSN:02893428)

巻号頁・発行日

vol.54, no.1, pp.73-1, 2021-09-30 (Released:2021-09-30)

参考文献数

7

---

This study discusses the usages of independent and dependent variables. Independent variables are used in two ways: to denote the input to a function and to define a function. Correspondingly, dependent variables are used to hold the output of a function and to describe the relationship between the inputs and outputs of a function. When translating independent variables and dependent variables of mathematics into predicate logic, mathematical variables are mapped onto both variables and function symbols of predicate logic.