English ⇄ Arabic Chinese Chinese simplified Czech Danish Dutch Estonian Finnish French German Hungarian Icelandic Italian Japanese Latvian Lithuanian Norwegian Bokmål Polish Portuguese Russian Spanish Swedish Thai +

mathematical statement
comp., MS	命題 (A combination of symbols that form a logical sentence that is true or false under a given interpretation, meidai)