{"id":95,"date":"2017-07-03T14:22:50","date_gmt":"2017-07-03T14:22:50","guid":{"rendered":"http:\/\/pages.charlotte.edu\/logic\/proof-construction\/"},"modified":"2017-07-03T14:55:43","modified_gmt":"2017-07-03T14:55:43","slug":"proof-construction","status":"publish","type":"page","link":"https:\/\/pages.charlotte.edu\/logic\/none\/propositional-logic\/proof-construction\/","title":{"rendered":"Proof Construction"},"content":{"rendered":"<p>Applet:\u00a0<a href=\"http:\/\/logic.uncc.edu\/tallc\/applets\/core\/dt_hint\/dt_hint.html\" target=\"_blank\" rel=\"noopener\">Deep Thought<\/a><\/p>\n<div class=\"video-container\"><iframe loading=\"lazy\" title=\"Proof Construction Work Forwards (WF)\" width=\"500\" height=\"375\" src=\"https:\/\/www.youtube.com\/embed\/42NQojAk6Hg?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe><\/div>\n<p>Work Forwards (WF)<\/p>\n<div class=\"video-container\"><iframe loading=\"lazy\" title=\"Proof Construction WB with ADD\" width=\"500\" height=\"375\" src=\"https:\/\/www.youtube.com\/embed\/8VQlkkfdleA?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe><\/div>\n<p>Work Backwards (WB)<\/p>\n<div class=\"video-container\"><iframe loading=\"lazy\" title=\"Proof Construction WB with ADD\" width=\"500\" height=\"375\" src=\"https:\/\/www.youtube.com\/embed\/8VQlkkfdleA?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe><\/div>\n<p>WB with ADD<\/p>\n<div class=\"video-container\"><iframe loading=\"lazy\" title=\"Proof Construction  Apply Replacement Rules\" width=\"500\" height=\"375\" src=\"https:\/\/www.youtube.com\/embed\/bVuJndrNnlg?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe><\/div>\n<p>Apply Replacement Rules<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Applet:\u00a0Deep Thought Work Forwards (WF) Work Backwards (WB) WB with ADD Apply Replacement Rules<\/p>\n","protected":false},"author":13,"featured_media":0,"parent":85,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-95","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/pages\/95","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/users\/13"}],"replies":[{"embeddable":true,"href":"https:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/comments?post=95"}],"version-history":[{"count":5,"href":"https:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/pages\/95\/revisions"}],"predecessor-version":[{"id":147,"href":"https:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/pages\/95\/revisions\/147"}],"up":[{"embeddable":true,"href":"https:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/pages\/85"}],"wp:attachment":[{"href":"https:\/\/pages.charlotte.edu\/logic\/wp-json\/wp\/v2\/media?parent=95"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}