Introduction to Mathematical Logic

2. All cats like fish. Silvy is a cat. Hence, Silvy likes fish. Both have the same form: AHA are B. Sis anA. Hence, Sis a B. The truth or falsity of the particular premisses and conclusions is of no concern to lo gicians. They want to know only whether the premisses imply the conclu sion. The systematic formalization and cataloguing of ...