Document Type

Conference Proceeding

Publication Date



DeSymbol is a program that translates first-order predicate logic expressions into English. It is designed to help students practice when learning or reviewing symbolic logic: students begin by translating English sentences into symbolic logic notation, and then they can use DeSymbol to translate the logic back into English to check their work.

The newest version of DeSymbol adds the ability for the user to expand the system’s vocabulary, using a web interface. The user can enter new nouns, verbs, or adjectives, specifying each word’s part of speech, its singular and plural forms, and (for verbs) whether the verb takes an object. Each user’s specialized vocabulary can then be used in forming logic expressions. This allows students to customize DeSymbol to fit a desired collection of English sentences.


To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.