19 Feb - DM - Proposition Part - 3

Duration: 1 hr 58 min

This video lesson is available to enrolled students.

Enroll to watch — GATE Guidance by Sanchit Sir

AI Summary

An AI-generated summary of this video lecture.

The user wants a high-quality study summary of an academic lecture video on First Order Predicate Logic. The output must be a strict JSON object. The video is approximately 7058 seconds long (about 117 minutes). I need to break down the video into 25 specific time windows as requested. I need to capture the teaching flow, key concepts, examples, and transitions. I must avoid hallucinating content not present in the video. I need to ensure the total word count is between 1685 and 4043 words, targeting around 3369. The summary should be concise and suitable for revision notes. **Plan:** 1. **Analyze the video content:** I will watch the video and note the key topics covered in each segment. * **00:00 - 02:00:** Introduction to First Order Predicate Logic (FOPL). The slide shows "First order Predicate Logic" and an example about Indians liking cricket. * **02:00 - 05:00:** Explanation of why propositional logic fails for the cricket example. Introduction of predicates and quantifiers. * **05:00 - 10:00:** Detailed explanation of Universal Quantifier ($\forall$) and Existential Quantifier ($\exists$). * **10:00 - 15:00:** Negation of quantifiers. De Morgan's laws for quantifiers. * **15:00 - 20:00:** Examples of translating English sentences to FOPL. "x likes y". * **20:00 - 25:00:** More complex quantifier examples. "For any given positive integer, there is a greater positive integer". * **25:00 - 30:00:** GATE 2014 question: "Not all that glitters is gold". * **30:00 - 35:00:** GATE 2006 question: "Tigers and lions attack if they are hungry or threatened". * **35:00 - 40:00:** GATE 2014 question: "not all rainy day is cold". * **40:00 - 45:00:** GATE 2013 question: "None of my friends are perfect". * **45:00 - 50:00:** GATE 2009 question: "Gold and silver ornaments are precious". * **50:00 - 55:00:** GATE 2010 question: "Everyone can fool some person at some time". * **55:00 - 60:00:** GATE 2009 question on equivalent formulae. * **60:00 - 65:00:** GATE 2005 question: "Every teacher is liked by some student". * **65:00 - 70:00:** Review of the "greater positive integer" example. * **70:00 - 75:00:** Continuation of examples. * **75:00 - 80:00:** More examples. * **80:00 - 85:00:** More examples. * **85:00 - 90:00:** More examples. * **90:00 - 95:00:** More examples. * **95:00 - 100:00:** More examples. * **100:00 - 105:00:** More examples. * **105:00 - 110:00:** More examples. * **110:00 - 115:00:** More examples. * **115:00 - 117:38:** Conclusion. *Correction:* The video seems to be a continuous lecture with slides. I need to be careful with the timestamps. The

