Translation Of Logical Construction In Different Languages