上游充通大 SHANGHAI JIAO TONG UNIVERSITY 逻辑语言的例子： V国家，ヨ数值，使得：V司机：（司机酒精含量>h)→（司机在该国被判定为醉驾）。 V国家，3两个整数a1,a2,使得：V男人V女人：（男人年龄>a1)∧（女人年龄>a2) 男人和女人在该国可以合法结婚。逻辑语言的例子: