This course include crisp video lectures for propositional logic and first order logic with a special focus on important topics like logical equivalence, validity of arguments, inferring statements.
Validity
12 months
500
1 Propositional Logic
This chapter covers identifying the propositions, basic logical connectives like conjunction, disjunction, exclusive or, implication, bi-implication, precedence rules. Finding tautology, contradiction, satisfiable and unsatisfiable formulae. Finding two formulae are equivalent using logical equivalence rules. Checking if the argument is valid or not using rules of inference.
This is the first video of the series on the course mathematical logic. This lecture covers introduction to logic, propositions, negating statements and first logical connective conjunction (and)
This is the second video in the web series on the propositional logic where the connectives disjunction , exclusive or, implication, biimplication and precedence rules are discussed.
This video lecture from the course mathematical logic covers the need for a truth table, numbers of rows in a truth table, methods to formulate them and finally an introduction to logical equivalence.
This video lecture is a part of the course mathematical logic for gate, which covers the concept of validity of arguments, difference between human logic and machine logic, inference rules and methods to find validity of arguments.
This video lecture of the chapter propositional logic, from the course mathematical logic covers some extra topics which are not that important for gate exam.
The following worksheet for propositional logic will help you master the basic formulae
2 First Order Logic
First order logic is also known as predicate logic, this chapter covers the basic understanding of predicates and quantifiers, Logical equivalence rules with quantifiers, validity of arguments with quantifiers and inferring quantified statements.
This video covers the idea of predicates also know as first order logic.Then the use of universal quantifier and existential quantifier, bound and free variables.