5.4 命题与真(理)