一概に同じとは言えない

名前を気にするより実際に名前に数理論理とか記号論理とかついてる本をざっとでも見てやりたいものを選べば良い