b'\n_START_ARTICLE_\nAcarretamento\n_START_SECTION_\nRela\xc3\xa7\xc3\xa3o entre acarretamento e dedu\xc3\xa7\xc3\xa3o\n_START_PARAGRAPH_\nIdealmente, acarretamento e dedu\xc3\xa7\xc3\xa3o s\xc3\xa3o extensionalmente equivalentes. Contudo, isso n\xc3\xa3o \xc3\xa9 sempre o caso._NEWLINE__NEWLINE_Um sistema dedutivo S \xc3\xa9 completo para a linguagem L se e somente se A \\models_L X implica A \\vdash_S X: isto \xc3\xa9, se todos os argumentos v\xc3\xa1lidos s\xc3\xa3o dedut\xc3\xadveis (ou prov\xc3\xa1veis) onde \\vdash_S denota a rela\xc3\xa7\xc3\xa3o de deducibilidade para o sistema S._NEWLINE_Um sistema dedutivo S \xc3\xa9 correto para uma linguagem L se e somente se A \\vdash_S X implica A \\models_L X: isto \xc3\xa9, se argumentos n\xc3\xa3o-inv\xc3\xa1lidos s\xc3\xa3o prov\xc3\xa1veis.\n_START_SECTION_\nRela\xc3\xa7\xc3\xa3o com condi\xc3\xa7\xc3\xa3o l\xc3\xb3gica\n_START_PARAGRAPH_\nEm alguns casos, acarretamento corresponde \xc3\xa0 condi\xc3\xa7\xc3\xa3o l\xc3\xb3gica (denotado por \\supset) da seguinte forma: na l\xc3\xb3gica cl\xc3\xa1ssica, A \\vDash B se e somente se existem alguns subconjuntos finitos \\{A_1,\\dots,A_n\\} de A e \\{B_1,\\dots,B_m\\} de B onde \\varnothing\\models A_1\\land\\dots\\land A_n\\supset B_1\\lor\\dots\\lor B_m.'