Lógica matemática: uma introdução ao cálculo proposicional

Detalhes bibliográficos
Autor(a) principal: Dias, Carlos Magno Corrêa
Data de Publicação: 1991
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/419
id UTFPR-12_5dca5161cf0d9e0fc042ebe9f7e29c91
oai_identifier_str oai:repositorio.utfpr.edu.br:1/419
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:21:38Z2013-02-20T18:21:38Z1991-03DIAS, Carlos Magno Corrêa. Lógica matemática: uma introdução ao cálculo proposicional. Rev. Acad., Curitiba, v. 2, n. 3, p. 11-15, mar. 1991.0103-989Xhttp://repositorio.utfpr.edu.br/jspui/handle/1/419porRevista Acadêmica: ciências agrarias e ambientaisAn error occurred getting the license - uri.An error occurred on the license name.Creative Commons Licença 3.0 Unportedinfo:eu-repo/semantics/openAccessMatemática - FilosofiaLógica simbólica e matemáticaCálculo proposicionalCálculo dos predicadosMathematics – PhilosophyLogic, Symbolic and mathematicalPropositional calculusPredicate calculusLógica matemática: uma introdução ao cálculo proposicionalinfo: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_1991.pdf.jpgREV. ACAD._Dias, Carlos Magno Corrêa_1991.pdf.jpgGenerated Thumbnailimage/jpeg1346http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/419/7/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1991.pdf.jpg9a9c33493baf949eed057a07abe5e2f2MD57ORIGINALREV. ACAD._Dias, Carlos Magno Corrêa_1991.pdfREV. ACAD._Dias, Carlos Magno Corrêa_1991.pdfapplication/pdf4271006http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/419/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1991.pdf073268a3f32ba1dcb91f187bd9596f65MD51CC-LICENSElicense_urllicense_urltext/plain; charset=utf-846http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/419/2/license_url643eb4cd71b9b7735efd049f964871adMD52license_textlicense_texttext/html; charset=utf-820325http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/419/3/license_text4a153b6c44a05cab108c5c040ff109c3MD53license_rdflicense_rdfapplication/rdf+xml; charset=utf-821791http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/419/4/license_rdf6b2332a2c91cba3a31a65947824f7f46MD54LICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/419/5/license.txt8a4605be74aa9ea9d79846c1fba20a33MD55TEXTREV. ACAD._Dias, Carlos Magno Corrêa_1991.pdf.txtREV. ACAD._Dias, Carlos Magno Corrêa_1991.pdf.txtExtracted texttext/plain31784http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/419/6/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1991.pdf.txt8d927d97b6bcd76fdf6e0dcecb278311MD561/4192015-03-07 03:03:52.768oai:repositorio.utfpr.edu.br:1/419Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2015-03-07T06:03:52Repositó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 Lógica matemática: uma introdução ao cálculo proposicional
title Lógica matemática: uma introdução ao cálculo proposicional
spellingShingle Lógica matemática: uma introdução ao cálculo proposicional
Dias, Carlos Magno Corrêa
Matemática - Filosofia
Lógica simbólica e matemática
Cálculo proposicional
Cálculo dos predicados
Mathematics – Philosophy
Logic, Symbolic and mathematical
Propositional calculus
Predicate calculus
title_short Lógica matemática: uma introdução ao cálculo proposicional
title_full Lógica matemática: uma introdução ao cálculo proposicional
title_fullStr Lógica matemática: uma introdução ao cálculo proposicional
title_full_unstemmed Lógica matemática: uma introdução ao cálculo proposicional
title_sort Lógica matemática: uma introdução ao cálculo proposicional
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 Matemática - Filosofia
Lógica simbólica e matemática
Cálculo proposicional
Cálculo dos predicados
Mathematics – Philosophy
Logic, Symbolic and mathematical
Propositional calculus
Predicate calculus
topic Matemática - Filosofia
Lógica simbólica e matemática
Cálculo proposicional
Cálculo dos predicados
Mathematics – Philosophy
Logic, Symbolic and mathematical
Propositional calculus
Predicate calculus
publishDate 1991
dc.date.issued.fl_str_mv 1991-03
dc.date.accessioned.fl_str_mv 2013-02-20T18:21:38Z
dc.date.available.fl_str_mv 2013-02-20T18:21:38Z
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. Lógica matemática: uma introdução ao cálculo proposicional. Rev. Acad., Curitiba, v. 2, n. 3, p. 11-15, mar. 1991.
dc.identifier.uri.fl_str_mv http://repositorio.utfpr.edu.br/jspui/handle/1/419
dc.identifier.issn.none.fl_str_mv 0103-989X
identifier_str_mv DIAS, Carlos Magno Corrêa. Lógica matemática: uma introdução ao cálculo proposicional. Rev. Acad., Curitiba, v. 2, n. 3, p. 11-15, mar. 1991.
0103-989X
url http://repositorio.utfpr.edu.br/jspui/handle/1/419
dc.language.iso.fl_str_mv por
language por
dc.relation.ispartof.pt_BR.fl_str_mv Revista Acadêmica: ciências agrarias e ambientais
dc.rights.driver.fl_str_mv An error occurred getting the license - uri.
An error occurred on the license name.
Creative Commons Licença 3.0 Unported
info:eu-repo/semantics/openAccess
rights_invalid_str_mv An error occurred getting the license - uri.
An error occurred on the license name.
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/419/7/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1991.pdf.jpg
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/419/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1991.pdf
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/419/2/license_url
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/419/3/license_text
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/419/4/license_rdf
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/419/5/license.txt
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/419/6/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1991.pdf.txt
bitstream.checksum.fl_str_mv 9a9c33493baf949eed057a07abe5e2f2
073268a3f32ba1dcb91f187bd9596f65
643eb4cd71b9b7735efd049f964871ad
4a153b6c44a05cab108c5c040ff109c3
6b2332a2c91cba3a31a65947824f7f46
8a4605be74aa9ea9d79846c1fba20a33
8d927d97b6bcd76fdf6e0dcecb278311
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_ 1805922937141723136

Registros relacionados