Modules / Lectures
Module NameDownload
Assignment-1_noc18_ge17_88Assignment-1_noc18_ge17_88
Assignment-2_noc18_ge17_78Assignment-2_noc18_ge17_78
Assignment-3_noc18_ge17_79Assignment-3_noc18_ge17_79
Assignment-4_noc18_ge17_81Assignment-4_noc18_ge17_81
Assignment-5_noc18_ge17_82Assignment-5_noc18_ge17_82
Assignment-6_noc18_ge17_83Assignment-6_noc18_ge17_83
Assignment-7_noc18_ge17_84Assignment-7_noc18_ge17_84
Assignment-8_noc18_ge17_85Assignment-8_noc18_ge17_85
Assignment-9_noc18_ge17_86Assignment-9_noc18_ge17_86


Sl.No Chapter Name MP4 Download
1Lecture 1: IntroductionDownload
2Lecture 2: Propositions, Arguments, Components, Basic CharacteristicsDownload
3Lecture 3: Recognizing arguments, Diagramming logic flowDownload
4Lecture 4: Types of arguments, Deductive, Inductive, different norms to assess argumentsDownload
5Lecture 5: Concepts of Validity Soundness, ConsistencyDownload
6Lecture 6: History of Symbolic Language Download
7Lecture 7: Propositional Logic: SyntaxDownload
8Lecture 9: Truth-functional Connectives, Propositional Variables, Propositional ConstantsDownload
9Lecture 8:Connectives, Scope of ConnectivesDownload
10Lecture 10: Symbolization with ConnectivesDownload
11Lecture 11: Propositional Logic: Semantics Basics of a Truth TableDownload
12Lecture 12: Using Truth Table: Tautology, Contradiction, Contingent PropositionsDownload
13Lecture 13: Using Truth Table: Testing Arguments for Validity and InvalidityDownload
14Lecture 14: Shorter Truth TableDownload
15Lecture 15: Using Truth Table: Testing a Set of Propositions for consistency and inconsistency, and for logical equivalenceDownload
16Lecture 16: Introduction to Truth TreesDownload
17Lecture 17: Truth Tree Rules and their ApplicationDownload
18Lecture 18: More on Truth-Tree Recovery of Partial Truth - ValuesDownload
19Lecture 19: Using the Truth TreesDownload
20Lecture 20: More on Truth TreesDownload
21Lecture 21: Formal Proof of ValidityDownload
22Lecture 22: Valid Argument Forms:Download
23Lecture 23: How to Apply the Rules of Inference in a ProofDownload
24Lecture 24: Understanding the RulesDownload
25Lecture 25: Proofs with All RulesDownload
26Lecture 26: Completeness : What it isDownload
27Lecture 27: Indirect ProofDownload
28Lecture 28: Conditional ProofDownload
29Lecture 29: More on Conditional ProofDownload
30Lecture 30: More on DerivationsDownload
31Lecture 31: Limitation of Propositional LogicDownload
32Lecture 32: Basic 4 Types of Categorical PropositionsDownload
33Lecture 33: Understanding Logical Relations in Standard Form Categorical PropositionsDownload
34Lecture 34 : Translating Non-Standard Propositions into Standard Form Categorical Propositions Download
35Lecture 35: Validity and Invalidity of SyllogismsDownload
36Lecture 36 : First Order Predicate LogicDownload
37Lecture 37 : Quantifiers Download
38Lecture 38 : Scope of a Quantifier Edit LessonDownload
39Lecture 39 : Multiple Quantifiers Download
40Lecture 40 : Understanding Overlapping Quantifiers Sharing Predicates and ScopeDownload

Sl.No Chapter Name English
1Lecture 1: IntroductionDownload
Verified
2Lecture 2: Propositions, Arguments, Components, Basic CharacteristicsDownload
Verified
3Lecture 3: Recognizing arguments, Diagramming logic flowDownload
Verified
4Lecture 4: Types of arguments, Deductive, Inductive, different norms to assess argumentsDownload
Verified
5Lecture 5: Concepts of Validity Soundness, ConsistencyDownload
Verified
6Lecture 6: History of Symbolic Language Download
Verified
7Lecture 7: Propositional Logic: SyntaxDownload
Verified
8Lecture 9: Truth-functional Connectives, Propositional Variables, Propositional ConstantsDownload
Verified
9Lecture 8:Connectives, Scope of ConnectivesDownload
Verified
10Lecture 10: Symbolization with ConnectivesDownload
Verified
11Lecture 11: Propositional Logic: Semantics Basics of a Truth TableDownload
Verified
12Lecture 12: Using Truth Table: Tautology, Contradiction, Contingent PropositionsDownload
Verified
13Lecture 13: Using Truth Table: Testing Arguments for Validity and InvalidityDownload
Verified
14Lecture 14: Shorter Truth TableDownload
Verified
15Lecture 15: Using Truth Table: Testing a Set of Propositions for consistency and inconsistency, and for logical equivalenceDownload
Verified
16Lecture 16: Introduction to Truth TreesDownload
Verified
17Lecture 17: Truth Tree Rules and their ApplicationDownload
Verified
18Lecture 18: More on Truth-Tree Recovery of Partial Truth - ValuesDownload
Verified
19Lecture 19: Using the Truth TreesDownload
Verified
20Lecture 20: More on Truth TreesDownload
Verified
21Lecture 21: Formal Proof of ValidityDownload
Verified
22Lecture 22: Valid Argument Forms:Download
Verified
23Lecture 23: How to Apply the Rules of Inference in a ProofDownload
Verified
24Lecture 24: Understanding the RulesDownload
Verified
25Lecture 25: Proofs with All RulesDownload
Verified
26Lecture 26: Completeness : What it isDownload
Verified
27Lecture 27: Indirect ProofDownload
Verified
28Lecture 28: Conditional ProofDownload
Verified
29Lecture 29: More on Conditional ProofDownload
Verified
30Lecture 30: More on DerivationsDownload
Verified
31Lecture 31: Limitation of Propositional LogicDownload
Verified
32Lecture 32: Basic 4 Types of Categorical PropositionsDownload
Verified
33Lecture 33: Understanding Logical Relations in Standard Form Categorical PropositionsDownload
Verified
34Lecture 34 : Translating Non-Standard Propositions into Standard Form Categorical Propositions Download
Verified
35Lecture 35: Validity and Invalidity of SyllogismsDownload
Verified
36Lecture 36 : First Order Predicate LogicDownload
Verified
37Lecture 37 : Quantifiers Download
Verified
38Lecture 38 : Scope of a Quantifier Edit LessonDownload
Verified
39Lecture 39 : Multiple Quantifiers Download
Verified
40Lecture 40 : Understanding Overlapping Quantifiers Sharing Predicates and ScopeDownload
Verified


Sl.No Language Book link
1EnglishDownload
2BengaliNot Available
3GujaratiNot Available
4HindiNot Available
5KannadaNot Available
6MalayalamNot Available
7MarathiNot Available
8TamilNot Available
9TeluguNot Available