Lógica sentencial

Description

Bibliografias consultadas: -Raciocínio Lógico e Matemático para concursos Cespe/UNB Autor: Marcos Almeida, Renato Oliveira e Fabrício Mariano. -Apostila de raciocínio lógico do site gabarite -- EM ANDAMENTO
leticia coutinho
Mind Map by leticia coutinho, updated more than 1 year ago
leticia coutinho
Created by leticia coutinho almost 6 years ago
536
3

Resource summary

Lógica sentencial
  1. sentenças abertas
    1. NÃO TEMOS como julgar se é verdadeira ou falsa
      1. Ex: x+y=8
    2. sentenças fechadas
      1. TEMOS como julgar se é verdadeira ou falsa
        1. Ex: 3+5= 8
        2. PROPOSIÇÃO
          1. Toda frase que se PODE atribuir valor de VERDADEIRA OU FALSA
            1. 2ª Lei: princípio da não contradição
              1. nenhuma preposição pode ser verdadeira e tbm falsa ~(P ^ ~P)
              2. 3ª Lei: Princípio do terceiro excluído:
                1. Uma proposição ou é verdadeira ou é falsa ou (P ou ~P)
              3. Representada por UMA LETRA do alfabeto
                1. NÃO PODE SER PROPOSIÇÃO:
                  1. FRASES: ? , ! , verbos no imperativo, declaração sem verbos e sentenças abertas
                  2. Proposição Simples
                    1. Frase declarativa, afirmativa ou negativa
                    2. Proposição composta
                      1. frase formada pela LIGAÇÃO de 2 ou mais preposições simples
                        1. Ligação é feita pelos:
                          1. CONECTIVOS (OPERADORES LÓGICOS)
                            1. Apresentam um símbolo e um cálculo específico
                              1. São 5:
                                1. Conjução
                                  1. ^ "E"
                                    1. Ideia de SIMULTANEIDADE
                                    2. Disjunção inclusiva
                                      1. v "Ou"
                                        1. Traduz a ideia de que pelo menos uma das hipóteses ocorre
                                          1. é falsa apenas quando ambas forem falsas
                                        2. Condicional
                                          1. → "Se... Então"
                                            1. p → q é falso somente quando p é verdadeira e q é falsa
                                            2. traduz a ideia de CONDIÇÃO, em outras palavras, causa e efeito
                                              1. p é condição suficiente para q. Ou ainda p é chamado de causa.
                                                1. q é condição necessária para p Ou ainda q é chamado de conseqüência ou efeito
                                                2. Inversas:
                                                  1. para encontrar a inversa de uma proposição composta basta negar as frases.
                                                  2. recíprocas
                                                    1. para encontrar a recíproca de uma proposição composta basta inverter as frases.
                                                    2. contrapositivas
                                                      1. para encontrar a contrapositiva de uma proposição composta basta INVERTER E NEGAR AS FRASES
                                                    3. BIcondicional
                                                      1. ↔ "Se Somente Se"
                                                        1. Traduz a ideia de bicondição
                                                          1. p é condição suficiente e necessária para q. Ou ainda p é chamado de causa e efeito ao mesmo tempo.
                                                            1. q é condição necessária e suficiente para p Ou ainda q é chamado de causa e efeito ao mesmo tempo.
                                                              1. só será falsa se p e q tiverem valores lógicos DIFERENTES
                                                            2. Disjunção exclusiva
                                                              1. v(com um traço em baixo) "Ou... ou"
                                                                1. traduz a ideia hipóteses mutuamente exclusivas
                                                        2. Tautologia
                                                          1. Resultados lógicos sempre verdadeiros
                                                          2. Contradição
                                                            1. Resultados lógicos sempre falsos
                                                            2. Contingência
                                                              1. Sempre que recebe valores lógicos falsos e verdadeiros
                                                        3. Negação
                                                          1. símbolo: ¬
                                                            1. NEGAÇÃO DAS PREPOSIÇÕES
                                                              1. Tipos:
                                                                1. Do todo
                                                                  1. MACETE: PEA +NÃO
                                                                  2. Do Nenhum
                                                                    1. MACETE: PEA = PELO MENOS UM, EXISTE UM, ALGUM
                                                                    2. Do algum
                                                                      1. MACETE: NETO NÃO = NENHUM É, TODO NÃO É
                                                                        1. A negação de uma sentença quantificada EXISTENCIALMENTE é uma sentença quantificada UNIVERSALMENTE e vice-versa.
                                                                      2. De símbolos
                                                                        1. P = Q é P ≠ Q P< Q é P ≥ Q P>Q é P ≤ Q
                                                                        2. Conjunção "e" ^
                                                                          1. ¬ (P ^ Q) = (¬P) v (¬Q )
                                                                          2. Disjunção "ou" v
                                                                            1. ¬ (P v Q) = (¬P) ^ (¬Q )
                                                                            2. Condicional "Se... então" ->
                                                                              1. ¬ (P -> Q) = (¬P) ^ (¬Q )
                                                                              2. Bicondicional "Se somente se" <->
                                                                                1. ¬ (P <-> Q) = (¬P) v (¬Q )
                                                                            3. Simples
                                                                              1. Ex: P: Marcos é jogador de futebol ~P: Marcos NÃO É jogador de futebol
                                                                            4. Quantificadores
                                                                              1. Transformam sentenças abertas em fechadas. Indicam a quantos elementos de uma determinada classe se aplica uma propriedade
                                                                                1. Universal = 'para todo x e qualquer que seja x'.
                                                                                  1. todos
                                                                                    1. Símbolo: ∀(x)
                                                                                    2. Existencial = 'Existe um x'
                                                                                      1. Simbologia: ∃(x)
                                                                                        1. Pelos menos um; algum; existe um
                                                                                    3. Regras de equivalência
                                                                                      1. São equivalentes quando os valores lógicos das suas tabelas verdades são equivalentes.
                                                                                      Show full summary Hide full summary

                                                                                      Similar

                                                                                      RACIOCÍNIO LÓGICO
                                                                                      Viviana Veloso
                                                                                      Apresentação-O que é Lógica e como ela está interligada com a programação?
                                                                                      Ketlen Dos Anjos
                                                                                      Ensino de Lógica de Programação para Crianças
                                                                                      dlantunes
                                                                                      Raciocínio Lógico Simulado Concurso
                                                                                      Roberta Souza
                                                                                      Direito Administrativo - Visão Geral
                                                                                      tiago meira de almeida
                                                                                      Processo Administrativo Federal - Quiz I
                                                                                      tiago meira de almeida
                                                                                      ato administrativo- requisitos/ elementos
                                                                                      michelegraca
                                                                                      Organização político administrativa - UNIÃO
                                                                                      eliana_belem
                                                                                      Redação Oficial
                                                                                      Lavs Agah
                                                                                      Direito Constitucional - Brutal - Tribunais
                                                                                      Rômulo Campos
                                                                                      Filosofia
                                                                                      Kamila Vieira