"A modern formal logic primer: sentence logic" - читать интересную книгу автора (Teller P.)