Learn · Symbolic Logic

Lecture 8 of 40Week 2:

Lecture 9: Truth-functional Connectives, Propositional Variables, Propositional Constants

Prof. Chhanda Chakraborti · IIT Kharagpur

Credits and licence

From
Symbolic Logic, IIT Kharagpur (at NPTEL)
Licence
CC BY-NC-SA, as NPTEL states it. Non-commercial use only.
Attribution
NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
Who can watch
Teens profiles and older. How courses are placed

All the lectures

  1. Lecture 1: Introduction Video
  2. Lecture 2: Propositions, Arguments, Components, Basic Characteristics Video
  3. Lecture 3: Recognizing arguments, Diagramming logic flow Video
  4. Lecture 4: Types of arguments, Deductive, Inductive, different norms to assess arguments Video
  5. Lecture 5: Concepts of Validity Soundness, Consistency Video
  6. Lecture 6: History of Symbolic Language Video
  7. Lecture 7: Propositional Logic: Syntax Video
  8. Lecture 9: Truth-functional Connectives, Propositional Variables, Propositional Constants Video
  9. Lecture 8:Connectives, Scope of Connectives Video
  10. Lecture 10: Symbolization with Connectives Video
  11. Lecture 11: Propositional Logic: Semantics Basics of a Truth Table Video
  12. Lecture 12: Using Truth Table: Tautology, Contradiction, Contingent Propositions Video
  13. Lecture 13: Using Truth Table: Testing Arguments for Validity and Invalidity Video
  14. Lecture 14: Shorter Truth Table Video
  15. Lecture 15: Using Truth Table: Testing a Set of Propositions for consistency and inconsistency, and for logical equivalence Video
  16. Lecture 16: Introduction to Truth Trees Video
  17. Lecture 17: Truth Tree Rules and their Application Video
  18. Lecture 18: More on Truth-Tree Recovery of Partial Truth - Values Video
  19. Lecture 19: Using the Truth Trees Video
  20. Lecture 20: More on Truth Trees Video
  21. Lecture 21: Formal Proof of Validity Video
  22. Lecture 22: Valid Argument Forms: Video
  23. Lecture 23: How to Apply the Rules of Inference in a Proof Video
  24. Lecture 24: Understanding the Rules Video
  25. Lecture 25: Proofs with All Rules Video
  26. Lecture 26: Completeness : What it is Video
  27. Lecture 27: Indirect Proof Video
  28. Lecture 28: Conditional Proof Video
  29. Lecture 29: More on Conditional Proof Video
  30. Lecture 30: More on Derivations Video
  31. Lecture 31: Limitation of Propositional Logic Video
  32. Lecture 32: Basic 4 Types of Categorical Propositions Video
  33. Lecture 33: Understanding Logical Relations in Standard Form Categorical Propositions Video
  34. Lecture 34 : Translating Non-Standard Propositions into Standard Form Categorical Propositions Video
  35. Lecture 35: Validity and Invalidity of Syllogisms Video
  36. Lecture 36 : First Order Predicate Logic Video
  37. Lecture 37 : Quantifiers Video
  38. Lecture 38 : Scope of a Quantifier Edit Lesson Video
  39. Lecture 39 : Multiple Quantifiers Video
  40. Lecture 40 : Understanding Overlapping Quantifiers Sharing Predicates and Scope Video