Inference rules for quantifiers | FOL | Artificial intelligence | Lec-33 | Bhanu Priya