{"id":25067,"date":"2021-01-16T00:00:22","date_gmt":"2021-01-16T00:00:22","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=25067"},"modified":"2024-08-28T16:03:36","modified_gmt":"2024-08-28T16:03:36","slug":"o-que-e-logica-matematica-explorando-seus-fundamentos","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/","title":{"rendered":"O que \u00e9 L\u00f3gica Matem\u00e1tica? Explorando seus fundamentos"},"content":{"rendered":"<div style=\"text-align:center;\">\n<h1>O que \u00e9 a L\u00f3gica Matem\u00e1tica? Explorando seus Fundamentos<\/h1>\n<p style=\"font-weight:bold;\">Resumo:<\/p>\n<p>Nesta aula, voc\u00ea descobrir\u00e1 os conceitos b\u00e1sicos da l\u00f3gica matem\u00e1tica, incluindo sua rela\u00e7\u00e3o com as linguagens e por que o uso de linguagens formais \u00e9 preferido em vez das naturais. Al\u00e9m disso, voc\u00ea conhecer\u00e1 algumas das paradoxas mais famosas que desafiaram a l\u00f3gica e o lugar que a l\u00f3gica simb\u00f3lica ocupa como um pilar fundamental da matem\u00e1tica.<\/p>\n<\/div>\n<p style=\"font-weight:bold; text-align:center;\">Objetivos de Aprendizagem:<\/p>\n<ol>\n<li>Compreender o que \u00e9 a l\u00f3gica matem\u00e1tica e suas principais aplica\u00e7\u00f5es.<\/li>\n<li>Compreender a diferen\u00e7a entre l\u00f3gica e uma teoria da verdade.<\/li>\n<li>Compreender por que se utiliza uma linguagem formal na l\u00f3gica e como ela permite representar e analisar argumentos e racioc\u00ednios de maneira precisa e rigorosa.<\/li>\n<li>Compreender a diferen\u00e7a entre linguagens naturais e linguagens formais.<\/li>\n<\/ol>\n<div style=\"text-align:center;\">\n<p style=\"font-weight:bold;\">\u00cdndice<\/p>\n<p>    <a href=\"#1\">O que \u00e9 a L\u00f3gica Matem\u00e1tica?<\/a><br \/>\n    <a href=\"#2\">A l\u00f3gica n\u00e3o \u00e9 uma teoria da verdade<\/a><br \/>\n    <a href=\"#3\">A l\u00f3gica exige uma linguagem adequada<\/a><br \/>\n    <a href=\"#4\">Por que a l\u00f3gica precisa de uma linguagem formal?<\/a><br \/>\n    <a href=\"#5\">Linguagens naturais e linguagens formais<\/a><br \/>\n    <a href=\"#6\">Paradoxos da linguagem<\/a><br \/>\n    <a href=\"#7\">Os paradoxos da linguagem s\u00e3o evitados atrav\u00e9s das linguagens formais<\/a><br \/>\n    <a href=\"#8\">5 exemplos de paradoxos da linguagem<\/a><br \/>\n    <a href=\"#9\">A L\u00f3gica Matem\u00e1tica ou Simb\u00f3lica<\/a><br \/>\n    <a href=\"#10\">Os 4 Pilares Fundamentais da Matem\u00e1tica<\/a>\n<\/div>\n<p><center><br \/>\n    <iframe class=\"lazyload\" width=\"560\" height=\"315\" data-src=\"https:\/\/www.youtube.com\/embed\/FkswHadX98w\" title=\"V\u00eddeo explicativo sobre a L\u00f3gica Matem\u00e1tica\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe><br \/>\n<\/center><\/p>\n<p><a name=\"1\"><\/a><\/p>\n<h3>O que \u00e9 a L\u00f3gica Matem\u00e1tica?<\/h3>\n<p style=\"text-align:justify;\">A l\u00f3gica matem\u00e1tica \u00e9 um ramo da l\u00f3gica que trata do estudo dos princ\u00edpios fundamentais do racioc\u00ednio matem\u00e1tico e da argumenta\u00e7\u00e3o. \u00c9 usada para analisar e avaliar a validade dos racioc\u00ednios e para desenvolver m\u00e9todos formais \u00fateis para a execu\u00e7\u00e3o de demonstra\u00e7\u00f5es de teoremas matem\u00e1ticos. A l\u00f3gica matem\u00e1tica tamb\u00e9m tem aplica\u00e7\u00f5es em outras \u00e1reas, como a inform\u00e1tica e a filosofia da ci\u00eancia, e \u00e9 usada como base para o desenvolvimento de sistemas formais de linguagem e de dedu\u00e7\u00e3o autom\u00e1tica.<\/p>\n<p><a name=\"2\"><\/a><\/p>\n<h4>A l\u00f3gica n\u00e3o \u00e9 uma teoria da verdade<\/h4>\n<p style=\"text-align:justify;\">\u00c9 sempre importante enfatizar que a l\u00f3gica n\u00e3o \u00e9 uma teoria sobre a verdade; no sentido de que ela n\u00e3o aborda a discuss\u00e3o que permite uma defini\u00e7\u00e3o de verdade ou falsidade. Em vez disso, assumindo a priori que certas express\u00f5es t\u00eam valores de verdade, estuda-se como elas se relacionam entre si ou como algumas s\u00e3o inferidas de outras.<\/p>\n<p><a name=\"3\"><\/a><\/p>\n<h4>A l\u00f3gica exige uma linguagem adequada<\/h4>\n<p style=\"text-align:justify;\">Antes de fazer l\u00f3gica, \u00e9 necess\u00e1rio possuir uma linguagem adequada para sua execu\u00e7\u00e3o. Essa linguagem, que chamamos de \u00ablinguagem formal\u00bb, possui as caracter\u00edsticas necess\u00e1rias para realizar infer\u00eancias v\u00e1lidas; ou seja, um mecanismo que permite encontrar ou produzir express\u00f5es verdadeiras a partir da verdade de outras anteriores.<\/p>\n<p><a name=\"4\"><\/a><\/p>\n<h3>Por que a l\u00f3gica precisa de uma linguagem formal?<\/h3>\n<p style=\"text-align:justify;\">A l\u00f3gica precisa de uma linguagem formal porque esta \u00e9 uma linguagem especialmente projetada para expressar argumentos e racioc\u00ednios de maneira clara e precisa. Ao utilizar uma linguagem formal, \u00e9 poss\u00edvel representar de maneira rigorosa e exata o conte\u00fado dos argumentos e racioc\u00ednios, o que permite analisar e avaliar sua validade e consist\u00eancia.<\/p>\n<p style=\"text-align:justify;\">A linguagem formal \u00e9 uma linguagem baseada em regras e conven\u00e7\u00f5es estritas e sistem\u00e1ticas para a representa\u00e7\u00e3o de conceitos e das rela\u00e7\u00f5es entre eles. Ao utilizar uma linguagem formal, \u00e9 poss\u00edvel representar de maneira mais precisa e rigorosa os conceitos e argumentos l\u00f3gicos, o que ajuda a evitar ambiguidades e erros no racioc\u00ednio. Um dos prop\u00f3sitos para os quais essas linguagens s\u00e3o criadas \u00e9 evitar as imprecis\u00f5es e paradoxos que surgem da linguagem cotidiana: a flexibilidade e a riqueza expressiva da linguagem cotidiana s\u00e3o sacrificadas para obter a precis\u00e3o de uma linguagem formal.<\/p>\n<p><a name=\"5\"><\/a><\/p>\n<h4>Linguagens naturais e linguagens formais<\/h4>\n<p style=\"text-align:justify;\">Linguagens naturais s\u00e3o aquelas que os seres humanos utilizam para se comunicar oralmente ou por escrito. Alguns exemplos de linguagens naturais s\u00e3o o espanhol, o ingl\u00eas, o franc\u00eas, o chin\u00eas, o \u00e1rabe, entre muitas outras.<\/p>\n<p style=\"text-align:justify;\">As linguagens naturais s\u00e3o sistemas complexos de comunica\u00e7\u00e3o baseados em um conjunto de regras e conven\u00e7\u00f5es que permitem expressar ideias, pensamentos e sentimentos de maneira clara e precisa. Essas linguagens s\u00e3o compostas por um conjunto de s\u00edmbolos (como letras, palavras e frases) que s\u00e3o usados para transmitir significado e comunicar informa\u00e7\u00f5es.<\/p>\n<p style=\"text-align:justify;\">Ao contr\u00e1rio das linguagens formais, que s\u00e3o projetadas especialmente para expressar argumentos e racioc\u00ednios de maneira clara e precisa, as linguagens naturais s\u00e3o mais flex\u00edveis e adapt\u00e1veis e s\u00e3o usadas para se comunicar em v\u00e1rias situa\u00e7\u00f5es e contextos.<\/p>\n<p style=\"text-align:justify;\">Na l\u00f3gica matem\u00e1tica, o uso de linguagens formais \u00e9 preferido em vez da linguagem natural, principalmente porque a flexibilidade e a riqueza expressiva caracter\u00edsticas das linguagens naturais, enquanto sua maior for\u00e7a no campo expressivo, tamb\u00e9m s\u00e3o sua maior fraqueza em termos de precis\u00e3o: seu n\u00edvel de riqueza expressiva e falta de rigor d\u00e3o origem a in\u00fameras paradoxos que \u00e9 conveniente evitar na l\u00f3gica. Portanto, todo o poder expressivo das linguagens naturais \u00e9 sacrificado em troca da precis\u00e3o de uma linguagem formal.<\/p>\n<p><a name=\"6\"><\/a><\/p>\n<h3>Paradoxos da linguagem<\/h3>\n<p style=\"text-align:justify;\">Os paradoxos da linguagem s\u00e3o problemas l\u00f3gicos que surgem na linguagem e s\u00e3o dif\u00edceis de resolver devido \u00e0 sua contradi\u00e7\u00e3o interna. Esses paradoxos geralmente s\u00e3o afirma\u00e7\u00f5es que, se aceitas como verdadeiras, levam a conclus\u00f5es contradit\u00f3rias ou absurdas.<\/p>\n<p style=\"text-align:justify;\">As linguagens naturais que usamos habitualmente s\u00e3o uma poderosa ferramenta que nos permite comunicar ideias, pensamentos e emo\u00e7\u00f5es, mas tamb\u00e9m podem ser enganosas e dif\u00edceis de interpretar devido \u00e0 ambiguidade de algumas palavras e frases. Por exemplo, algumas palavras t\u00eam v\u00e1rios significados diferentes, e \u00e0s vezes \u00e9 dif\u00edcil determinar a que significado o falante se refere. Al\u00e9m disso, algumas frases podem ter interpreta\u00e7\u00f5es contradit\u00f3rias dependendo do contexto em que s\u00e3o usadas.<\/p>\n<p><a name=\"7\"><\/a><\/p>\n<h4>Os paradoxos da linguagem s\u00e3o evitados atrav\u00e9s das linguagens formais<\/h4>\n<p style=\"text-align:justify;\">Uma das vantagens das linguagens formais em rela\u00e7\u00e3o \u00e0s linguagens naturais \u00e9 que elas evitam os paradoxos da linguagem devido \u00e0 sua precis\u00e3o e \u00e0 aus\u00eancia de ambiguidade. Ao utilizar uma linguagem formal, \u00e9 poss\u00edvel especificar as regras e conven\u00e7\u00f5es que devem ser seguidas para evitar interpreta\u00e7\u00f5es err\u00f4neas ou contradi\u00e7\u00f5es. Por exemplo, na l\u00f3gica matem\u00e1tica, \u00e9 utilizada uma linguagem formal chamada \u00ablinguagem de l\u00f3gica proposicional\u00bb para representar e expressar proposi\u00e7\u00f5es e racioc\u00ednios baseados em proposi\u00e7\u00f5es de maneira clara e precisa. Essa linguagem especifica as regras e conven\u00e7\u00f5es que devem ser seguidas para evitar alguns paradoxos da linguagem e \u00e9 usada para realizar testes e demonstra\u00e7\u00f5es l\u00f3gicas de maneira rigorosa e sistem\u00e1tica.<\/p>\n<p style=\"text-align:justify;\">Al\u00e9m da linguagem de l\u00f3gica proposicional, existem outras linguagens projetadas para situa\u00e7\u00f5es mais complexas e que perseguem o mesmo objetivo, como as linguagens de l\u00f3gica de predicados de primeira e segunda ordem.<\/p>\n<p><a name=\"8\"><\/a><\/p>\n<h4>5 exemplos de paradoxos da linguagem<\/h4>\n<ol style=\"text-align:justify;\">\n<li><strong>O paradoxo da n\u00e3o-mentira:<\/strong> Surge quando se diz que \u00abtudo o que \u00e9 dito \u00e9 mentira\u00bb. Se tudo o que \u00e9 dito \u00e9 mentira, ent\u00e3o a afirma\u00e7\u00e3o de que tudo o que \u00e9 dito \u00e9 mentira \u00e9 uma mentira, e portanto \u00e9 falsa. Se a afirma\u00e7\u00e3o de que tudo o que \u00e9 dito \u00e9 mentira n\u00e3o \u00e9 uma mentira, ent\u00e3o algo que \u00e9 dito \u00e9 verdade e, portanto, a afirma\u00e7\u00e3o \u00e9 falsa. Consequentemente, se for verdade, \u00e9 falso, e vice-versa.<\/li>\n<li><strong>O paradoxo do mentiroso:<\/strong> Emerge da afirma\u00e7\u00e3o \u00abestou mentindo\u00bb, que apresenta uma contradi\u00e7\u00e3o l\u00f3gica se for verdadeira ou falsa. Se for verdadeira, ent\u00e3o a pessoa est\u00e1 mentindo e, portanto, a afirma\u00e7\u00e3o \u00e9 falsa. Se for falsa, ent\u00e3o a pessoa n\u00e3o est\u00e1 mentindo e, portanto, a afirma\u00e7\u00e3o \u00e9 verdadeira. Finalmente, como o anterior, se for verdadeira, \u00e9 falsa, e vice-versa.<\/li>\n<li><strong>Paradoxo das propriedades autorreferentes:<\/strong> Os paradoxos autorreferentes surgem de express\u00f5es que se referem a si mesmas, induzindo uma contradi\u00e7\u00e3o, por exemplo, como ocorre ao falar de \u00abo menor n\u00famero que n\u00e3o pode ser escrito com menos de vinte palavras\u00bb. Isso \u00e9 em si um paradoxo porque a pr\u00f3pria express\u00e3o tem menos de vinte palavras.<\/li>\n<li><strong>O paradoxo do barbeiro:<\/strong> \u00c9 apresentado da seguinte forma: <em>\u00abEm uma cidade, h\u00e1 um barbeiro que barbeia todos os homens da cidade que n\u00e3o se barbeiam. O barbeiro se barbeia?\u00bb<\/em> \u00c0 primeira vista, essa afirma\u00e7\u00e3o parece n\u00e3o ter problemas, mas e o pr\u00f3prio barbeiro? \u00c9 claro que o barbeiro \u00e9 homem (caso contr\u00e1rio, n\u00e3o falar\u00edamos de \u00abo barbeiro\u00bb) e se ele pode se barbear, ent\u00e3o ele n\u00e3o pode se barbear; por outro lado, se ele n\u00e3o pode se barbear, ent\u00e3o ele pode se barbear, e assim em c\u00edrculos novamente.<\/li>\n<li><strong>O paradoxo da exist\u00eancia do conjunto vazio:<\/strong> Baseia-se na afirma\u00e7\u00e3o de que o conjunto vazio (ou conjunto que n\u00e3o possui elementos) existe, mas por sua vez, nenhum dos elementos que o comp\u00f5em existe (porque n\u00e3o tem). Portanto, temos um objeto que existe e \u00e9 formado por objetos inexistentes.<\/li>\n<\/ol>\n<p><a name=\"9\"><\/a><\/p>\n<h3>A L\u00f3gica Matem\u00e1tica ou Simb\u00f3lica<\/h3>\n<p style=\"text-align:justify;\">A l\u00f3gica matem\u00e1tica, tamb\u00e9m conhecida como l\u00f3gica simb\u00f3lica, \u00e9 um ramo da l\u00f3gica que trata do uso de s\u00edmbolos e nota\u00e7\u00f5es matem\u00e1ticas para representar e analisar argumentos e express\u00f5es. Esta forma de l\u00f3gica baseia-se na ideia de que o pensamento e o racioc\u00ednio s\u00e3o processos que podem ser modelados, analisados e estudados matematicamente, e que s\u00edmbolos e nota\u00e7\u00f5es matem\u00e1ticas s\u00e3o \u00fateis para representar e manipular esses processos de maneira consistente e exata.<\/p>\n<p style=\"text-align:justify;\">O estudo da l\u00f3gica matem\u00e1tica come\u00e7a revisando a linguagem que ser\u00e1 usada para representar seus elementos, assim distinguimos as mais comuns: a l\u00f3gica proposicional e as l\u00f3gicas de predicados de primeira e segunda ordem. Em cada uma dessas se desenvolvem as t\u00e9cnicas de racioc\u00ednio matem\u00e1tico que permitem a demonstra\u00e7\u00e3o rigorosa de in\u00fameros resultados e teoremas matem\u00e1ticos.<\/p>\n<p style=\"text-align:justify;\">O estudo da l\u00f3gica simb\u00f3lica faz parte de um dos pilares fundamentais da matem\u00e1tica.<\/p>\n<p><a name=\"10\"><\/a><\/p>\n<h3>Os 4 Pilares Fundamentais da Matem\u00e1tica<\/h3>\n<p style=\"text-align:justify;\">A l\u00f3gica matem\u00e1tica \u00e9 uma parte importante dos fundamentos da matem\u00e1tica. Esses fundamentos s\u00e3o compostos pelos seguintes quatro pilares:<\/p>\n<ol style=\"text-align:justify;\">\n<li><strong>Teoria da Demonstra\u00e7\u00e3o:<\/strong> Centra-se no estudo de como os argumentos matem\u00e1ticos e cient\u00edficos podem ser apresentados e avaliados. Esta teoria baseia-se na ideia de que as demonstra\u00e7\u00f5es devem ser rigorosas, l\u00f3gicas e baseadas em princ\u00edpios formais. A teoria da demonstra\u00e7\u00e3o inclui a pesquisa sobre diferentes tipos de demonstra\u00e7\u00f5es, como as demonstra\u00e7\u00f5es indutivas e dedutivas, e sobre como esses tipos de demonstra\u00e7\u00f5es podem ser usados para resolver problemas matem\u00e1ticos e cient\u00edficos. Isso \u00e9 exatamente o que fazemos ao estudar l\u00f3gica matem\u00e1tica.<\/li>\n<li><strong>Teoria dos Conjuntos:<\/strong> \u00c9 um ramo da matem\u00e1tica que trata do estudo dos conjuntos, que s\u00e3o cole\u00e7\u00f5es de elementos ou objetos. Esta teoria inclui a pesquisa sobre como os conjuntos podem ser definidos e classificados, e sobre como as opera\u00e7\u00f5es podem ser realizadas com eles. A teoria dos conjuntos \u00e9 uma parte fundamental da matem\u00e1tica moderna e tem sido usada para desenvolver e aplicar muitos dos conceitos e princ\u00edpios fundamentais da matem\u00e1tica.<\/li>\n<li><strong>Teoria da Computa\u00e7\u00e3o:<\/strong> Da qual as partes fundamentais s\u00e3o:\n<ol type=\"a\">\n<li><strong>Teoria da Complexidade:<\/strong> \u00c9 um ramo da ci\u00eancia da computa\u00e7\u00e3o que trata do estudo da complexidade de problemas e algoritmos. Esta teoria inclui a pesquisa sobre como a complexidade de diferentes problemas e algoritmos pode ser medida e comparada, e como algoritmos mais eficientes podem ser desenvolvidos e usados para resolver esses problemas.<\/li>\n<li><strong>Teoria da Computabilidade:<\/strong> \u00c9 a parte da ci\u00eancia da computa\u00e7\u00e3o que trata do estudo de quais problemas e fun\u00e7\u00f5es podem ser resolvidos ou avaliados por um computador e quais n\u00e3o podem. Esta teoria inclui a pesquisa sobre como problemas e fun\u00e7\u00f5es comput\u00e1veis podem ser definidos e classificados, e como eles podem ser desenvolvidos e usados.<\/li>\n<\/ol>\n<\/li>\n<li><strong>Teoria dos Modelos:<\/strong> Em l\u00f3gica e matem\u00e1tica, \u00e9 o estudo das rela\u00e7\u00f5es entre teorias formais (afirma\u00e7\u00f5es escritas em uma linguagem formal, usadas para estabelecer afirma\u00e7\u00f5es sobre alguma estrutura matem\u00e1tica) e seus modelos (que s\u00e3o mantidos sob essas estruturas). Tais estruturas matem\u00e1ticas podem ser grupos, corpos, grafos, etc. A teoria dos modelos permite atribuir uma interpreta\u00e7\u00e3o sem\u00e2ntica \u00e0s express\u00f5es puramente formais e tamb\u00e9m permite estudar os problemas de completude, consist\u00eancia e independ\u00eancia entre afirma\u00e7\u00f5es.<\/li>\n<\/ol>\n<p style=\"text-align:justify;\">\u00c9 extremamente dif\u00edcil estudar cada um desses pilares em profundidade sem tocar em algum aspecto dos outros. O estudo desses pilares costuma estar interligado. Quando nos perguntamos o que \u00e9 a l\u00f3gica matem\u00e1tica, \u00e9 normal acabar respondendo a essa pergunta com uma combina\u00e7\u00e3o de estudos que se movem entre esses quatro pilares.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>O que \u00e9 a L\u00f3gica Matem\u00e1tica? Explorando seus Fundamentos Resumo: Nesta aula, voc\u00ea descobrir\u00e1 os conceitos b\u00e1sicos da l\u00f3gica matem\u00e1tica, incluindo sua rela\u00e7\u00e3o com as linguagens e por que o uso de linguagens formais \u00e9 preferido em vez das naturais. Al\u00e9m disso, voc\u00ea conhecer\u00e1 algumas das paradoxas mais famosas que desafiaram a l\u00f3gica e o [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":25068,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":0,"footnotes":""},"categories":[607,621],"tags":[],"class_list":["post-25067","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-logica-matematica-pt","category-logica-proposicional-pt"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>O que \u00e9 L\u00f3gica Matem\u00e1tica? Explorando seus fundamentos - toposuranos.com\/material<\/title>\n<meta name=\"description\" content=\"Explore os fundamentos da l\u00f3gica matem\u00e1tica e simb\u00f3lica, a import\u00e2ncia das linguagens formais e descubra as paradoxos da linguagem.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"O que \u00e9 L\u00f3gica Matem\u00e1tica? Explorando seus fundamentos\" \/>\n<meta property=\"og:description\" content=\"Explore os fundamentos da l\u00f3gica matem\u00e1tica e simb\u00f3lica, a import\u00e2ncia das linguagens formais e descubra as paradoxos da linguagem.\" \/>\n<meta property=\"og:url\" content=\"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/\" \/>\n<meta property=\"og:site_name\" content=\"toposuranos.com\/material\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/groups\/toposuranos\" \/>\n<meta property=\"article:published_time\" content=\"2021-01-16T00:00:22+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-08-28T16:03:36+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/mathematicallogic-2.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1081\" \/>\n\t<meta property=\"og:image:height\" content=\"477\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"giorgio.reveco\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"O que \u00e9 L\u00f3gica Matem\u00e1tica? Explorando seus fundamentos\" \/>\n<meta name=\"twitter:description\" content=\"Explore os fundamentos da l\u00f3gica matem\u00e1tica e simb\u00f3lica, a import\u00e2ncia das linguagens formais e descubra as paradoxos da linguagem.\" \/>\n<meta name=\"twitter:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/mathematicallogic-2.jpg\" \/>\n<meta name=\"twitter:creator\" content=\"@topuranos\" \/>\n<meta name=\"twitter:site\" content=\"@topuranos\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"giorgio.reveco\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"10 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/pt\\\/o-que-e-logica-matematica-explorando-seus-fundamentos\\\/#article\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/pt\\\/o-que-e-logica-matematica-explorando-seus-fundamentos\\\/\"},\"author\":{\"name\":\"giorgio.reveco\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\"},\"headline\":\"O que \u00e9 L\u00f3gica Matem\u00e1tica? Explorando seus fundamentos\",\"datePublished\":\"2021-01-16T00:00:22+00:00\",\"dateModified\":\"2024-08-28T16:03:36+00:00\",\"mainEntityOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/pt\\\/o-que-e-logica-matematica-explorando-seus-fundamentos\\\/\"},\"wordCount\":2159,\"commentCount\":0,\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/pt\\\/o-que-e-logica-matematica-explorando-seus-fundamentos\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/mathematicallogic-2.jpg\",\"articleSection\":[\"L\u00f3gica Matem\u00e1tica\",\"L\u00f3gica Proposicional\"],\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/pt\\\/o-que-e-logica-matematica-explorando-seus-fundamentos\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/pt\\\/o-que-e-logica-matematica-explorando-seus-fundamentos\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/pt\\\/o-que-e-logica-matematica-explorando-seus-fundamentos\\\/\",\"name\":\"O que \u00e9 L\u00f3gica Matem\u00e1tica? Explorando seus fundamentos - toposuranos.com\\\/material\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/pt\\\/o-que-e-logica-matematica-explorando-seus-fundamentos\\\/#primaryimage\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/pt\\\/o-que-e-logica-matematica-explorando-seus-fundamentos\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/mathematicallogic-2.jpg\",\"datePublished\":\"2021-01-16T00:00:22+00:00\",\"dateModified\":\"2024-08-28T16:03:36+00:00\",\"description\":\"Explore os fundamentos da l\u00f3gica matem\u00e1tica e simb\u00f3lica, a import\u00e2ncia das linguagens formais e descubra as paradoxos da linguagem.\",\"breadcrumb\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/pt\\\/o-que-e-logica-matematica-explorando-seus-fundamentos\\\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/pt\\\/o-que-e-logica-matematica-explorando-seus-fundamentos\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/pt\\\/o-que-e-logica-matematica-explorando-seus-fundamentos\\\/#primaryimage\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/mathematicallogic-2.jpg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/mathematicallogic-2.jpg\",\"width\":1081,\"height\":477,\"caption\":\"L\u00f3gica Matem\u00e1tica\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/pt\\\/o-que-e-logica-matematica-explorando-seus-fundamentos\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/cursos-de-matematica-y-fisica\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"O que \u00e9 L\u00f3gica Matem\u00e1tica? Explorando seus fundamentos\"}]},{\"@type\":\"WebSite\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/\",\"name\":\"toposuranos.com\\\/material\",\"description\":\"\",\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\",\"name\":\"toposuranos.com\\\/material\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/logo.png\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/logo.png\",\"width\":2400,\"height\":2059,\"caption\":\"toposuranos.com\\\/material\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/groups\\\/toposuranos\",\"https:\\\/\\\/x.com\\\/topuranos\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UC16yDm12cPcrwsE0fAM7X1g\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/69429190\"]},{\"@type\":\"Person\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\",\"name\":\"giorgio.reveco\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"caption\":\"giorgio.reveco\"},\"description\":\"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.\",\"sameAs\":[\"http:\\\/\\\/toposuranos.com\\\/material\"],\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/author\\\/giorgio-reveco\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"O que \u00e9 L\u00f3gica Matem\u00e1tica? Explorando seus fundamentos - toposuranos.com\/material","description":"Explore os fundamentos da l\u00f3gica matem\u00e1tica e simb\u00f3lica, a import\u00e2ncia das linguagens formais e descubra as paradoxos da linguagem.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/","og_locale":"es_ES","og_type":"article","og_title":"O que \u00e9 L\u00f3gica Matem\u00e1tica? Explorando seus fundamentos","og_description":"Explore os fundamentos da l\u00f3gica matem\u00e1tica e simb\u00f3lica, a import\u00e2ncia das linguagens formais e descubra as paradoxos da linguagem.","og_url":"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/","og_site_name":"toposuranos.com\/material","article_publisher":"https:\/\/www.facebook.com\/groups\/toposuranos","article_published_time":"2021-01-16T00:00:22+00:00","article_modified_time":"2024-08-28T16:03:36+00:00","og_image":[{"width":1081,"height":477,"url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/mathematicallogic-2.jpg","type":"image\/jpeg"}],"author":"giorgio.reveco","twitter_card":"summary_large_image","twitter_title":"O que \u00e9 L\u00f3gica Matem\u00e1tica? Explorando seus fundamentos","twitter_description":"Explore os fundamentos da l\u00f3gica matem\u00e1tica e simb\u00f3lica, a import\u00e2ncia das linguagens formais e descubra as paradoxos da linguagem.","twitter_image":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/mathematicallogic-2.jpg","twitter_creator":"@topuranos","twitter_site":"@topuranos","twitter_misc":{"Escrito por":"giorgio.reveco","Tiempo de lectura":"10 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/#article","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/"},"author":{"name":"giorgio.reveco","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1"},"headline":"O que \u00e9 L\u00f3gica Matem\u00e1tica? Explorando seus fundamentos","datePublished":"2021-01-16T00:00:22+00:00","dateModified":"2024-08-28T16:03:36+00:00","mainEntityOfPage":{"@id":"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/"},"wordCount":2159,"commentCount":0,"publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"image":{"@id":"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/mathematicallogic-2.jpg","articleSection":["L\u00f3gica Matem\u00e1tica","L\u00f3gica Proposicional"],"inLanguage":"es","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/#respond"]}]},{"@type":"WebPage","@id":"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/","url":"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/","name":"O que \u00e9 L\u00f3gica Matem\u00e1tica? Explorando seus fundamentos - toposuranos.com\/material","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/#website"},"primaryImageOfPage":{"@id":"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/#primaryimage"},"image":{"@id":"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/mathematicallogic-2.jpg","datePublished":"2021-01-16T00:00:22+00:00","dateModified":"2024-08-28T16:03:36+00:00","description":"Explore os fundamentos da l\u00f3gica matem\u00e1tica e simb\u00f3lica, a import\u00e2ncia das linguagens formais e descubra as paradoxos da linguagem.","breadcrumb":{"@id":"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/#primaryimage","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/mathematicallogic-2.jpg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/mathematicallogic-2.jpg","width":1081,"height":477,"caption":"L\u00f3gica Matem\u00e1tica"},{"@type":"BreadcrumbList","@id":"http:\/\/toposuranos.com\/material\/pt\/o-que-e-logica-matematica-explorando-seus-fundamentos\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"http:\/\/toposuranos.com\/material\/es\/cursos-de-matematica-y-fisica\/"},{"@type":"ListItem","position":2,"name":"O que \u00e9 L\u00f3gica Matem\u00e1tica? Explorando seus fundamentos"}]},{"@type":"WebSite","@id":"http:\/\/toposuranos.com\/material\/#website","url":"http:\/\/toposuranos.com\/material\/","name":"toposuranos.com\/material","description":"","publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"http:\/\/toposuranos.com\/material\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Organization","@id":"http:\/\/toposuranos.com\/material\/#organization","name":"toposuranos.com\/material","url":"http:\/\/toposuranos.com\/material\/","logo":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","width":2400,"height":2059,"caption":"toposuranos.com\/material"},"image":{"@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/groups\/toposuranos","https:\/\/x.com\/topuranos","https:\/\/www.youtube.com\/channel\/UC16yDm12cPcrwsE0fAM7X1g","https:\/\/www.linkedin.com\/company\/69429190"]},{"@type":"Person","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1","name":"giorgio.reveco","image":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","caption":"giorgio.reveco"},"description":"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.","sameAs":["http:\/\/toposuranos.com\/material"],"url":"http:\/\/toposuranos.com\/material\/author\/giorgio-reveco\/"}]}},"_links":{"self":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/25067","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/comments?post=25067"}],"version-history":[{"count":0,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/25067\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media\/25068"}],"wp:attachment":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media?parent=25067"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/categories?post=25067"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/tags?post=25067"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}