直言命题复言命题关系
v1.0可编写可更正直言命题互相关系关系全同真包括于真包括交错全异命题全称必然数题真真假假假(全部S是P)全称否定数题假假假假真(全部S不是P)特称必然数题真