Text this: Linguistic Data Model for Natural Languages and Artificial Intelligence. Part 5. Introduction to Logic