{"id":246,"date":"2009-11-08T20:21:15","date_gmt":"2009-11-09T00:21:15","guid":{"rendered":"http:\/\/ling.bu.edu\/blogs\/lx502f09\/?p=246"},"modified":"2023-04-29T22:29:38","modified_gmt":"2023-04-30T02:29:38","slug":"handout-on-first-order-predicate-logic","status":"publish","type":"post","link":"http:\/\/ling-blogs.bu.edu\/lx502f09\/2009\/11\/08\/handout-on-first-order-predicate-logic\/","title":{"rendered":"Handout on (First-Order) Predicate Logic"},"content":{"rendered":"<p>I&#8217;ve put together a handout summarizing the language of (First-Order) Predicate Logic, which we&#8217;ve been developing over the past week.\u00c2\u00a0 On Tuesday, we&#8217;ll finish up with the semantics of quantified formulas, which is also included in the handout.\u00c2\u00a0 There&#8217;s also quite a bit of discussion about calculating the truth values and truth conditions for formulas in (First-Order) Predicate Logic, so have a look&#8230;I think you&#8217;ll find it useful!<\/p>\n<p>(Note: \u00c2\u00a0the link now leads to the revised version of the handout, which I also distributed in today&#8217;s (Tu, 11\/10) class.)<\/p>\n<p><a href=\"http:\/\/ling.bu.edu\/blogs\/lx502f09\/files\/2009\/11\/LX502_PredLogicHandout.pdf\">Handout on (First-Order) Predicate Logic<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>I&#8217;ve put together a handout summarizing the language of (First-Order) Predicate Logic, which we&#8217;ve been developing over the past week.\u00c2\u00a0 On Tuesday, we&#8217;ll finish up with the semantics of quantified formulas, which is also included in the handout.\u00c2\u00a0 There&#8217;s also quite a bit of discussion about calculating the truth values and truth conditions for formulas &#8230;<\/p>\n<p><a href=\"http:\/\/ling-blogs.bu.edu\/lx502f09\/2009\/11\/08\/handout-on-first-order-predicate-logic\/\" class=\"more-link\">Continue reading &lsquo;Handout on (First-Order) Predicate Logic&rsquo; &raquo;<\/a><\/p>\n","protected":false},"author":4,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[17],"tags":[],"class_list":["post-246","post","type-post","status-publish","format-standard","hentry","category-handouts"],"_links":{"self":[{"href":"http:\/\/ling-blogs.bu.edu\/lx502f09\/wp-json\/wp\/v2\/posts\/246","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/ling-blogs.bu.edu\/lx502f09\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/ling-blogs.bu.edu\/lx502f09\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/ling-blogs.bu.edu\/lx502f09\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"http:\/\/ling-blogs.bu.edu\/lx502f09\/wp-json\/wp\/v2\/comments?post=246"}],"version-history":[{"count":5,"href":"http:\/\/ling-blogs.bu.edu\/lx502f09\/wp-json\/wp\/v2\/posts\/246\/revisions"}],"predecessor-version":[{"id":354,"href":"http:\/\/ling-blogs.bu.edu\/lx502f09\/wp-json\/wp\/v2\/posts\/246\/revisions\/354"}],"wp:attachment":[{"href":"http:\/\/ling-blogs.bu.edu\/lx502f09\/wp-json\/wp\/v2\/media?parent=246"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/ling-blogs.bu.edu\/lx502f09\/wp-json\/wp\/v2\/categories?post=246"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/ling-blogs.bu.edu\/lx502f09\/wp-json\/wp\/v2\/tags?post=246"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}