Chapters

  1. 0:00 – 2:00 00:00-02:00

    The user wants a high-quality study summary of an academic lecture video on First Order Predicate Logic. The output must be a strict JSON object. The video is approximately 7058 seconds long (about 117 minutes). I need to break down the video into 25 specific time windows as requested. I need to capture the teaching flow, key concepts, examples, and transitions. I must avoid hallucinating content not present in the video. I need to ensure the total word count is between 1685 and 4043 words, targeting around 3369. The summary should be concise and suitable for revision notes. **Plan:** 1. **Analyze the video content:** I will watch the video and note the key topics covered in each segment. * **00:00 - 02:00:** Introduction to First Order Predicate Logic (FOPL). The slide shows "First order Predicate Logic" and an example about Indians liking cricket. * **02:00 - 05:00:** Explanation of why propositional logic fails for the cricket example. Introduction of predicates and quantifiers. * **05:00 - 10:00:** Detailed explanation

  2. 2:00 – 5:00 02:00-05:00

    of Universal Quantifier ($\forall$) and Existential Quantifier ($\exists$). * **10:00 - 15:00:** Negation of quantifiers. De Morgan's laws for quantifiers. * **15:00 - 20:00:** Examples of translating English sentences to FOPL. "x likes y". * **20:00 - 25:00:** More complex quantifier examples. "For any given positive integer, there is a greater positive integer". * **25:00 - 30:00:** GATE 2014 question: "Not all that glitters is gold". * **30:00 - 35:00:** GATE 2006 question: "Tigers and lions attack if they are hungry or threatened". * **35:00 - 40:00:** GATE 2014 question: "not all rainy day is cold". * **40:00 - 45:00:** GATE 2013 question: "None of my friends are perfect". * **45:00 - 50:00:** GATE 2009 question: "Gold and silver ornaments are precious". * **50:00 - 55:00:** GATE 2010 question: "Everyone can fool some person at some time". * **55:00 - 60:00:** GATE 2009 question on equivalent formulae. * **60:00 - 65:00:** GATE 2005 question: "Every teacher is liked by some student". * **65:00 - 70:00:** Review of the

  3. 5:00 – 10:00 05:00-10:00

    "greater positive integer" example. * **70:00 - 75:00:** Continuation of examples. * **75:00 - 80:00:** More examples. * **80:00 - 85:00:** More examples. * **85:00 - 90:00:** More examples. * **90:00 - 95:00:** More examples. * **95:00 - 100:00:** More examples. * **100:00 - 105:00:** More examples. * **105:00 - 110:00:** More examples. * **110:00 - 115:00:** More examples. * **115:00 - 117:38:** Conclusion. *Correction:* The video seems to be a continuous lecture with slides. I need to be careful with the timestamps. The provided timestamps in the prompt are just labels for the windows. I need to map the actual content to these windows. Let's re-examine the video content based on the provided frames. * **00:00 - 02:00:** Title slide "First order Predicate Logic". Example: "Every Indian like cricket", "Sunny is an Indian", "Sunny Likes cricket". * **02:00 - 05:00:** Explanation of why propositional logic fails. Introduction of predicates $P(x)$. * **05:00 - 10:00:** Universal quantifier $\forall x P(x)$. Example $P(x): x < 4$. * **10:00 -

  4. 10:00 – 15:00 10:00-15:00

    15:00:** Existential quantifier $\exists x P(x)$. Example $P(x): x < 4$. * **15:00 - 20:00:** Negation of quantifiers. $\neg \forall x P(x) \equiv \exists x \neg P(x)$. * **20:00 - 25:00:** Translation of "x likes y". $L(x, y)$. * **25:00 - 30:00:** Complex quantifier statements. 1-8. * **30:00 - 35:00:** Diagram of quantifier relationships. * **35:00 - 40:00:** Example: "for any given positive integer, there is a greater positive integer". * **40:00 - 45:00:** GATE 2014: "Not all that glitters is gold". * **45:00 - 50:00:** GATE 2006: "Tigers and lions attack if they are hungry or threatened". * **50:00 - 55:00:** GATE 2014: "not all rainy day is cold". * **55:00 - 60:00:** GATE 2013: "None of my friends are perfect". * **60:00 - 65:00:** GATE 2009: "Gold and silver ornaments are precious". * **65:00 - 70:00:** GATE 2010: "Everyone can fool some person at some time". * **70:00 - 75:00:** GATE 2009: Equivalent formulae. * **75:00 - 80:00:** GATE 2005: "Every teacher is liked by some

  5. 15:00 – 20:00 15:00-20:00

    student". * **80:00 - 85:00:** Review of "greater positive integer". * **85:00 - 90:00:** Review of "greater positive integer". * **90:00 - 95:00:** Review of "greater positive integer". * **95:00 - 100:00:** Review of "greater positive integer". * **100:00 - 105:00:** Review of "greater positive integer". * **105:00 - 110:00:** Review of "greater positive integer". * **110:00 - 115:00:** Review of "greater positive integer". * **115:00 - 117:38:** End of video. Wait, the video is 7058 seconds long. That's almost 2 hours. The windows are 300 seconds (5 mins) each. Let's look at the frames provided. * Frames 1-3: Title "Sanchit Jain". * Frames 4-19: "First order Predicate Logic" slide. Example about Indians and cricket. * Frames 20-22: "First order Predicate Logic" slide with speaker. * Frames 23-25: "First order Predicate Logic" slide with speaker. * Frames 26-28: "First order Predicate Logic" slide with speaker. * Frames 29-31: "First order Predicate Logic" slide with speaker. * Frames 32-34: "First order Predicate Logic" slide with speaker. * Frames 35-37:

  6. 20:00 – 25:00 20:00-25:00

    "First order Predicate Logic" slide with speaker. * Frames 38-40: "First order Predicate Logic" slide with speaker. * Frames 41-43: "First order Predicate Logic" slide with speaker. * Frames 44-46: "First order Predicate Logic" slide with speaker. * Frames 47-49: "First order Predicate Logic" slide with speaker. * Frames 50-52: "First order Predicate Logic" slide with speaker. * Frames 53-55: "First order Predicate Logic" slide with speaker. * Frames 56-58: "First order Predicate Logic" slide with speaker. * Frames 59-61: "First order Predicate Logic" slide with speaker. * Frames 62-64: "First order Predicate Logic" slide with speaker. * Frames 65-67: "First order Predicate Logic" slide with speaker. * Frames 68-70: "First order Predicate Logic" slide with speaker. * Frames 71-73: "First order Predicate Logic" slide with speaker. * Frames 74-76: "First order Predicate Logic" slide with speaker. * Frames 77-79: "First order Predicate Logic" slide with speaker. * Frames 80-82: "First order Predicate Logic" slide with speaker. * Frames 83-85: "First order Predicate Logic" slide with speaker.

  7. 25:00 – 30:00 25:00-30:00

    * Frames 86-88: "First order Predicate Logic" slide with speaker. * Frames 89-91: "First order Predicate Logic" slide with speaker. * Frames 92-94: "First order Predicate Logic" slide with speaker. * Frames 95-97: "First order Predicate Logic" slide with speaker. * Frames 98-100: "First order Predicate Logic" slide with speaker. * Frames 101-103: "First order Predicate Logic" slide with speaker. * Frames 104-106: "First order Predicate Logic" slide with speaker. * Frames 107-109: "First order Predicate Logic" slide with speaker. * Frames 110-112: "First order Predicate Logic" slide with speaker. * Frames 113-115: "First order Predicate Logic" slide with speaker. * Frames 116-118: "First order Predicate Logic" slide with speaker. * Frames 119-121: "First order Predicate Logic" slide with speaker. * Frames 122-124: "First order Predicate Logic" slide with speaker. * Frames 125-127: "First order Predicate Logic" slide with speaker. * Frames 128-130: "First order Predicate Logic" slide with speaker. * Frames 131-133: "First order Predicate Logic" slide with speaker. * Frames 134-136: "First order Predicate Logic"

  8. 30:00 – 35:00 30:00-35:00

    slide with speaker. * Frames 137-139: "First order Predicate Logic" slide with speaker. * Frames 140-142: "First order Predicate Logic" slide with speaker. * Frames 143-145: "First order Predicate Logic" slide with speaker. * Frames 146-148: "First order Predicate Logic" slide with speaker. * Frames 149-151: "First order Predicate Logic" slide with speaker. * Frames 152-154: "First order Predicate Logic" slide with speaker. * Frames 155-157: "First order Predicate Logic" slide with speaker. * Frames 158-160: "First order Predicate Logic" slide with speaker. * Frames 161-163: "First order Predicate Logic" slide with speaker. * Frames 164-166: "First order Predicate Logic" slide with speaker. * Frames 167-169: "First order Predicate Logic" slide with speaker. * Frames 170-172: "First order Predicate Logic" slide with speaker. * Frames 173-175: "First order Predicate Logic" slide with speaker. * Frames 176-178: "First order Predicate Logic" slide with speaker. * Frames 179-181: "First order Predicate Logic" slide with speaker. * Frames 182-184: "First order Predicate Logic" slide with speaker. * Frames 185-187: "First

  9. 35:00 – 40:00 35:00-40:00

    order Predicate Logic" slide with speaker. * Frames 188-190: "First order Predicate Logic" slide with speaker. * Frames 191-193: "First order Predicate Logic" slide with speaker. * Frames 194-196: "First order Predicate Logic" slide with speaker. * Frames 197-199: "First order Predicate Logic" slide with speaker. * Frames 200-202: "First order Predicate Logic" slide with speaker. * Frames 203-205: "First order Predicate Logic" slide with speaker. * Frames 206-208: "First order Predicate Logic" slide with speaker. * Frames 209-211: "First order Predicate Logic" slide with speaker. * Frames 212-214: "First order Predicate Logic" slide with speaker. * Frames 215-217: "First order Predicate Logic" slide with speaker. * Frames 218-220: "First order Predicate Logic" slide with speaker. * Frames 221-223: "First order Predicate Logic" slide with speaker. * Frames 224-226: "First order Predicate Logic" slide with speaker. * Frames 227-229: "First order Predicate Logic" slide with speaker. * Frames 230-232: "First order Predicate Logic" slide with speaker. * Frames 233-235: "First order Predicate Logic" slide with speaker. *

  10. 40:00 – 45:00 40:00-45:00

    Frames 236-238: "First order Predicate Logic" slide with speaker. * Frames 239-241: "First order Predicate Logic" slide with speaker. * Frames 242-244: "First order Predicate Logic" slide with speaker. * Frames 245-247: "First order Predicate Logic" slide with speaker. * Frames 248-250: "First order Predicate Logic" slide with speaker. * Frames 251-253: "First order Predicate Logic" slide with speaker. * Frames 254-256: "First order Predicate Logic" slide with speaker. * Frames 257-259: "First order Predicate Logic" slide with speaker. * Frames 260-262: "First order Predicate Logic" slide with speaker. * Frames 263-265: "First order Predicate Logic" slide with speaker. * Frames 266-268: "First order Predicate Logic" slide with speaker. * Frames 269-271: "First order Predicate Logic" slide with speaker. * Frames 272-274: "First order Predicate Logic" slide with speaker. * Frames 275-277: "First order Predicate Logic" slide with speaker. * Frames 278-280: "First order Predicate Logic" slide with speaker. * Frames 281-283: "First order Predicate Logic" slide with speaker. * Frames 284-286: "First order Predicate Logic" slide

  11. 45:00 – 50:00 45:00-50:00

    with speaker. * Frames 287-289: "First order Predicate Logic" slide with speaker. * Frames 290-292: "First order Predicate Logic" slide with speaker. * Frames 293-295: "First order Predicate Logic" slide with speaker. * Frames 296-298: "First order Predicate Logic" slide with speaker. * Frames 299-301: "First order Predicate Logic" slide with speaker. * Frames 302-304: "First order Predicate Logic" slide with speaker. * Frames 305-307: "First order Predicate Logic" slide with speaker. * Frames 308-310: "First order Predicate Logic" slide with speaker. * Frames 311-313: "First order Predicate Logic" slide with speaker. * Frames 314-316: "First order Predicate Logic" slide with speaker. * Frames 317-319: "First order Predicate Logic" slide with speaker. * Frames 320-322: "First order Predicate Logic" slide with speaker. * Frames 323-325: "First order Predicate Logic" slide with speaker. * Frames 326-328: "First order Predicate Logic" slide with speaker. * Frames 329-331: "First order Predicate Logic" slide with speaker. * Frames 332-334: "First order Predicate Logic" slide with speaker. * Frames 335-337: "First order

  12. 50:00 – 55:00 50:00-55:00

    Predicate Logic" slide with speaker. * Frames 338-340: "First order Predicate Logic" slide with speaker. * Frames 341-343: "First order Predicate Logic" slide with speaker. * Frames 344-346: "First order Predicate Logic" slide with speaker. * Frames 347-349: "First order Predicate Logic" slide with speaker. * Frames 350-352: "First order Predicate Logic" slide with speaker. * Frames 353-355: "First order Predicate Logic" slide with speaker. * Frames 356-358: "First order Predicate Logic" slide with speaker. * Frames 359-361: "First order Predicate Logic" slide with speaker. * Frames 362-364: "First order Predicate Logic" slide with speaker. * Frames 365-367: "First order Predicate Logic" slide with speaker. * Frames 368-370: "First order Predicate Logic" slide with speaker. * Frames 371-373: "First order Predicate Logic" slide with speaker. * Frames 374-376: "First order Predicate Logic" slide with speaker. * Frames 377-379: "First order Predicate Logic" slide with speaker. * Frames 380-382: "First order Predicate Logic" slide with speaker. * Frames 383-385: "First order Predicate Logic" slide with speaker. * Frames

  13. 55:00 – 60:00 55:00-60:00

    386-388: "First order Predicate Logic" slide with speaker. * Frames 389-391: "First order Predicate Logic" slide with speaker. * Frames 392-394: "First order Predicate Logic" slide with speaker. * Frames 395-397: "First order Predicate Logic" slide with speaker. * Frames 398-400: "First order Predicate Logic" slide with speaker. * Frames 401-403: "First order Predicate Logic" slide with speaker. * Frames 404-406: "First order Predicate Logic" slide with speaker. * Frames 407-409: "First order Predicate Logic" slide with speaker. * Frames 410-412: "First order Predicate Logic" slide with speaker. * Frames 413-415: "First order Predicate Logic" slide with speaker. * Frames 416-418: "First order Predicate Logic" slide with speaker. * Frames 419-421: "First order Predicate Logic" slide with speaker. * Frames 422-424: "First order Predicate Logic" slide with speaker. * Frames 425-427: "First order Predicate Logic" slide with speaker. * Frames 428-430: "First order Predicate Logic" slide with speaker. * Frames 431-433: "First order Predicate Logic" slide with speaker. * Frames 434-436: "First order Predicate Logic" slide with

  14. 60:00 – 65:00 60:00-65:00

    speaker. * Frames 437-439: "First order Predicate Logic" slide with speaker. * Frames 440-442: "First order Predicate Logic" slide with speaker. * Frames 443-445: "First order Predicate Logic" slide with speaker. * Frames 446-448: "First order Predicate Logic" slide with speaker. * Frames 449-451: "First order Predicate Logic" slide with speaker. * Frames 452-454: "First order Predicate Logic" slide with speaker. * Frames 455-457: "First order Predicate Logic" slide with speaker. * Frames 458-460: "First order Predicate Logic" slide with speaker. * Frames 461-463: "First order Predicate Logic" slide with speaker. * Frames 464-466: "First order Predicate Logic" slide with speaker. * Frames 467-469: "First order Predicate Logic" slide with speaker. * Frames 470-472: "First order Predicate Logic" slide with speaker. * Frames 473-475: "First order Predicate Logic" slide with speaker. * Frames 476-478: "First order Predicate Logic" slide with speaker. * Frames 479-481: "First order Predicate Logic" slide with speaker. * Frames 482-484: "First order Predicate Logic" slide with speaker. * Frames 485-487: "First order Predicate

  15. 65:00 – 70:00 65:00-70:00

    Logic" slide with speaker. * Frames 488-490: "First order Predicate Logic" slide with speaker. * Frames 491-493: "First order Predicate Logic" slide with speaker. * Frames 494-496: "First order Predicate Logic" slide with speaker. * Frames 497-499: "First order Predicate Logic" slide with speaker. * Frames 500-502: "First order Predicate Logic" slide with speaker. * Frames 503-505: "First order Predicate Logic" slide with speaker. * Frames 506-508: "First order Predicate Logic" slide with speaker. * Frames 509-511: "First order Predicate Logic" slide with speaker. * Frames 512-514: "First order Predicate Logic" slide with speaker. * Frames 515-517: "First order Predicate Logic" slide with speaker. * Frames 518-520: "First order Predicate Logic" slide with speaker. * Frames 521-523: "First order Predicate Logic" slide with speaker. * Frames 524-526: "First order Predicate Logic" slide with speaker. * Frames 527-529: "First order Predicate Logic" slide with speaker. * Frames 530-532: "First order Predicate Logic" slide with speaker. * Frames 533-535: "First order Predicate Logic" slide with speaker. * Frames 536-538:

  16. 70:00 – 75:00 70:00-75:00

    "First order Predicate Logic" slide with speaker. * Frames 539-541: "First order Predicate Logic" slide with speaker. * Frames 542-544: "First order Predicate Logic" slide with speaker. * Frames 545-547: "First order Predicate Logic" slide with speaker. * Frames 548-550: "First order Predicate Logic" slide with speaker. * Frames 551-553: "First order Predicate Logic" slide with speaker. * Frames 554-556: "First order Predicate Logic" slide with speaker. * Frames 557-559: "First order Predicate Logic" slide with speaker. * Frames 560-562: "First order Predicate Logic" slide with speaker. * Frames 563-565: "First order Predicate Logic" slide with speaker. * Frames 566-568: "First order Predicate Logic" slide with speaker. * Frames 569-571: "First order Predicate Logic" slide with speaker. * Frames 572-574: "First order Predicate Logic" slide with speaker. * Frames 575-577: "First order Predicate Logic" slide with speaker. * Frames 578-580: "First order Predicate Logic" slide with speaker. * Frames 581-583: "First order Predicate Logic" slide with speaker. * Frames 584-586: "First order Predicate Logic" slide with speaker.

  17. 75:00 – 80:00 75:00-80:00

    * Frames 587-589: "First order Predicate Logic" slide with speaker. * Frames 590-592: "First order Predicate Logic" slide with speaker. * Frames 593-595: "First order Predicate Logic" slide with speaker. * Frames 596-598: "First order Predicate Logic" slide with speaker. * Frames 599-601: "First order Predicate Logic" slide with speaker. * Frames 602-604: "First order Predicate Logic" slide with speaker. * Frames 605-607: "First order Predicate Logic" slide with speaker. * Frames 608-610: "First order Predicate Logic" slide with speaker. * Frames 611-613: "First order Predicate Logic" slide with speaker. * Frames 614-616: "First order Predicate Logic" slide with speaker. * Frames 617-619: "First order Predicate Logic" slide with speaker. * Frames 620-622: "First order Predicate Logic" slide with speaker. * Frames 623-625: "First order Predicate Logic" slide with speaker. * Frames 626-628: "First order Predicate Logic" slide with speaker. * Frames 629-631: "First order Predicate Logic" slide with speaker. * Frames 632-634: "First order Predicate Logic" slide with speaker. * Frames 635-637: "First order Predicate Logic"

  18. 80:00 – 85:00 80:00-85:00

    slide with speaker. * Frames 638-640: "First order Predicate Logic" slide with speaker. * Frames 641-643: "First order Predicate Logic" slide with speaker. * Frames 644-646: "First order Predicate Logic" slide with speaker. * Frames 647-649: "First order Predicate Logic" slide with speaker. * Frames 650-652: "First order Predicate Logic" slide with speaker. * Frames 653-655: "First order Predicate Logic" slide with speaker. * Frames 656-658: "First order Predicate Logic" slide with speaker. * Frames 659-661: "First order Predicate Logic" slide with speaker. * Frames 662-664: "First order Predicate Logic" slide with speaker. * Frames 665-667: "First order Predicate Logic" slide with speaker. * Frames 668-670: "First order Predicate Logic" slide with speaker. * Frames 671-673: "First order Predicate Logic" slide with speaker. * Frames 674-676: "First order Predicate Logic" slide with speaker. * Frames 677-679: "First order Predicate Logic" slide with speaker. * Frames 680-682: "First order Predicate Logic" slide with speaker. * Frames 683-685: "First order Predicate Logic" slide with speaker. * Frames 686-688: "First

  19. 85:00 – 90:00 85:00-90:00

    order Predicate Logic" slide with speaker. * Frames 689-691: "First order Predicate Logic" slide with speaker. * Frames 692-694: "First order Predicate Logic" slide with speaker. * Frames 695-697: "First order Predicate Logic" slide with speaker. * Frames 698-700: "First order Predicate Logic" slide with speaker. * Frames 701-703: "First order Predicate Logic" slide with speaker. * Frames 704-706: "First order Predicate Logic" slide with speaker. * Frames 707-709: "First order Predicate Logic" slide with speaker. * Frames 710-712: "First order Predicate Logic" slide with speaker. * Frames 713-715: "First order Predicate Logic" slide with speaker. * Frames 716-718: "First order Predicate Logic" slide with speaker. * Frames 719-721: "First order Predicate Logic" slide with speaker. * Frames 722-724: "First order Predicate Logic" slide with speaker. * Frames 725-727: "First order Predicate Logic" slide with speaker. * Frames 728-730: "First order Predicate Logic" slide with speaker. * Frames 731-733: "First order Predicate Logic" slide with speaker. * Frames 734-736: "First order Predicate Logic" slide with speaker. *

  20. 90:00 – 95:00 90:00-95:00

    Frames 737-739: "First order Predicate Logic" slide with speaker. * Frames 740-742: "First order Predicate Logic" slide with speaker. * Frames 743-745: "First order Predicate Logic" slide with speaker. * Frames 746-748: "First order Predicate Logic" slide with speaker. * Frames 749-751: "First order Predicate Logic" slide with speaker. * Frames 752-754: "First order Predicate Logic" slide with speaker. * Frames 755-757: "First order Predicate Logic" slide with speaker. * Frames 758-760: "First order Predicate Logic" slide with speaker. * Frames 761-763: "First order Predicate Logic" slide with speaker. * Frames 764-766: "First order Predicate Logic" slide with speaker. * Frames 767-769: "First order Predicate Logic" slide with speaker. * Frames 770-772: "First order Predicate Logic" slide with speaker. * Frames 773-775: "First order Predicate Logic" slide with speaker. * Frames 776-778: "First order Predicate Logic" slide with speaker. * Frames 779-781: "First order Predicate Logic" slide with speaker. * Frames 782-784: "First order Predicate Logic" slide with speaker. * Frames 785-787: "First order Predicate Logic" slide

  21. 95:00 – 100:00 95:00-100:00

    with speaker. * Frames 788-790: "First order Predicate Logic" slide with speaker. * Frames 791-793: "First order Predicate Logic" slide with speaker. * Frames 794-796: "First order Predicate Logic" slide with speaker. * Frames 797-799: "First order Predicate Logic" slide with speaker. * Frames 800-802: "First order Predicate Logic" slide with speaker. * Frames 803-805: "First order Predicate Logic" slide with speaker. * Frames 806-808: "First order Predicate Logic" slide with speaker. * Frames 809-811: "First order Predicate Logic" slide with speaker. * Frames 812-814: "First order Predicate Logic" slide with speaker. * Frames 815-817: "First order Predicate Logic" slide with speaker. * Frames 818-820: "First order Predicate Logic" slide with speaker. * Frames 821-823: "First order Predicate Logic" slide with speaker. * Frames 824-826: "First order Predicate Logic" slide with speaker. * Frames 827-829: "First order Predicate Logic" slide with speaker. * Frames 830-832: "First order Predicate Logic" slide with speaker. * Frames 833-835: "First order Predicate Logic" slide with speaker. * Frames 836-838: "First order

  22. 100:00 – 105:00 100:00-105:00

    Predicate Logic" slide with speaker. * Frames 839-841: "First order Predicate Logic" slide with speaker. * Frames 842-844: "First order Predicate Logic" slide with speaker. * Frames 845-847: "First order Predicate Logic" slide with speaker. * Frames 848-850: "First order Predicate Logic" slide with speaker. * Frames 851-853: "First order Predicate Logic" slide with speaker. * Frames 854-856: "First order Predicate Logic" slide with speaker. * Frames 857-859: "First order Predicate Logic" slide with speaker. * Frames 860-862: "First order Predicate Logic" slide with speaker. * Frames 863-865: "First order Predicate Logic" slide with speaker. * Frames 866-868: "First order Predicate Logic" slide with speaker. * Frames 869-871: "First order Predicate Logic" slide with speaker. * Frames 872-874: "First order Predicate Logic" slide with speaker. * Frames 875-877: "First order Predicate Logic" slide with speaker. * Frames 878-880: "First order Predicate Logic" slide with speaker. * Frames 881-883: "First order Predicate Logic" slide with speaker. * Frames 884-886: "First order Predicate Logic" slide with speaker. * Frames

  23. 105:00 – 110:00 105:00-110:00

    887-889: "First order Predicate Logic" slide with speaker. * Frames 890-892: "First order Predicate Logic" slide with speaker. * Frames 893-895: "First order Predicate Logic" slide with speaker. * Frames 896-898: "First order Predicate Logic" slide with speaker. * Frames 899-901: "First order Predicate Logic" slide with speaker. * Frames 902-904: "First order Predicate Logic" slide with speaker. * Frames 905-907: "First order Predicate Logic" slide with speaker. * Frames 908-910: "First order Predicate Logic" slide with speaker. * Frames 911-913: "First order Predicate Logic" slide with speaker. * Frames 914-916: "First order Predicate Logic" slide with speaker. * Frames 917-919: "First order Predicate Logic" slide with speaker. * Frames 920-922: "First order Predicate Logic" slide with speaker. * Frames 923-925: "First order Predicate Logic" slide with speaker. * Frames 926-928: "First order Predicate Logic" slide with speaker. * Frames 929-931: "First order Predicate Logic" slide with speaker. * Frames 932-934: "First order Predicate Logic" slide with speaker. * Frames 935-937: "First order Predicate Logic" slide with

  24. 110:00 – 115:00 110:00-115:00

    speaker. * Frames 938-940: "First order Predicate Logic" slide with speaker. * Frames 941-943: "First order Predicate Logic" slide with speaker. * Frames 944-946: "First order Predicate Logic" slide with speaker. * Frames 947-949: "First order Predicate Logic" slide with speaker. * Frames 950-952: "First order Predicate Logic" slide with speaker. * Frames 953-955: "First order Predicate Logic" slide with speaker. * Frames 956-958: "First order Predicate Logic" slide with speaker. * Frames 959-961: "First order Predicate Logic" slide with speaker. * Frames 962-964: "First order Predicate Logic" slide with speaker. * Frames 965-967: "First order Predicate Logic" slide with speaker. * Frames 968-970: "First order Predicate Logic" slide with speaker. * Frames 971-973: "First order Predicate Logic" slide with speaker. * Frames 974-976: "First order Predicate Logic" slide with speaker. * Frames 977-979: "First order Predicate Logic" slide with speaker. * Frames 980-982: "First order Predicate Logic" slide with speaker. * Frames 983-985: "First order Predicate Logic" slide with speaker. * Frames 986-988: "First order Predicate

  25. 115:00 – 117:38 115:00-117:38

    Logic" slide with speaker. * Frames 989-991: "First order Predicate Logic" slide with speaker. * Frames 992-994: "First order Predicate Logic" slide with speaker. * Frames 995-997: "First order Predicate Logic" slide with speaker. * Frames 998-1000: "First order Predicate Logic" slide with speaker. * Frames 1001-1003: "First order Predicate Logic" slide with speaker. * Frames 1004-1006: "First order Predicate Logic" slide with speaker. * Frames 1007-1009: "First order Predicate Logic" slide with speaker. * Frames 1010-1012: "First order Predicate Logic" slide with speaker. * Frames 1013-1015: "First order Predicate Logic" slide with speaker. * Frames 1016-1018: "First order Predicate Logic" slide with speaker. * Frames 1019-1021: "First order Predicate Logic" slide with speaker. * Frames 1022-1024: "First order Predicate Logic" slide with speaker. * Frames 1025-1027: "First order Predicate Logic" slide with speaker. * Frames 1028-1030: "First order Predicate Logic" slide with speaker. * Frames 1031-1033: "First order Predicate Logic" slide with speaker. * Frames 1034-1036: "First order Predicate Logic" slide with speaker. * Frames 1037

