一介逻辑又叫做谓词逻辑,是数理逻辑或现代逻辑的基础。（）

A.正确

B.错误

正确答案：A