책 이미지
책 정보
· 제목 : LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Paperback)
· 분류 : 외국도서 > 인문/사회 > 철학 > 참고자료
· ISBN : 9783030648138
· 쪽수 : 227쪽
· 분류 : 외국도서 > 인문/사회 > 철학 > 참고자료
· ISBN : 9783030648138
· 쪽수 : 227쪽
목차
1 Basic notion.- 2 Validity.- 3 Formality.- 4 The symbols of propositional logic.- 5 The language L.- 6 Logical consequence in L.- 7 The system Sn.- 8 Derivability in Sn.- 9 The system Sa.- 10 Consistency, soundness, completeness.- 11 Quantification.- 12 The symbols of predicate logic.
