Symbols and Translation in Sentential Logic.pdf