{"id":172,"date":"2014-12-01T19:04:40","date_gmt":"2014-12-01T21:04:40","guid":{"rendered":"https:\/\/wp.ufpel.edu.br\/matematicanoturno\/?page_id=172"},"modified":"2014-12-01T19:18:09","modified_gmt":"2014-12-01T21:18:09","slug":"introducao-a-logica","status":"publish","type":"page","link":"https:\/\/wp.ufpel.edu.br\/matematicanoturno\/grade-curricular-2\/introducao-a-logica\/","title":{"rendered":"Introdu\u00e7\u00e3o \u00e0 L\u00f3gica"},"content":{"rendered":"

Introdu\u00e7\u00e3o a L\u00f3gica<\/h4>\n

 <\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
Curso\/semestre<\/td>\nLicenciatura em Matem\u00e1tica \/ Primeiro<\/td>\n<\/tr>\n
Disciplina<\/td>\nIntrodu\u00e7\u00e3o a L\u00f3gica<\/td>\n<\/tr>\n
Car\u00e1ter<\/td>\nObrigat\u00f3ria<\/td>\n<\/tr>\n
Pr\u00e9-requisito<\/td>\n–<\/td>\n<\/tr>\n
C\u00f3digo<\/td>\n0100227<\/td>\n<\/tr>\n
Depto.<\/td>\nDME<\/td>\n<\/tr>\n
CHT<\/td>\n68 horas<\/td>\n<\/tr>\n
Cr\u00e9ditos<\/td>\n04<\/td>\n<\/tr>\n
Natureza\/sem<\/td>\n34 te\u00f3ricas , 34 pr\u00e1ticas\/01<\/td>\n<\/tr>\n
Prof. Resp.<\/td>\n<\/td>\n<\/tr>\n
Objetivos<\/td>\n\n

Prover o aluno dos conhecimentos b\u00e1sicos de l\u00f3gica matem\u00e1tica formal e informal. Incentivar o desenvolvimento da leitura e da escrita.<\/p>\n

 <\/td>\n<\/tr>\n

Ementa<\/td>\n\n

C\u00e1lculo proposicional. Tabelas verdade e \u00e1rvores de refuta\u00e7\u00e3o. Enunciados categ\u00f3ricos. C\u00e1lculo de predicados.<\/p>\n

 <\/td>\n<\/tr>\n

Programa<\/td>\n\n

Introdu\u00e7\u00e3o a L\u00f3gica<\/strong><\/p>\n

 <\/p>\n

O que \u00e9 l\u00f3gica<\/p>\n

Premissas e Conclus\u00f5es<\/p>\n

Reconhecimento de Argumentos<\/p>\n

Dedu\u00e7\u00e3o e Indu\u00e7\u00e3o<\/p>\n

Verdade e Validade<\/p>\n

 <\/p>\n

O C\u00e1lculo Proposicional<\/strong><\/p>\n

 <\/p>\n

Argumentos<\/p>\n

Regras n\u00e3o-hipot\u00e9ticas de infer\u00eancia<\/p>\n

Regras hipot\u00e9ticas de infer\u00eancia<\/p>\n

Regras derivadas<\/p>\n

Teoremas<\/p>\n

 <\/p>\n

Tabelas-verdade<\/strong><\/p>\n

 <\/p>\n

Sem\u00e2ntica dos operadores l\u00f3gicos<\/p>\n

Tabelas-Verdade<\/p>\n

Arvores de Refuta\u00e7\u00e3o<\/p>\n

 <\/p>\n

A L\u00f3gica dos Enunciados Categ\u00f3ricos<\/strong><\/p>\n

 <\/p>\n

Enunciados Categ\u00f3ricos<\/p>\n

Infer\u00eancias Imediatas<\/p>\n

Silogismos Categ\u00f3ricos<\/p>\n

 <\/p>\n

O C\u00e1lculo de Predicados<\/strong><\/p>\n

 <\/p>\n

Quantificadores e Vari\u00e1veis<\/p>\n

Predicados e nomes pr\u00f3prios<\/p>\n

Regras de infer\u00eancia<\/p>\n

Arvores de Refuta\u00e7\u00e3o<\/p>\n

Teoremas<\/p>\n

 <\/td>\n<\/tr>\n

Bibliografia<\/td>\n\n

B\u00e1sica<\/p>\n

COPI, Irving. Introdu\u00e7\u00e3o \u00e0 L\u00f3gica. Ed. Mestre Jou, 1968.<\/p>\n

ROHATYN, Dennis & NOLT, John. L\u00f3gica. Ed. McGraw-Hill, 1991.<\/p>\n

HEGENBERG, Le\u00f4nidas. L\u00f3gica – O C\u00e1lculo de Predicados. EDUSP, 1973.<\/p>\n

HEGENBERG, Le\u00f4nidas. L\u00f3gica – Simboliza\u00e7\u00e3o e Dedu\u00e7\u00e3o. EDUSP, 1975.<\/p>\n

ALENCAR Fo, Edgard de. Inicia\u00e7\u00e3o \u00e0 L\u00f3gica Matem\u00e1tica. Ed. Nobel, 1968.<\/p>\n

 <\/p>\n

Complementar<\/p>\n

MONTEIRO, L. H. J.. Elementos de \u00c1lgebra. Ed. Ao Livro T\u00e9cnico, 1969.<\/p>\n

BARROS, M. D. Racioc\u00ednio l\u00f3gico. Editora Novas Conquistas, S\u00e3o Paulo, 2001.<\/p>\n

S\u00c9RATES, J. Racioc\u00ednio l\u00f3gico: l\u00f3gico matem\u00e1tico, l\u00f3gico quantitativo, l\u00f3gico num\u00e9rico, l\u00f3gico anal\u00edtico, l\u00f3gico cr\u00edtico. 5\u00ba ed. Bras\u00edlia: Gr\u00e1fica e Editora Ol\u00edmpica Ltda, 1997.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

Introdu\u00e7\u00e3o a L\u00f3gica   Curso\/semestre Licenciatura em Matem\u00e1tica \/ Primeiro Disciplina Introdu\u00e7\u00e3o a L\u00f3gica Car\u00e1ter Obrigat\u00f3ria Pr\u00e9-requisito – C\u00f3digo 0100227 Depto. DME CHT 68 horas Cr\u00e9ditos 04 Natureza\/sem 34 te\u00f3ricas , 34 pr\u00e1ticas\/01 Prof. Resp. Objetivos Prover o aluno dos conhecimentos b\u00e1sicos de l\u00f3gica matem\u00e1tica formal e informal. Incentivar o desenvolvimento da leitura e da […]<\/p>\n","protected":false},"author":466,"featured_media":0,"parent":166,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-sem-sidebar.php","meta":{"jetpack_post_was_ever_published":false,"footnotes":""},"class_list":["post-172","page","type-page","status-publish","hentry"],"jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/P7sk8J-2M","_links":{"self":[{"href":"https:\/\/wp.ufpel.edu.br\/matematicanoturno\/wp-json\/wp\/v2\/pages\/172","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.ufpel.edu.br\/matematicanoturno\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wp.ufpel.edu.br\/matematicanoturno\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/matematicanoturno\/wp-json\/wp\/v2\/users\/466"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/matematicanoturno\/wp-json\/wp\/v2\/comments?post=172"}],"version-history":[{"count":1,"href":"https:\/\/wp.ufpel.edu.br\/matematicanoturno\/wp-json\/wp\/v2\/pages\/172\/revisions"}],"predecessor-version":[{"id":173,"href":"https:\/\/wp.ufpel.edu.br\/matematicanoturno\/wp-json\/wp\/v2\/pages\/172\/revisions\/173"}],"up":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/matematicanoturno\/wp-json\/wp\/v2\/pages\/166"}],"wp:attachment":[{"href":"https:\/\/wp.ufpel.edu.br\/matematicanoturno\/wp-json\/wp\/v2\/media?parent=172"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}