多重量词网格:顺序会改变意思
把关系 R(x,y) 看成一张表。行代表 x,列代表 y。点击格子切换真假,再观察“先选谁、能不能换证人”怎样改变整句话。
真格可作证人
假格会阻断全称
∀x∃y R(x,y)
每一行各找一个 y
∃y∀x R(x,y)
同一列要覆盖所有 x
∀y∃x R(x,y)
每一列各找一个 x
∃x∀y R(x,y)
同一行要覆盖所有 y
关系矩阵 R(x,y)
点格子改真假
对角线示例
单列全真
单行全真
全设为假