真值表在形式逻辑中的功能

• Function of truth value table in formal logic