Tiser

Could a logically-correct, ambiguity-free language even be devised? Much like the universality of languages such as Esperanto.

All the logic symbols are in upper ASCII but just not on our keyboards - they are based on key use frequency. {Yes.}