Uma prova n\u00e3o \u00e9 apenas uma suposi\u00e7\u00e3o apoiada em evid\u00eancias. \u00c9 um argumento formal que estabelece a validade de uma proposi\u00e7\u00e3o. Quando as pessoas usam a palavra prova, geralmente querem dizer algo rigoroso. Procuram uma dedu\u00e7\u00e3o que n\u00e3o deixe d\u00favidas. <\/p>\n
No mundo dos sistemas axiom\u00e1ticos formais, as coisas ficam precisas. Aqui, uma prova \u00e9 definida como uma sequ\u00eancia finita de f\u00f3rmulas bem formadas. Estas f\u00f3rmulas devem seguir regras de forma\u00e7\u00e3o aceitas. Se voc\u00ea quebrar as regras, a sequ\u00eancia falhar\u00e1 como prova. <\/p>\n
A estrutura \u00e9 rigorosa. Cada f\u00f3rmula na sequ\u00eancia deve atender a um de dois crit\u00e9rios. Primeiro, pode ser um axioma. Axiomas s\u00e3o os pontos de partida. Eles s\u00e3o aceitos sem provas. Em segundo lugar, a f\u00f3rmula pode ser derivada de f\u00f3rmulas anteriores. Esta deriva\u00e7\u00e3o deve usar uma infer\u00eancia v\u00e1lida. Voc\u00ea n\u00e3o pode pular etapas. Voc\u00ea n\u00e3o pode presumir o que est\u00e1 tentando provar. <\/p>\n
O objetivo \u00e9 espec\u00edfico. A \u00faltima f\u00f3rmula da sequ\u00eancia \u00e9 aquela que voc\u00ea deseja provar. Tudo antes apoia essa conclus\u00e3o final. Se a l\u00f3gica for v\u00e1lida, a proposi\u00e7\u00e3o \u00e9 v\u00e1lida. <\/p>\n
Nem todas as provas dependem da mesma l\u00f3gica. Alguns s\u00e3o baseados em racioc\u00ednio indutivo. A indu\u00e7\u00e3o analisa padr\u00f5es e faz generaliza\u00e7\u00f5es. Mas na l\u00f3gica formal e na matem\u00e1tica, o termo prova conota dedu\u00e7\u00e3o rigorosa. A dedu\u00e7\u00e3o passa de princ\u00edpios gerais para conclus\u00f5es espec\u00edficas. Garante a verdade se as premissas forem verdadeiras. <\/p>\n
\u00c0s vezes, uma prova divide um problema em partes. Isso \u00e9 conhecido como prova por casos. Tamb\u00e9m chamado de dilema em alguns contextos, este m\u00e9todo lida com cen\u00e1rios complexos abordando cada possibilidade separadamente. Voc\u00ea prova o resultado para o caso A. Voc\u00ea o prova para o caso B. Se um desses casos deve ser verdadeiro, a proposi\u00e7\u00e3o geral \u00e9 v\u00e1lida. <\/p>\n
O valor de uma prova reside na sua certeza. Na ci\u00eancia, as evid\u00eancias se acumulam. Em matem\u00e1tica e l\u00f3gica, uma prova oferece finalidade. Mostra por que<\/em> algo \u00e9 verdade. N\u00e3o apenas diz que \u00e9 verdade. Ele percorre as etapas. Isso for\u00e7a o leitor a concordar com a conclus\u00e3o. <\/p>\n Este processo requer disciplina. Voc\u00ea deve seguir as regras de forma\u00e7\u00e3o. Voc\u00ea deve usar infer\u00eancias v\u00e1lidas. Voc\u00ea deve terminar com a proposta alvo. Se voc\u00ea perder um passo, a prova desmorona. Se voc\u00ea usar uma infer\u00eancia inv\u00e1lida, o resultado n\u00e3o ter\u00e1 sentido. <\/p>\n Ent\u00e3o, como voc\u00ea escreve um? Voc\u00ea come\u00e7a com axiomas. Voc\u00ea aplica regras de infer\u00eancia. Voc\u00ea constr\u00f3i a sequ\u00eancia. Voc\u00ea verifica cada etapa. Voc\u00ea espera que a \u00faltima f\u00f3rmula corresponda ao que voc\u00ea pretendia provar. \u00c9 um processo mec\u00e2nico. Mas isso leva a verdades profundas. <\/p>\n Por que isso importa? Porque distingue cren\u00e7a de conhecimento. Na vida di\u00e1ria, aceitamos as coisas com base na confian\u00e7a. Na l\u00f3gica, aceitamos coisas com base em provas. A diferen\u00e7a \u00e9 gritante. Um \u00e9 subjetivo. O outro \u00e9 objetivo. <\/p>\n Toda pergunta tem uma prova? N\u00e3o. Algumas proposi\u00e7\u00f5es s\u00e3o indecid\u00edveis dentro de um determinado sistema. Mas para aqueles que podem ser provados, o m\u00e9todo \u00e9 claro. \u00c9 uma sequ\u00eancia finita. \u00c9 rigoroso. \u00c9 v\u00e1lido. <\/p>\n A hist\u00f3ria da l\u00f3gica est\u00e1 repleta de debates sobre o que conta como prova. Sistemas diferentes t\u00eam axiomas diferentes. Diferentes regras de infer\u00eancia. Mas a ideia central permanece. Uma prova estabelece validade. Ele conecta o conhecido ao desconhecido. Ele constr\u00f3i uma ponte do axioma \u00e0 conclus\u00e3o. <\/p>\n Para estudantes e aprendizes ao longo da vida, compreender essa estrutura \u00e9 fundamental. Isso muda a forma como voc\u00ea aborda os problemas. Voc\u00ea para de olhar<\/p>\n","protected":false},"excerpt":{"rendered":" Uma prova n\u00e3o \u00e9 apenas uma suposi\u00e7\u00e3o apoiada em evid\u00eancias. \u00c9 um argumento formal que estabelece a validade de uma proposi\u00e7\u00e3o. Quando as pessoas usam a palavra prova, geralmente querem dizer algo rigoroso. Procuram uma dedu\u00e7\u00e3o que n\u00e3o deixe d\u00favidas. No mundo dos sistemas axiom\u00e1ticos formais, as coisas ficam precisas. Aqui, uma prova \u00e9 definida […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"tdm_status":"","tdm_grid_status":""},"categories":[50],"tags":[],"wpm_language_slugs":{"cs":"jak-logicky-dukaz-stanovi-pravdu-v-matematice-a-logice","de":"wie-ein-logischer-beweis-die-wahrheit-in-mathematik-und-logik-beweist","en":"how-a-logical-proof-establishes-truth-in-math-and-logic","es":"como-una-prueba-logica-establece-la-verdad-en-matematicas-y-logica","fr":"comment-une-preuve-logique-etablit-la-verite-en-mathematiques-et-en","id":"bagaimana-bukti-logis-menetapkan-kebenaran-dalam-matematika-dan-logika","it":"come-una-dimostrazione-logica-stabilisce-la-verita-in-matematica-e","nl":"hoe-een-logisch-bewijs-de-waarheid-in-wiskunde-en-logica-vaststelt","pl":"jak-dowod-logiczny-ustala-prawde-w-matematyce-i-logice","pt":"como-uma-prova-logica-estabelece-a-verdade-em-matematica-e-logica","ru-ru":"kak-logicheskoe-dokazatelstvo-ustanavlivaet-istinnost-v-matematike-i","uk-ua":"jak-logichnij-dokaz-vstanovljuye-istinnist-u-matematitsi-ta-logitsi"},"amp_enabled":true,"_links":{"self":[{"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/posts\/8001"}],"collection":[{"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/comments?post=8001"}],"version-history":[{"count":0,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/posts\/8001\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/media?parent=8001"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/categories?post=8001"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/tags?post=8001"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}