 |
| Subject | English | Japanese |
| gen. | first order predicate logic | 第一階述語論理 |
| gen. | first-order predicate logic | 一階述語論理 |
| gen. | n logic predicate | 賓位語 |
| gen. | n predicate logic | 述語論理 (ぢゅつご・ろんり) |
|
| Subject | English | Japanese |
| gen. | first order predicate logic | 第一階述語論理 |
| gen. | first-order predicate logic | 一階述語論理 |
| gen. | n logic predicate | 賓位語 |
| gen. | n predicate logic | 述語論理 (ぢゅつご・ろんり) |