Teoria da argumentação e análise inferencial em lógica matemática

Detalhes bibliográficos
Autor(a) principal: Dias, Carlos Magno Corrêa
Data de Publicação: 1993
Tipo de documento: Artigo
Idioma: por
Título da fonte: Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
Texto Completo: http://repositorio.utfpr.edu.br/jspui/handle/1/422
id UTFPR-12_303584360d6fedcf7e6e988aa9179a74
oai_identifier_str oai:repositorio.utfpr.edu.br:1/422
network_acronym_str UTFPR-12
network_name_str Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
repository_id_str
spelling 2013-02-20T18:41:25Z2013-02-20T18:41:25Z1993-03DIAS, Carlos Magno Corrêa. Teoria da argumentação e análise inferencial em lógica matemática. Rev. Acad., Curitiba, v. 4, n. 7, p. 9-15, mar. 1993.0103-989Xhttp://repositorio.utfpr.edu.br/jspui/handle/1/422porRevista Acadêmica: ciências agrárias e ambientaisCreative Commons Licença 3.0 Unportedinfo:eu-repo/semantics/openAccessLógicaLógica simbólica e matemáticaCálculo proposicionalLogicLogic, Symbolic and mathematicalPropositional calculusTeoria da argumentação e análise inferencial em lógica matemáticainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleCuritibaDias, Carlos Magno Corrêareponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))instname:Universidade Tecnológica Federal do Paraná (UTFPR)instacron:UTFPRTHUMBNAILREV. ACAD._Dias, Carlos Magno Corrêa_1993.pdf.jpgREV. ACAD._Dias, Carlos Magno Corrêa_1993.pdf.jpgGenerated Thumbnailimage/jpeg1369http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/422/7/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1993.pdf.jpg7ecaa98f5746584feb61a61baff080fdMD57ORIGINALREV. ACAD._Dias, Carlos Magno Corrêa_1993.pdfREV. ACAD._Dias, Carlos Magno Corrêa_1993.pdfapplication/pdf7112784http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/422/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1993.pdffcdec4cc151b58dd10e81cfceef1371bMD51CC-LICENSElicense_urllicense_urltext/plain; charset=utf-849http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/422/2/license_urlc0b3e2a72fe5e4b72fa5798bb22cd3a3MD52license_textlicense_texttext/html; charset=utf-820411http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/422/3/license_texte55c2c1467759eaf2db30980d510d735MD53license_rdflicense_rdfapplication/rdf+xml; charset=utf-823457http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/422/4/license_rdf8e138d791b5e6aabba5eddb16c19147fMD54LICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/422/5/license.txt8a4605be74aa9ea9d79846c1fba20a33MD55TEXTREV. ACAD._Dias, Carlos Magno Corrêa_1993.pdf.txtREV. ACAD._Dias, Carlos Magno Corrêa_1993.pdf.txtExtracted texttext/plain38105http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/422/6/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1993.pdf.txt6a813c3954fb8a18321e845356081e2fMD561/4222015-03-07 03:04:02.09oai:repositorio.utfpr.edu.br:1/422Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2015-03-07T06:04:02Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)false
dc.title.pt_BR.fl_str_mv Teoria da argumentação e análise inferencial em lógica matemática
title Teoria da argumentação e análise inferencial em lógica matemática
spellingShingle Teoria da argumentação e análise inferencial em lógica matemática
Dias, Carlos Magno Corrêa
Lógica
Lógica simbólica e matemática
Cálculo proposicional
Logic
Logic, Symbolic and mathematical
Propositional calculus
title_short Teoria da argumentação e análise inferencial em lógica matemática
title_full Teoria da argumentação e análise inferencial em lógica matemática
title_fullStr Teoria da argumentação e análise inferencial em lógica matemática
title_full_unstemmed Teoria da argumentação e análise inferencial em lógica matemática
title_sort Teoria da argumentação e análise inferencial em lógica matemática
author Dias, Carlos Magno Corrêa
author_facet Dias, Carlos Magno Corrêa
author_role author
dc.contributor.author.fl_str_mv Dias, Carlos Magno Corrêa
dc.subject.por.fl_str_mv Lógica
Lógica simbólica e matemática
Cálculo proposicional
Logic
Logic, Symbolic and mathematical
Propositional calculus
topic Lógica
Lógica simbólica e matemática
Cálculo proposicional
Logic
Logic, Symbolic and mathematical
Propositional calculus
publishDate 1993
dc.date.issued.fl_str_mv 1993-03
dc.date.accessioned.fl_str_mv 2013-02-20T18:41:25Z
dc.date.available.fl_str_mv 2013-02-20T18:41:25Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.citation.fl_str_mv DIAS, Carlos Magno Corrêa. Teoria da argumentação e análise inferencial em lógica matemática. Rev. Acad., Curitiba, v. 4, n. 7, p. 9-15, mar. 1993.
dc.identifier.uri.fl_str_mv http://repositorio.utfpr.edu.br/jspui/handle/1/422
dc.identifier.issn.none.fl_str_mv 0103-989X
identifier_str_mv DIAS, Carlos Magno Corrêa. Teoria da argumentação e análise inferencial em lógica matemática. Rev. Acad., Curitiba, v. 4, n. 7, p. 9-15, mar. 1993.
0103-989X
url http://repositorio.utfpr.edu.br/jspui/handle/1/422
dc.language.iso.fl_str_mv por
language por
dc.relation.ispartof.pt_BR.fl_str_mv Revista Acadêmica: ciências agrárias e ambientais
dc.rights.driver.fl_str_mv Creative Commons Licença 3.0 Unported
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Creative Commons Licença 3.0 Unported
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Curitiba
publisher.none.fl_str_mv Curitiba
dc.source.none.fl_str_mv reponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
instname:Universidade Tecnológica Federal do Paraná (UTFPR)
instacron:UTFPR
instname_str Universidade Tecnológica Federal do Paraná (UTFPR)
instacron_str UTFPR
institution UTFPR
reponame_str Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
collection Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
bitstream.url.fl_str_mv http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/422/7/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1993.pdf.jpg
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/422/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1993.pdf
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/422/2/license_url
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/422/3/license_text
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/422/4/license_rdf
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/422/5/license.txt
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/422/6/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1993.pdf.txt
bitstream.checksum.fl_str_mv 7ecaa98f5746584feb61a61baff080fd
fcdec4cc151b58dd10e81cfceef1371b
c0b3e2a72fe5e4b72fa5798bb22cd3a3
e55c2c1467759eaf2db30980d510d735
8e138d791b5e6aabba5eddb16c19147f
8a4605be74aa9ea9d79846c1fba20a33
6a813c3954fb8a18321e845356081e2f
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)
repository.mail.fl_str_mv
_version_ 1805923192507727872