PDC4S:\Coding\GATE 2021 RavindraBabu Ravula\Combinatorics and Propositional Logic\5.Introduction to propositional calculus | ||
 Up one directory... | ||
 | ||
 1.Introduction.m4v | ||
| 10.Equivalences.mp4 | ||
| 11.DeMorgans law.mp4 | ||
| 12.Argument-inference.mp4 | ||
| 13.Rules of inference.mp4 | ||
| 14.Invalid arguments(fallacies).mp4 | ||
| 15.Example 1 on argument is valid or not.mp4 | ||
| 16.Example 2 on argument is valid or not.mp4 | ||
| 17.Example 1 on premises are consistent or inconsistent.mp4 | ||
| 18.conditional proff.mp4 | ||
| 19.Example using conditional proff.mp4 | ||
| 2.Connectives ^v and ~ symbols.m4v | ||
| 20.Propositional function.mp4 | ||
| 21.Quantifiers.mp4 | ||
| 22.Relation between the two quantifiers.mp4 | ||
| 23.Distributing quantifiers.mp4 | ||
| 24.Quantifiers with Negation.mp4 | ||
| 25.Examples on negating the quantifiers.mp4 | ||
| 26.Important examples.mp4 | ||
| 27.Translating English statements to propositional functions.mp4 | ||
| 28.Translation continued.mp4 | ||
| 29.Translation returns.mp4 | ||
| 3.Implication.m4v | ||
| 30.Translation revisited.mp4 | ||
| 31.Example on translation.mp4 | ||
| 32.GATE 2012 question.mp4 | ||
| 33.GATE 2014 question.m4v | ||
| 34.GATE 2009 question.m4v | ||
| 4.Questions on implication.m4v | ||
| 5.Bi conditional.mp4 | ||
| 6.Example 1.mp4 | ||
| 9.Consistent system.mp4 | ||