Text this: Η λογική των προτάσεων, προτασιακός λογισμός