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