Mod-01 Lec-19 Semantic Tableaux Method for Propositional Logic – The Engineering of Conscious Experience

nptelhrd

Introduction to Logic by Dr. A.V. Ravishankar Sarma,Department of Humanities and Social Sciences,IIT Kanpur.For more details on NPTEL visit http://nptel.ac.in .

<iframe></p> <p><a href="https://www.youtube.com/watch?v=ebE4rOI32uM">Source</a></p> <div class="be1e40beae42d993bafb8643f4ddde8b" data-index="3" style="float: none; margin:10px 0 10px 0; text-align:center;"> <script async src="https://pagead2.googlesyndication.com/pagead/js/adsbygoogle.js"></script> <ins class="adsbygoogle" style="display:block; text-align:center;" data-ad-layout="in-article" data-ad-format="fluid" data-ad-client="ca-pub-9244112244416304" data-ad-slot="4549240677"></ins> <script> (adsbygoogle = window.adsbygoogle || []).push({}); </script> </div> <div style="font-size: 0px; height: 0px; line-height: 0px; margin: 0; padding: 0; clear: both;"></div> </div> </article> <div class="clearfix"></div> <ul class="default-theme-post-navigation"> <li class="theme-nav-previous"><a href="https://theengineeringofconsciousexperience.com/zodiac-killer-linguistic-analysis/" rel="prev"><span class="meta-nav">←</span> Zodiac Killer – Linguistic Analysis</a></li> <li class="theme-nav-next"><a href="https://theengineeringofconsciousexperience.com/real-fx-ai-racing-system-slotless-racing-artificial-intelligence/" rel="next">Real FX AI Racing System | Slotless Racing & Artificial Intelligence <span class="meta-nav">→</span></a></li> </ul> <div class="clearfix"></div> <h3 class='comment-reply-title'>Similar Posts</h3> <div class="mb-related-posts mb-simple-featured-posts mb-simple-featured-posts-wrap row"> <article class="mb-featured-article col-md-4 px-lg-3 post"> <a class="post-thumbnail" href="https://theengineeringofconsciousexperience.com/the-hindu-daily-vocabulary-4th-may-2017-learn-english-words-with-meaning-in-hindi/" aria-hidden="true" tabindex="-1"> <img width="501" height="282" src="https://theengineeringofconsciousexperience.com/wp-content/uploads/2020/08/1598796045_maxresdefault.jpg" class="attachment-magazinebook-featured-image-medium size-magazinebook-featured-image-medium wp-post-image" alt="" decoding="async" loading="lazy" srcset="https://theengineeringofconsciousexperience.com/wp-content/uploads/2020/08/1598796045_maxresdefault.jpg 1280w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2020/08/1598796045_maxresdefault-300x169.jpg 300w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2020/08/1598796045_maxresdefault-1024x576.jpg 1024w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2020/08/1598796045_maxresdefault-768x432.jpg 768w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2020/08/1598796045_maxresdefault-520x293.jpg 520w" sizes="(max-width: 501px) 100vw, 501px" /> </a> <span class="cat-links"><a href="https://theengineeringofconsciousexperience.com/category/language/" rel="category tag">Language</a></span> <header class="entry-header"> <h3 class="entry-title"><a href="https://theengineeringofconsciousexperience.com/the-hindu-daily-vocabulary-4th-may-2017-learn-english-words-with-meaning-in-hindi/" rel="bookmark">The HINDU Daily vocabulary 4th MAY 2017 – Learn English words with meaning in HINDI</a></h3> <div class="entry-meta"> <span class="posted-on"><i class="far fa-calendar-alt"></i><a href="https://theengineeringofconsciousexperience.com/the-hindu-daily-vocabulary-4th-may-2017-learn-english-words-with-meaning-in-hindi/" rel="bookmark"><time class="entry-date published updated" datetime="2017-05-04T10:00:12-07:00">May 4, 2017</time></a></span><span class="byline"><i class="far fa-user-circle"></i><span class="author vcard"><a class="url fn n" href="https://theengineeringofconsciousexperience.com/author/b71c1392541046dd6211f487900d1a10/">Life Changer</a></span></span> </div> </header> </article> <article class="mb-featured-article col-md-4 px-lg-3 post"> <a class="post-thumbnail" href="https://theengineeringofconsciousexperience.com/injuries-in-escape-from-tarkov-tarkov-logic/" aria-hidden="true" tabindex="-1"> <img width="501" height="282" src="https://theengineeringofconsciousexperience.com/wp-content/uploads/2021/03/1616559762_maxresdefault.jpg" class="attachment-magazinebook-featured-image-medium size-magazinebook-featured-image-medium wp-post-image" alt="" decoding="async" loading="lazy" srcset="https://theengineeringofconsciousexperience.com/wp-content/uploads/2021/03/1616559762_maxresdefault.jpg 1280w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2021/03/1616559762_maxresdefault-300x169.jpg 300w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2021/03/1616559762_maxresdefault-1024x576.jpg 1024w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2021/03/1616559762_maxresdefault-768x432.jpg 768w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2021/03/1616559762_maxresdefault-520x293.jpg 520w" sizes="(max-width: 501px) 100vw, 501px" /> </a> <span class="cat-links"><a href="https://theengineeringofconsciousexperience.com/category/language/" rel="category tag">Language</a></span> <header class="entry-header"> <h3 class="entry-title"><a href="https://theengineeringofconsciousexperience.com/injuries-in-escape-from-tarkov-tarkov-logic/" rel="bookmark">Injuries in Escape from Tarkov – Tarkov Logic</a></h3> <div class="entry-meta"> <span class="posted-on"><i class="far fa-calendar-alt"></i><a href="https://theengineeringofconsciousexperience.com/injuries-in-escape-from-tarkov-tarkov-logic/" rel="bookmark"><time class="entry-date published updated" datetime="2020-04-10T03:00:17-07:00">April 10, 2020</time></a></span><span class="byline"><i class="far fa-user-circle"></i><span class="author vcard"><a class="url fn n" href="https://theengineeringofconsciousexperience.com/author/f619c38b83ecb3bd3544e37244f6f5e3/">Viva La Dirt League</a></span></span> </div> </header> </article> <article class="mb-featured-article col-md-4 px-lg-3 post"> <a class="post-thumbnail" href="https://theengineeringofconsciousexperience.com/data-definition-language/" aria-hidden="true" tabindex="-1"> <img width="501" height="282" src="https://theengineeringofconsciousexperience.com/wp-content/uploads/2022/10/1665991702_maxresdefault.jpg" class="attachment-magazinebook-featured-image-medium size-magazinebook-featured-image-medium wp-post-image" alt="" decoding="async" loading="lazy" srcset="https://theengineeringofconsciousexperience.com/wp-content/uploads/2022/10/1665991702_maxresdefault.jpg 1280w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2022/10/1665991702_maxresdefault-300x169.jpg 300w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2022/10/1665991702_maxresdefault-1024x576.jpg 1024w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2022/10/1665991702_maxresdefault-768x432.jpg 768w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2022/10/1665991702_maxresdefault-549x309.jpg 549w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2022/10/1665991702_maxresdefault-470x264.jpg 470w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2022/10/1665991702_maxresdefault-233x131.jpg 233w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2022/10/1665991702_maxresdefault-230x129.jpg 230w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2022/10/1665991702_maxresdefault-360x203.jpg 360w, https://theengineeringofconsciousexperience.com/wp-content/uploads/2022/10/1665991702_maxresdefault-100x56.jpg 100w" sizes="(max-width: 501px) 100vw, 501px" /> </a> <span class="cat-links"><a href="https://theengineeringofconsciousexperience.com/category/language/" rel="category tag">Language</a></span> <header class="entry-header"> <h3 class="entry-title"><a href="https://theengineeringofconsciousexperience.com/data-definition-language/" rel="bookmark">Data Definition Language</a></h3> <div class="entry-meta"> <span class="posted-on"><i class="far fa-calendar-alt"></i><a href="https://theengineeringofconsciousexperience.com/data-definition-language/" rel="bookmark"><time class="entry-date published updated" datetime="2021-06-15T05:24:38-07:00">June 15, 2021</time></a></span><span class="byline"><i class="far fa-user-circle"></i><span class="author vcard"><a class="url fn n" href="https://theengineeringofconsciousexperience.com/author/yona_eriska_rahmadila/">Yona Eriska Rahmadila</a></span></span> </div> </header> </article> </div> <div id="comments" class="comments-area"> <h5 class="comments-title"> 20 thoughts on “<span>Mod-01 Lec-19 Semantic Tableaux Method for Propositional Logic</span>” </h5> <ol class="comment-list"> <li id="comment-193283" class="comment even thread-even depth-1"> <article id="div-comment-193283" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UC5oLm_OHewKepFxIwiV0Dfw" class="url" rel="ugc external nofollow">Senthil</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193283"><time datetime="2015-06-02T13:48:33-07:00">June 2, 2015 at 1:48 pm</time></a> </div> </footer> <div class="comment-content"> <p>Precise Explanation . Thanks for the video</p> </div> </article> </li> <li id="comment-193282" class="comment odd alt thread-odd thread-alt depth-1"> <article id="div-comment-193282" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UCIfD5yYk2R4bv99QpQJzTxw" class="url" rel="ugc external nofollow">aempty aakash</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193282"><time datetime="2015-10-15T16:41:55-07:00">October 15, 2015 at 4:41 pm</time></a> </div> </footer> <div class="comment-content"> <p>Thank you soo much sir,</p> </div> </article> </li> <li id="comment-193281" class="comment even thread-even depth-1"> <article id="div-comment-193281" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UC-z-8xYjfbLzvU2lqHvCfIA" class="url" rel="ugc external nofollow">lokesh loki</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193281"><time datetime="2016-03-31T22:47:47-07:00">March 31, 2016 at 10:47 pm</time></a> </div> </footer> <div class="comment-content"> <p>some what confusion. sir</p> </div> </article> </li> <li id="comment-193280" class="comment odd alt thread-odd thread-alt depth-1"> <article id="div-comment-193280" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UCYZFwM-5abrhQp2qa1ILK2Q" class="url" rel="ugc external nofollow">Abhinav</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193280"><time datetime="2016-05-07T23:55:21-07:00">May 7, 2016 at 11:55 pm</time></a> </div> </footer> <div class="comment-content"> <p>very well explained . Thank you !</p> </div> </article> </li> <li id="comment-193279" class="comment even thread-even depth-1"> <article id="div-comment-193279" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UCCk4Xp18S46z3QK4hlTkSkQ" class="url" rel="ugc external nofollow">malhar jajoo</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193279"><time datetime="2016-12-05T19:56:19-07:00">December 5, 2016 at 7:56 pm</time></a> </div> </footer> <div class="comment-content"> <p>At <a href="http://www.youtube.com/watch?v=ebE4rOI32uM&t=26m00s">26:00</a> . Both the counter examples have same p , q and r. How ?</p> </div> </article> </li> <li id="comment-193278" class="comment odd alt thread-odd thread-alt depth-1"> <article id="div-comment-193278" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UCKSBJ60lHlCvsEjZX2v2fmw" class="url" rel="ugc external nofollow">hafeez ahmed</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193278"><time datetime="2017-09-28T04:54:48-07:00">September 28, 2017 at 4:54 am</time></a> </div> </footer> <div class="comment-content"> <p>In the first example, p==>r is false in two conditions, (p=T, q=T and r=F) and (p = T, q=F and r=F). In the first case we can check for satisfiability of !(p==>r), but in the second case p==>q is itself false. It leads to ((p==>q AND q==>r) ==F), hence we don't check satisfiability of !(p==>r).</p> </div> </article> </li> <li id="comment-193277" class="comment even thread-even depth-1"> <article id="div-comment-193277" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UCrENX8g8jInO_obtJnGy3zw" class="url" rel="ugc external nofollow">alp a</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193277"><time datetime="2017-11-27T11:08:16-07:00">November 27, 2017 at 11:08 am</time></a> </div> </footer> <div class="comment-content"> <p>Best explanation I've ever seen. Been stumped for the last 3 hours on one question. Thank you mister Sarma!</p> </div> </article> </li> <li id="comment-193276" class="comment odd alt thread-odd thread-alt depth-1"> <article id="div-comment-193276" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UCBNkOrvqKTIpjGYsUaEhkBw" class="url" rel="ugc external nofollow">Vladislav Panchyshyn</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193276"><time datetime="2018-01-09T13:41:19-07:00">January 9, 2018 at 1:41 pm</time></a> </div> </footer> <div class="comment-content"> <p>I was struggling to understand this part of the subject. Now its time to try some exercises on my own. Thank you.</p> </div> </article> </li> <li id="comment-193275" class="comment even thread-even depth-1"> <article id="div-comment-193275" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UC_gwrHKTSD_pu3a6kCU1b7g" class="url" rel="ugc external nofollow">Tarkesh Kandregula</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193275"><time datetime="2018-09-07T14:00:36-07:00">September 7, 2018 at 2:00 pm</time></a> </div> </footer> <div class="comment-content"> <p>excellent</p> </div> </article> </li> <li id="comment-193274" class="comment odd alt thread-odd thread-alt depth-1"> <article id="div-comment-193274" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UCtCld0wdy0q8nQAmmtX0Tog" class="url" rel="ugc external nofollow">Yadhav Kumar</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193274"><time datetime="2018-09-09T03:52:08-07:00">September 9, 2018 at 3:52 am</time></a> </div> </footer> <div class="comment-content"> <p>Thanks a <a href="http://lot.you/">lot.You</a> are a great teacher</p> </div> </article> </li> <li id="comment-193273" class="comment even thread-even depth-1"> <article id="div-comment-193273" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UCzXc7AbUeLrSckOfx_ST1tw" class="url" rel="ugc external nofollow">Queen of Moderation</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193273"><time datetime="2018-10-22T14:59:14-07:00">October 22, 2018 at 2:59 pm</time></a> </div> </footer> <div class="comment-content"> <p>God bless this Professor for making this so simple. We need more teacher like him.</p> </div> </article> </li> <li id="comment-193272" class="comment odd alt thread-odd thread-alt depth-1"> <article id="div-comment-193272" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UC1yaKRc3ahp_6zVcitAOTBQ" class="url" rel="ugc external nofollow">Letlotlo Kgotse</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193272"><time datetime="2019-02-18T22:48:18-07:00">February 18, 2019 at 10:48 pm</time></a> </div> </footer> <div class="comment-content"> <p>Very well explained..Much appreciated</p> </div> </article> </li> <li id="comment-193271" class="comment even thread-even depth-1"> <article id="div-comment-193271" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UCtl2PouTGbX44ple-iQFpPw" class="url" rel="ugc external nofollow">nick</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193271"><time datetime="2019-03-05T15:05:45-07:00">March 5, 2019 at 3:05 pm</time></a> </div> </footer> <div class="comment-content"> <p>Thanks this was really helpful</p> </div> </article> </li> <li id="comment-193270" class="comment odd alt thread-odd thread-alt depth-1"> <article id="div-comment-193270" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UC_QmoBLC_qCVQU4tcykNxRQ" class="url" rel="ugc external nofollow">Gauta Lawrence Busa</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193270"><time datetime="2019-03-18T13:20:35-07:00">March 18, 2019 at 1:20 pm</time></a> </div> </footer> <div class="comment-content"> <p>I wish I watched this before discrete mathematics test chow me.</p> </div> </article> </li> <li id="comment-193269" class="comment even thread-even depth-1"> <article id="div-comment-193269" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UC85wn9ir1GQRGC2ve49m1Tw" class="url" rel="ugc external nofollow">Higor Ferreira</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193269"><time datetime="2019-04-24T15:07:31-07:00">April 24, 2019 at 3:07 pm</time></a> </div> </footer> <div class="comment-content"> <p>Salve FROM BRAZIL!!!</p> </div> </article> </li> <li id="comment-193268" class="comment odd alt thread-odd thread-alt depth-1"> <article id="div-comment-193268" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UC6z5olwKAcINaPaqmtQR-yA" class="url" rel="ugc external nofollow">vaidehi pandya</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193268"><time datetime="2019-10-01T22:15:59-07:00">October 1, 2019 at 10:15 pm</time></a> </div> </footer> <div class="comment-content"> <p>Amazing explaination!</p> </div> </article> </li> <li id="comment-193267" class="comment even thread-even depth-1"> <article id="div-comment-193267" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UCSt7A-kqMrJWF3fOG3N7rSQ" class="url" rel="ugc external nofollow">Gustav Bodenschatz</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193267"><time datetime="2019-10-20T10:56:14-07:00">October 20, 2019 at 10:56 am</time></a> </div> </footer> <div class="comment-content"> <p>Honestly this is a pretty bad explanation. I'm happy that I have a good Logic scholar.</p> </div> </article> </li> <li id="comment-193266" class="comment odd alt thread-odd thread-alt depth-1"> <article id="div-comment-193266" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UCZWKoelflxn0YEpERUW1eHg" class="url" rel="ugc external nofollow">Idrees Iqbal</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193266"><time datetime="2019-10-27T04:32:31-07:00">October 27, 2019 at 4:32 am</time></a> </div> </footer> <div class="comment-content"> <p>so, is that argument is valid or not? you say one thing and then you change your own statement.</p> </div> </article> </li> <li id="comment-193265" class="comment even thread-even depth-1"> <article id="div-comment-193265" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UCQL_zrgJucXeEVTGDO0D05A" class="url" rel="ugc external nofollow">mythorganizer</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193265"><time datetime="2019-11-01T09:48:37-07:00">November 1, 2019 at 9:48 am</time></a> </div> </footer> <div class="comment-content"> <p>Didn't know international students used it too<br />Damn</p> </div> </article> </li> <li id="comment-193264" class="comment odd alt thread-odd thread-alt depth-1"> <article id="div-comment-193264" class="comment-body"> <footer class="comment-meta"> <div class="comment-author vcard"> <b class="fn"><a href="https://www.youtube.com/channel/UCn6aC5l46eoVIlEj4FcZ3gA" class="url" rel="ugc external nofollow">Monkey D Luffy</a></b> <span class="says">says:</span> </div> <div class="comment-metadata"> <a href="https://theengineeringofconsciousexperience.com/mod-01-lec-19-semantic-tableaux-method-for-propositional-logic/#comment-193264"><time datetime="2020-05-01T21:16:16-07:00">May 1, 2020 at 9:16 pm</time></a> </div> </footer> <div class="comment-content"> <p>Is it logical to say that i love this teacher so much?</p> </div> </article> </li> </ol> <p class="no-comments">Comments are closed.</p> </div> </main> </div> <div class="col-md-3 px-lg-3 "> </div> </div> </div> </div> <footer id="colophon" class="site-footer"> <div class="container"> <div class="row"> <div class="col-md-12 text-center"> <div class="site-info"> <span> Powered By: <a href="https://wordpress.org/" target="_blank">WordPress</a> </span> <span class="sep"> | </span> <span> Theme: <a href="https://odiethemes.com/themes/magazinebook/" target="_blank">MagazineBook</a> By OdieThemes </span> </div> </div> </div> </div> </footer> </div> <script>(function(){var advanced_ads_ga_UID="UA-88163215-1",advanced_ads_ga_anonymIP=!!1;window.advanced_ads_check_adblocker=function(t){var n=[],e=null;function a(t){var n=window.requestAnimationFrame||window.mozRequestAnimationFrame||window.webkitRequestAnimationFrame||function(t){return setTimeout(t,16)};n.call(window,t)}return a((function(){var t=document.createElement("div");t.innerHTML=" ",t.setAttribute("class","ad_unit ad-unit text-ad text_ad pub_300x250"),t.setAttribute("style","width: 1px !important; height: 1px !important; position: absolute !important; left: 0px !important; top: 0px !important; overflow: hidden !important;"),document.body.appendChild(t),a((function(){var a,o,i=null===(a=(o=window).getComputedStyle)||void 0===a?void 0:a.call(o,t),d=null==i?void 0:i.getPropertyValue("-moz-binding");e=i&&"none"===i.getPropertyValue("display")||"string"==typeof d&&-1!==d.indexOf("about:");for(var c=0,r=n.length;c<r;c++)n[c](e);n=[]}))})),function(t){"undefined"==typeof advanced_ads_adblocker_test&&(e=!0),null!==e?t(e):n.push(t)}}(),(()=>{function t(t){this.UID=t,this.analyticsObject="function"==typeof gtag;var n=this;return this.count=function(){gtag("event","AdBlock",{event_category:"Advanced Ads",event_label:"Yes",non_interaction:!0,send_to:n.UID})},function(){if(!n.analyticsObject){var e=document.createElement("script");e.src="https://www.googletagmanager.com/gtag/js?id="+t,e.async=!0,document.body.appendChild(e),window.dataLayer=window.dataLayer||[],window.gtag=function(){dataLayer.push(arguments)},n.analyticsObject=!0,gtag("js",new Date)}var a={send_page_view:!1,transport_type:"beacon"};window.advanced_ads_ga_anonymIP&&(a.anonymize_ip=!0),gtag("config",t,a)}(),this}advanced_ads_check_adblocker((function(n){n&&new t(advanced_ads_ga_UID).count()}))})();})();</script><div style="clear:both;width:100%;text-align:center; font-size:11px; "><a target="_blank" title="WP2Social Auto Publish" href="https://xyzscripts.com/wordpress-plugins/facebook-auto-publish/compare" >WP2Social Auto Publish</a> Powered By : <a target="_blank" title="PHP Scripts & Programs" href="http://www.xyzscripts.com" >XYZScripts.com</a></div><script type="text/javascript" src="https://theengineeringofconsciousexperience.com/wp-content/themes/magazinebook/js/navigation.js?ver=1.0.9" id="magazinebook-navigation-js"></script> <script type="text/javascript" src="https://theengineeringofconsciousexperience.com/wp-content/themes/magazinebook/js/skip-link-focus-fix.js?ver=1.0.9" id="magazinebook-skip-link-focus-fix-js"></script> <script type="text/javascript" src="https://theengineeringofconsciousexperience.com/wp-content/themes/magazinebook/js/jquery.easy-ticker.js?ver=3.1.0" id="magazinebook-news-ticker-js"></script> <script type="text/javascript" src="https://theengineeringofconsciousexperience.com/wp-content/themes/magazinebook/js/splide.min.js?ver=2.3.1" id="splide-js-js"></script> <script type="text/javascript" src="https://theengineeringofconsciousexperience.com/wp-content/themes/magazinebook/js/theme.js?ver=1.0.9" id="magazinebook-theme-js-js"></script> <script>!function(){window.advanced_ads_ready_queue=window.advanced_ads_ready_queue||[],advanced_ads_ready_queue.push=window.advanced_ads_ready;for(var d=0,a=advanced_ads_ready_queue.length;d<a;d++)advanced_ads_ready(advanced_ads_ready_queue[d])}();</script> </body> </html>