APOSTILA LOGICA EQUIVALENCIAS LOGICAS 2

e Algoritmos Assuntos: Equivalência Lógica, Argumentos e suas Validades Docente: Cleone Silva de Lima Turma: 1.8401.1V APOSTILA DE LÓGICA Nesta apostila trataremos de um tema da maior relevância no Raciocínio Lógico. Estou me referindo à Equivalência Lógica. Ou seja, vamos aprender a identificar quando duas proposições compostas são equivalentes uma à outra. Vamos lá! # Proposições Logicamente Equivalentes Dizemos que duas proposições são logicamente equivalentes (ou simplesmente equivalentes) quando os resultados de suas tabelas-verdade são idênticos. Uma conseqüência prática da equivalência lógica é que ao trocar uma dada proposição por qualquer outra que lhe seja equivalente, estamos apenas mudando a maneira de dizê-la. A equivalência lógica entre duas proposições, p e q, pode ser representada simbolicamente como: p  q, ou simplesmente por p = q. Começaremos com a descrição de algumas equivalências lógicas básicas. # Equivalências Básicas 1. p e p = p Ex: André é inocente e inocente = André é inocente 2. p ou p = p Ex: Ana foi ao cinema ou ao cinema = Ana foi ao cinema 3. p e q = q e p Ex: O cavalo é forte e veloz = O cavalo é veloz e forte 4. p ou q = q ou p Ex: O carro é branco ou azul = O carro é azul ou branco 5. p ↔ q = q ↔ p Ex: Amo se e somente se vivo = Vivo se e somente se amo. 6. p ↔ q = (pq) e (qp) Ex: Amo se e somente se vivo = Se amo então vivo, e se vivo então amo Para facilitar a memorização, veja a tabela abaixo: pep p p ou p p peq qep p ou q

discutir criticamente os problemas, teorias e argumentos da filosofia. Porque discutir criticamente é argumentar, é importante estudar a própria argumentação. Ora, a lógica estuda alguns aspectos1 da argumentação; estuda aqueles aspectos da argumentação que fazem uns argumentos serem bons e outros maus. Por isso, é importante estudar lógica em filosofia. Na verdade, é importante estudar lógica porque todos precisamos de argu‐ mentar, mesmo que não…

....................... 3 1.1 A LÓGICA ARISTOTÉLICA ....................................................................................... 3 1.2 VERDADE E VALIDADE ............................................................................................ 3 1.3 HISTÓRIA DO DESENVOLVIMENTO DA LÓGICA.......................................... 4 1.4 REGRAS BÁSICAS DA LÓGICA .............................................................................. 5 1.5 CONCEITOS BÁSICOS DA LÓGICA…

1.2 VERDADE E VALIDADE 3 1.3 HISTÓRIA DO DESENVOLVIMENTO DA LÓGICA 4 1.4 REGRAS BÁSICAS DA LÓGICA 5 1.5 CONCEITOS BÁSICOS DA LÓGICA 6 1.6 SILOGISMO E FALÁCIA 6 1.7 CONCLUINDO 9 2 CAPÍTULO 2 11 2.1 INTERRUPTORES 11 2.2 CONJUNTOS 13 2.3 PROPOSIÇÕES 18 2.4 TABELA-VERDADE 19 3 CAPÍTULO 3 20 3.1 NEGAÇÃO 20 3.2 CONJUNÇÃO 20 3.3 DISJUNÇÃO 21 3.4 DISJUNÇÃO EXCLUSIVA 21 3.5 CONDICIONAL 22 3.5.1…

Regras de Inferência Cálculo Proposicional e Regras de Inferência Embora seja possível, por meio da tabela verdade, verificar a validade de qualquer argumento, o processo se torna por demais trabalhoso quando há muitas proposições e/ou premissas envolvidas. Nestes casos, são aplicadas as regras de inferência, que transformam fórmulas em outras fórmulas, preservando a validade das fórmulas originais. As regras são aplicadas às premissas, visando reduzi-las a uma única expressão. Caso…

RESPONSÁVEL:……………………..………… SUMÁRIO INTRODUÇÃO.......................................................................................................05 História da Matemática........................................................................................06 Lógica Proposicional...........................................................................................11 Conectivos…

355Í Alcncar Filho, Edgard de, 1913 Iniciação à lógica malemática/ Odgard de Alencar Filho. - São Paulo : Nobel. 2002. Bibliografia ISBN 85-213-0403-X 1. Lógica simbólica e matemática f. Título. 86-0802 C D D-511.3 Índice para catálogo sistemático: 1. Lógica matemática 511.3 É PROIBIDA A RLPRODUÇÀO Nenhuma parte desta obra poderá ser reproduzida, copiada, transcrita ou mesmo transmitida por meios eletrônicos ou gravações, sem a permissão, por escrito, do editor. Os…

Barbosa Alvim. – 2009. Cachoeiro de Itapemirim: Ifes, 2009. 106 folhas. Material do curso de Licenciatura de Informática à Distância – Instituto Federal do Espírito Santo, Campus Cachoeiro de Itapemirim, 2009. 1. Matemática - Lógica. 2. Lógica - Operações. 3. Álgebra da proposição. I. Título CDD 005.43 DIREITOS RESERVADOS Ifes – Instituto Federal do Espírito Santo Av. Vitória – Jucutuquara – Vitória – ES - CEP - (27) 3331.2139 Créditos de autoria da editoração Capa: Juliana…

DA NÃO CONTRADIÇÃO: uma proposição não pode ser verdadeira e falsa ao mesmo tempo. ( II ) PRINCÍPIO DO TERCEIRO EXCLUÍDO: qualquer proposição é verdadeira ou é falsa, não podendo ser nada mais do que isso. Por exemplo, as proposições de 1 a 5 são verdadeiras, mas as 3 proposições seguintes são falsas: • Vasco da Gama descobriu o Brasil. • Dante escreveu os Lusíadas. (Obs: Camões escreveu “Os Lusíadas”). • ¾ é um número inteiro. As proposições são…

355Í Alcncar Filho, Edgard de, 1913 Iniciação à lógica malemática/ Odgard de Alencar Filho. - São Paulo : Nobel. 2002. Bibliografia ISBN 85-213-0403-X 1. Lógica simbólica e matemática f. Título. 86-0802 C D D-511.3 Índice para catálogo sistemático: 1. Lógica matemática 511.3 É PROIBIDA A RLPRODUÇÀO Nenhuma parte desta obra poderá ser reproduzida, copiada, transcrita ou mesmo transmitida por meios eletrônicos ou gravações, sem a permissão, por escrito, do editor. Os…