Language Learning for Practical Programmers [3] – The Boolean Query

A === B, A !== B, E in S, E !in S.

布尔查询句 |Boolean Queries

布尔查询句是对简单定义句和属性定义句的测试，其答案为肯定回复短语、否定回复短语或拒绝回复短语。回复短语后也可以追加对应的定义句。

一个布尔查询句由两个名词短语和一个相同测试短语组成，用于测试这两个名词短语是否相等。如：

- Is Tom Jerry? - No./No, they are not./No, Tom is not Jerry.

- 小明是小华么？- 不是。/不，小明不是小华。

- Are Oranges Apples? - Yes./Yes, they are./Yes, oranges are apples.

- 橘子是果实么？- 是的。/是的，橘子是果实。

注意到中文例句部分。简单布尔查询句也可以被解释为由一个简单定义句和一个相同测试短语组成，如：

- Tom is Jerry, is it?

- 小明是小华么

- Oranges are apples, is it?

- 橘子是果实么？

使用定义句-相同测试短语的结构，也可以对属性定义句和从属定义句进行测试，如：

- The sky is blue, is it?/Is the sky blue?

- 天是蓝色的，是么？/天是蓝色的么？

- You can eat glass, is it?/Can you eat glass?

- 你能吞下玻璃，是么？/你能吞下玻璃么？

- This book is yours, is it?/Is this book yours?

- 这本书是你的么？/这是你的书么？

注意到英语例句的自然形式。英语例句的自然形式是将定义句的相等表示短语提前到句首组成的。这意味着查询句可能会随语言的不同而有不同的自然形式。

对于自然形式的探讨并不在我们关注的范围之内，因为不同的语言会针对疑问句有不同的语序或变位，试图用一个框架去囊括这种细节的内容显然是徒劳的。