The Power of Critical Thinking by Lewis Vaughn; Oxford University Press; 2005Bahagian 3 membincangkan tentang deductive dan inductive reasoning.
Dalam Bab 6 (Deductive Reasoning : Propositional Logic), penulis menerangkan tentang statements (penyataan) dan connectives (penghubung); simple statement (penyataan mudah) dan compound statement (penyataan gabungan). Penerangan beberapa terma logical connectives (penghubung logik) juga dijelaskan : (1) conjuction-AND, (2) disjunction-OR , (3) negation-NOT, dan (4) conditional-IF-THEN. Penggunaan truth table (jadual kebenaran) dijelaskan untuk menentukan kesahan sesuatu argument.
Dalam Bab 7 (Deductive Reasoning : Categorical Logic), penulis menjelaskan tentang categorical logic, di mana categorical statement terdiri daripada subject dan predicate term. Terdapat empat bentuk standard categorical statement, iaitu : (1) universal affirmative, (2) universal negative, (3) particular affirmative dan (4) particular negative. Gambarajah Venn pula digunakan sebagai kaedah yang terbaik untuk menggambarkan categorical statement dan menerangkan perkaitan di antara satu statement dengan statement yang lain.
Dalam Bab 6 (Deductive Reasoning : Propositional Logic), penulis menerangkan tentang statements (penyataan) dan connectives (penghubung); simple statement (penyataan mudah) dan compound statement (penyataan gabungan). Penerangan beberapa terma logical connectives (penghubung logik) juga dijelaskan : (1) conjuction-AND, (2) disjunction-OR , (3) negation-NOT, dan (4) conditional-IF-THEN. Penggunaan truth table (jadual kebenaran) dijelaskan untuk menentukan kesahan sesuatu argument.
Dalam Bab 7 (Deductive Reasoning : Categorical Logic), penulis menjelaskan tentang categorical logic, di mana categorical statement terdiri daripada subject dan predicate term. Terdapat empat bentuk standard categorical statement, iaitu : (1) universal affirmative, (2) universal negative, (3) particular affirmative dan (4) particular negative. Gambarajah Venn pula digunakan sebagai kaedah yang terbaik untuk menggambarkan categorical statement dan menerangkan perkaitan di antara satu statement dengan statement yang lain.
