Lecture 1 - Propositional Logic

Lecture 1 - Propositional Logic

begin-post-stats

nptelhrd • 803K views

end-post-stats begin-duration 56:48 end-duration
Math topics:
_Boolean_algebra_##Boolean algebra##_Truth_table_##Truth table##_Propositional_formula_##Propositional formula##_Boolean_algebra_##Boolean algebra##_Propositional_calculus_##Propositional calculus##_Logical_consequence_##Logical consequence##_Logical_equivalence_##Logical equivalence##_Propositional_calculus_##Propositional calculus##_Logical_connectives_##Logical connectives##_Material_conditional_##Material conditional##_Logical_disjunction_##Logical disjunction##_False_(logic)_##False (logic)##_Logical_truth_##Logical truth##_Discrete_mathematics_##Discrete mathematics##_Combinatorics_##Combinatorics##_Well-formed_formula_##Well-formed formula##_Discrete_mathematics_##Discrete mathematics
Other topics:
_Logic_##Logic##_Truth_value_##Truth value##_Statement_(logic)_##Statement (logic)##_Contradiction_##Contradiction##_Truth_##Truth##_Syntax_(logic)_##Syntax (logic)##_Tautology_(logic)_##Tautology (logic)##_Variable_(mathematics)_##Variable (mathematics)##_Proposition_##Proposition##_Expression_(mathematics)_##Expression (mathematics)##_Abstraction_##Abstraction##_Logic_##Logic##_Concept_##Concept##_Exclusive_or_##Exclusive or##_Theorems_##Theorems##_Theorem_##Theorem##_Contraposition_##Contraposition##_Reductio_ad_absurdum_##Reductio ad absurdum
video-id: xlUFkMKSB3Y channel_nptelhrd_