| Englisch | Türkisch | |
|---|---|---|
| Math | ||
| Math | propositional function n. | önermeli fonksiyon |
| Math | propositional function n. | önermeli işlev |
| Logic | ||
| Logic | propositional function n. | bir veya daha fazla bağımsız değişken içeren ve değişkenlere sabit değerli terim verildiğinde bildirme cümlesi haline gelen ifade |