"First order Predicate Logic" slide with speaker. * Frames 962-964: "First order Predicate Logic" slide with speaker. * Frames 965-967: "First order Predicate Logic" slide with speaker. * Frames 968-970: "First order Predicate Logic" slide with speaker. * Frames 971-973: "First order Predicate Logic" slide with speaker. * Frames 974-976: "First order Predicate Logic" slide with speaker. * Frames 977-979: "First order Predicate Logic" slide with speaker. * Frames 980-982: "First order Predicate Logic" slide with speaker. * Frames 983-985: "First order Predicate Logic" slide with speaker. * Frames 986-988: "First order Predicate Logic" slide with speaker. * Frames 989-991: "First order Predicate Logic" slide with speaker. * Frames 992-994: "First order Predicate Logic" slide with speaker. * Frames 995-997: "First order Predicate Logic" slide with speaker. * Frames 998-1000: "First order Predicate Logic" slide with speaker. * Frames 1001-1003: "First order Predicate Logic" slide with speaker. * Frames 1004-1006: "First order Predicate Logic" slide with speaker. * Frames 1007-1009: "First order Predicate Logic" slide with speaker. * Frames 1010-1012: "First order Predicate Logic" slide with speaker. * Frames 1013-1015: "First order Predicate Logic" slide with speaker. * Frames 1016-1018: "First order Predicate Logic" slide with speaker. * Frames 1019-1021: "First order Predicate Logic" slide with speaker. * Frames 1022-1024: "First order Predicate Logic" slide with speaker. * Frames 1025-1027: "First order Predicate Logic" slide with speaker. * Frames 1028-1030: "First order Predicate Logic" slide with speaker. * Frames 1031-1033: "First order Predicate Logic" slide with speaker. * Frames 1034-1036: "First order Predicate Logic" slide with speaker. * Frames 1037