{"id":19,"date":"2014-09-15T21:57:05","date_gmt":"2014-09-15T21:57:05","guid":{"rendered":"https:\/\/www.uniessa.hiperlogic.com.br\/?p=19"},"modified":"2014-09-15T21:58:16","modified_gmt":"2014-09-15T21:58:16","slug":"propriedades-semanticas-fundamentais-da-logica-proposicional","status":"publish","type":"post","link":"https:\/\/www.uniessa.hiperlogic.com.br\/?p=19","title":{"rendered":"Propriedades Sem\u00e2nticas Fundamentais da L\u00f3gica Proposicional"},"content":{"rendered":"<p><b>Propriedades Sem\u00e2nticas Fundamentais da L\u00f3gica Proposicional<\/b><\/p>\n<p>Tautologia \u00a0Para toda interpreta\u00e7\u00e3o I de uma formula G, I[G]=T<\/p>\n<p>Factivel ou Satisfat\u00edvel se Existe pelo menos uma interpreta\u00e7\u00e3o I da f\u00f3rmula G tal que I[G]=T<\/p>\n<p>Contradit\u00f3ria se para toda interpreta\u00e7\u00e3o I[G]=F<\/p>\n<p>Dadas duas f\u00f3rmulas H e G, H implica G se e somente se para toda interpreta\u00e7\u00e3o I, se I[H]=T, ent\u00e3o I[G]=T<\/p>\n<p>Dadas duas f\u00f3rmulas H e G, H equivale a G se e somente se para toda interpreta\u00e7\u00e3o I, I[H]=I[G]<\/p>\n<p>Dada uma f\u00f3rmula H e uma interpreta\u00e7\u00e3o I, ent\u00e3o I satisfaz H se I[H]=T<\/p>\n<p>Um conjunto de f\u00f3rmulas \u00df={H1,H2,\u2026,Hn} \u00e9 satisfat\u00edvel se e somente se existe uma interpreta\u00e7\u00e3o I, tal que I[H1]=I[H2]=\u2026=I[Hn]<br \/>\nNeste caso I satisfaz o conjunto de f\u00f3rmulas, indicado por I[\u00df]=T. Dado um conjunto e f\u00f3rmulas vazio, toda interpreta\u00e7\u00e3o satisfaz esse conjunto<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Propriedades Sem\u00e2nticas Fundamentais da L\u00f3gica Proposicional Tautologia \u00a0Para toda interpreta\u00e7\u00e3o I de uma formula G, I[G]=T Factivel ou Satisfat\u00edvel se Existe pelo menos uma interpreta\u00e7\u00e3o I da f\u00f3rmula G tal que I[G]=T Contradit\u00f3ria se para toda interpreta\u00e7\u00e3o I[G]=F Dadas duas f\u00f3rmulas H e G, H implica G se e somente se para toda interpreta\u00e7\u00e3o I, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[],"class_list":["post-19","post","type-post","status-publish","format-standard","hentry","category-logica"],"_links":{"self":[{"href":"https:\/\/www.uniessa.hiperlogic.com.br\/index.php?rest_route=\/wp\/v2\/posts\/19","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.uniessa.hiperlogic.com.br\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.uniessa.hiperlogic.com.br\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.uniessa.hiperlogic.com.br\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.uniessa.hiperlogic.com.br\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=19"}],"version-history":[{"count":1,"href":"https:\/\/www.uniessa.hiperlogic.com.br\/index.php?rest_route=\/wp\/v2\/posts\/19\/revisions"}],"predecessor-version":[{"id":20,"href":"https:\/\/www.uniessa.hiperlogic.com.br\/index.php?rest_route=\/wp\/v2\/posts\/19\/revisions\/20"}],"wp:attachment":[{"href":"https:\/\/www.uniessa.hiperlogic.com.br\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=19"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.uniessa.hiperlogic.com.br\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=19"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.uniessa.hiperlogic.com.br\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=19"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}