O documento introduz os tipos de frases: declarativa, interrogativa, exclamativa, imperativa e optativa. Explica que uma proposição lógica é o mesmo que uma sentença lógica e serve para estabelecer uma comunicação através de enunciados curtos ou longos.