Lógica - Unip
136 pág.

Lógica - Unip


DisciplinaLógica I10.849 materiais155.035 seguidores
Pré-visualização27 páginas
\ue00
Autores:\ue00 Prof.\ue00Angel\ue00Antonio\ue00Gonzales\ue00Martinez
\ue00 \ue00 Prof.\ue00Ákio\ue00Nogueira\ue00Barbosa
Colaboradores:\ue00Profa.\ue00Elisângela\ue00Mônaco\ue00de\ue00Moraes
Prof.\ue00Roberto\ue00Macias
Prof.\ue00Daniel\ue00Scodeler\ue00Raimundo
Lógica
Professores\ue00conteudistas:\ue00Angel\ue00Antonio\ue00Gonzalez\ue00Martinez\ue00/\ue00\ue00
Ákio\ue00Nogueira\ue00Barbosa
Prof.\ue00 Angel\ue00 Antonio\ue00 Gonzalez\ue00 Martinez:\ue00 Doutorando\ue00 pela\ue00 Escola\ue00 de\ue00 Engenharia\ue00 Mackenzie\ue00 em\ue00
telecomunicações.\ue00Mestre\ue00em\ue00engenharia\ue00elétrica\ue00pelo\ue00Departamento\ue00de\ue00Engenharia\ue00de\ue00Sistemas\ue00Eletrônicos\ue00
da\ue00 Escola\ue00 Politécnica\ue00 da\ue00 Universidade\ue00 de\ue00 São\ue00 Paulo\ue00 -\ue00 EPUSP.\ue00 Graduado\ue00 em\ue00 engenharia\ue00 elétrica\ue00 modalidade\ue00
eletrônica\ue00pela\ue00Escola\ue00de\ue00Engenharia\ue00Mackenzie.\ue00Atua\ue00como\ue00professor\ue00dos\ue00cursos\ue00de\ue00Tecnologia\ue00em\ue00Automação\ue00
Industrial\ue00 pela\ue00 UNIP.\ue00 Atuou\ue00 como\ue00 professor\ue00 nos\ue00 cursos\ue00 tecnológicos\ue00 \ue00 de\ue00 Automação\ue00 e\ue00 Robótica\ue00 pela\ue00 Unip.\ue00
Atuou\ue00nos\ue00 cursos\ue00 tecnológicos\ue00de\ue00Redes\ue00de\ue00Computadores,\ue00Análise\ue00de\ue00 sistemas,\ue00Gestão\ue00de\ue00 TI\ue00 pela\ue00Unip.\ue00 Ex-
coordenador\ue00dos\ue00cursos\ue00de\ue00Análise\ue00de\ue00sistemas,\ue00Redes\ue00de\ue00computadores,\ue00Automação\ue00Industrial.\ue00Atua\ue00há\ue00vários\ue00
anos\ue00como\ue00consultor\ue00de\ue00TI\ue00para\ue00diversas\ue00empresas\ue00do\ue00segmento\ue00de\ue00TI.
Prof.\ue00Ákio\ue00Nogueira\ue00Barbosa:\ue00Doutorando\ue00no\ue00Departamento\ue00de\ue00Engenharia\ue00de\ue00Computação\ue00e\ue00Sistemas\ue00
Digitais\ue00da\ue00Escola\ue00Politécnica\ue00da\ue00Universidade\ue00de\ue00São\ue00Paulo.\ue00Mestre\ue00em\ue00engenharia\ue00elétrica\ue00pelo\ue00Departamento\ue00
de\ue00 Engenharia\ue00 de\ue00 Sistemas\ue00 Eletrônicos\ue00 da\ue00 Escola\ue00 Politécnica\ue00 da\ue00 Universidade\ue00 de\ue00 São\ue00 Paulo\ue00 -\ue00 EPUSP\ue00 (2006).\ue00
Possui\ue00especialização\ue00em\ue00engenharia\ue00de\ue00segurança\ue00do\ue00trabalho\ue00pela\ue00Escola\ue00Politécnica\ue00da\ue00Universidade\ue00de\ue00São\ue00
Paulo\ue00 -\ue00 EPUSP/PECE\ue00 (2002)\ue00 e\ue00 graduação\ue00 em\ue00 engenharia\ue00 elétrica\ue00 (modalidade\ue00 eletrônica)\ue00 pela\ue00 Faculdade\ue00 de\ue00
Engenharia\ue00São\ue00Paulo\ue00-\ue00FESP\ue00(1999).\ue00Exerce\ue00suas\ue00atividades\ue00profissionais\ue00na\ue00Escola\ue00Politécnica\ue00da\ue00Universidade\ue00
de\ue00São\ue00Paulo\ue00desde\ue001988,\ue00onde\ue00a\ue00partir\ue00de\ue002001\ue00assumiu\ue00o\ue00cargo\ue00de\ue00especialista\ue00em\ue00laboratório.\ue00Atualmente\ue00
desempenha\ue00 suas\ue00 funções\ue00no\ue00 Laboratório\ue00de\ue00Arquitetura\ue00 e\ue00Redes\ue00de\ue00Computadores\ue00 (Larc)\ue00 do\ue00Departamento\ue00
de\ue00Engenharia\ue00de\ue00Computação\ue00e\ue00Sistemas\ue00Digitais\ue00 (PCS)\ue00da\ue00Escola\ue00Politécnica\ue00da\ue00Universidade\ue00de\ue00São\ue00Paulo,\ue00
atuando\ue00nas\ue00seguintes\ue00áreas:\ue00segurança\ue00de\ue00redes\ue00de\ue00computadores,\ue00gerenciamento\ue00e\ue00qualidade\ue00de\ue00serviço\ue00em\ue00
redes\ue00computacionais\ue00e\ue00apoio\ue00em\ue00laboratórios\ue00didáticos.\ue00É\ue00professor\ue00no\ue00curso\ue00de\ue00Gestão\ue00e\ue00Gerenciamento\ue00de\ue00
Redes\ue00da\ue00Universidade\ue00Paulista\ue00 -\ue00UNIP,\ue00membro\ue00do\ue00Comitê\ue00Brasileiro\ue00da\ue00Comissão\ue00de\ue00Estudos\ue00de\ue00Tecnologia\ue00
da\ue00Informação\ue00(técnicas\ue00de\ue00segurança\ue00e\ue00perícia\ue00em\ue00informática)\ue00da\ue00Associação\ue00Brasileira\ue00de\ue00Normas\ue00Técnicas\ue00
-\ue00ABNT,\ue00membro\ue00consultor\ue00da\ue00Comissão\ue00de\ue00Responsabilidade\ue00Social\ue00da\ue00Ordem\ue00dos\ue00Advogados\ue00do\ue00Brasil\ue00(OAB-
SP)\ue00e\ue00perito\ue00judicial\ue00na\ue00área\ue00de\ue00informática.\ue00É\ue00membro\ue00fundador\ue00e\ue00vice-presidente\ue00da\ue00Associação\ue00Brasileira\ue00de\ue00
Perícias\ue00de\ue00Informática\ue00e\ue00Telecomunicações\ue00-\ue00SBPIT.
©\ue00Todos\ue00os\ue00direitos\ue00reservados.\ue00Nenhuma\ue00parte\ue00desta\ue00obra\ue00pode\ue00ser\ue00reproduzida\ue00ou\ue00transmitida\ue00por\ue00qualquer\ue00forma\ue00e/ou\ue00
quaisquer\ue00meios\ue00(eletrônico,\ue00incluindo\ue00fotocópia\ue00e\ue00gravação)\ue00ou\ue00arquivada\ue00em\ue00qualquer\ue00sistema\ue00ou\ue00banco\ue00de\ue00dados\ue00sem\ue00
permissão\ue00escrita\ue00da\ue00Universidade\ue00Paulista.
Dados\ue00Internacionais\ue00de\ue00Catalogação\ue00na\ue00Publicação\ue00(CIP)
M385 Martinez,\ue00Angel\ue00Antonio\ue00Gonzales\ue00
Lógica.\ue00 /\ue00 Angel\ue00 Antonio\ue00 Gonzales\ue00 Martinez;\ue00 Ákio\ue00 Nogueira\ue00
Barbosa.\ue00-\ue00São\ue00Paulo:\ue00Editora\ue00Sol.
\ue00136\ue00p.\ue00il.
Nota:\ue00 este\ue00 volume\ue00 está\ue00 publicado\ue00 nos\ue00 Cadernos\ue00 de\ue00 Estudos\ue00
e\ue00 Pesquisas\ue00 da\ue00 UNIP,\ue00 Série\ue00 Didática,\ue00 ano\ue00 XVII,\ue00 n.\ue00 2-025/11,\ue00
ISSN\ue001517-9230.\ue00
\ue00
1.Proposições\ue002.Argumentação\ue003.Predicados\ue00I.Título
CDU\ue00161/162
Prof.\ue00Dr.\ue00João\ue00Carlos\ue00Di\ue00Genio
Reitor
Prof.\ue00Fábio\ue00Romeu\ue00de\ue00Carvalho
Vice-Reitor\ue00de\ue00Planejamento,\ue00Administração\ue00e\ue00Finanças
Profa.\ue00Melânia\ue00Dalla\ue00Torre
Vice-Reitora\ue00de\ue00Unidades\ue00Universitárias
Prof.\ue00Dr.\ue00Yugo\ue00Okida
Vice-Reitor\ue00de\ue00Pós-Graduação\ue00e\ue00Pesquisa
Profa.\ue00Dra.\ue00Marília\ue00Ancona-Lopez
Vice-Reitora\ue00de\ue00Graduação
Unip\ue00Interativa\ue00\u2013\ue00EaD
Profa.\ue00Elisabete\ue00Brihy\ue00\ue00
Prof.\ue00Marcelo\ue00Souza
Profa.\ue00Melissa\ue00Larrabure
\ue00 Material\ue00Didático\ue00\u2013\ue00EaD
\ue00 Comissão\ue00editorial:
\ue00 \ue00 Dra.\ue00Angélica\ue00L.\ue00Carlini\ue00(UNIP)
\ue00 \ue00 Dr.\ue00Cid\ue00Santos\ue00Gesteira\ue00(UFBA)
\ue00 \ue00 Dra.\ue00Divane\ue00Alves\ue00da\ue00Silva\ue00(UNIP)
\ue00 \ue00 Dr.\ue00Ivan\ue00Dias\ue00da\ue00Motta\ue00(CESUMAR)
\ue00 \ue00 Dra.\ue00Kátia\ue00Mosorov\ue00Alonso\ue00(UFMT)
\ue00 \ue00 Dra.\ue00Valéria\ue00de\ue00Carvalho\ue00(UNIP)
\ue00 Apoio:
\ue00 \ue00 Profa.\ue00Cláudia\ue00Regina\ue00Batista\ue00\u2013\ue00EaD
\ue00 \ue00 Profa.\ue00Betisa\ue00Malaman\ue00\u2013\ue00Comissão\ue00de\ue00Qualificação\ue00e\ue00Avaliação\ue00de\ue00Cursos
\ue00 Projeto\ue00gráfico:
\ue00 \ue00 Prof.\ue00Alexandre\ue00Ponzetto
\ue00 Revisão:
\ue00 \ue00 Leandro\ue00Freitas
Logica_Unid_IV.indd 139 15/12/2011 19:47:12
Sumário
Lógica
APRESENTAÇÃO\ue00......................................................................................................................................................9
INTRODUÇÃO\ue00...........................................................................................................................................................9
Unidade\ue00I
1\ue00FUNDAMENTOS\ue00SOBRE\ue00PROPOSIÇÕES\ue00................................................................................................... 13
1.1\ue00Proposições\ue00e\ue00conectivos\ue00.................................................................................................................. 13
1.1.1\ue00Conceito\ue00de\ue00proposição\ue00........................................................................................................................ 13
1.1.2\ue00Valores\ue00lógicos\ue00das\ue00proposições\ue00........................................................................................................ 15
1.1.3\ue00Proposições\ue00simples\ue00e\ue00proposições\ue00compostas\ue00........................................................................... 15
1.1.4\ue00Conectivos\ue00................................................................................................................................................. 17
1.1.5\ue00Tabela-verdade\ue00......................................................................................................................................... 17
1.1.6\ue00Notação\ue00...................................................................................................................................................... 18
1.2\ue00Operações\ue00lógicas\ue00sobre\ue00proposições\ue00........................................................................................... 20
1.2.1\ue00Negação\ue00(~)\ue00............................................................................................................................................... 20
1.2.2\ue00Conjunção\ue00(\u2227)\ue00.......................................................................................................................................... 22
1.2.3\ue00Disjunção\ue00inclusiva\ue00ou\ue00soma\ue00lógica\ue00(\u2228)\ue00......................................................................................... 23
1.2.4\ue00Disjunção\ue00exclusiva\ue00(v)\ue00......................................................................................................................... 25
1.2.5\ue00Condicional\ue00(\u2192)\ue00...................................................................................................................................... 27
1.2.6\ue00Bicondicional\ue00(\u2194)\ue00.................................................................................................................................. 29
2\ue00TRABALHANDO\ue00COM\ue00AS\ue00PROPOSIÇÕES\ue00................................................................................................ 31
2.1\ue00Construção\ue00da\ue00tabela-verdade\ue00....................................................................................................... 31
2.2\ue00Tautologia,\ue00contradição\ue00e\ue00contingência\ue00...................................................................................... 39
Unidade\ue00II
3\ue00OPERAÇÕES\ue00ADICIONAIS\ue00SOBRE\ue00PROPOSIÇÕES\ue00................................................................................ 49
3.1\ue00Implicação\ue00lógica\ue00.................................................................................................................................. 49
3.1.1\ue00Definição\ue00.................................................................................................................................................... 49
3.1.2\ue00Propriedades\ue00da\ue00implicação\ue00lógica\ue00..................................................................................................