“李林不是钢铁工人，又不是煤炭工人”与“如果李林是钢铁工人，那么李林不是煤炭工人”这两个判断（）。

• A、不可同真但可同假
• B、不可同假但可同真
• C、可同真并且可同假
• D、不同真并且不同假

断言“小夏是一位画家”和“小夏不是一位画家”同时都真，违反了（）。

• A、同一律
• B、矛盾律
• C、排中律
• D、充足理由律

用真值表来验证 是否为有效式。