当蕴涵式的后件为真时，蕴涵式是真的。

A.正确

B.错误

正确答案：正确