Prévia do material em texto
1 Conceitos básicos de raciocínio lógico,,,,,,,,,,,,,,,,,,,,,,,,, SENTENÇAS ABERTAS São aquelas que não podemos determinar o sujeito da sentença. Uma forma mais simples de identificar sentença aberta é quando esta não pode ser nem V (verdadeiro) nem F (falso)., -imperativa, exclamativa ! , interrogativa? SENTENÇAS FECHADAS pensamentos completos, aos quais podemos determinar o sujeito. atribuir Verdadeiro ou Falso PROPOSIÇÕES – LÓGICA PROPOSICIONAL (afirmativa ou negativa) formada por palavras ou símbolos que expressam pensamento de sentido completo →sentença aberta ex “Bruna, acesse a Internet e verifique a data da aposentadoria do Sr. Carlos!” → sentença fechada A seguinte afirmação é uma proposição: A quantidade de formigas no planeta Terra é maior que a quantidade de grãos de areia OPERADORES – LINGUAGEM ou…. mas n os dois tanto como TABELAS VERDADES · número de linhas da tabela-verdade logica bivalente = 2 n · conjunção ˄ COMUTATIVA e → EXIGENTE ( DOIS VERDADEIRO)= V · DISJUNÇÃO ˅ OU → NÃO É EXIGENTE ( UM VERDADEIRO)= V · DISJUNÇÃO EXCLUSIVA v (soma dos exclusivos) OU ….OU → ( UM VERDADEIRO)= v -CONDICIONAL →Quando”, “ Aquele”, “Como “SE..., ENTÃO → A c B veraficher= v→ f= F ex bicondicional “SE..., ENTÃO se <←> A c B propiedade comutativa a <---> b ====== (a → b) ^ (b→ a) exemplos negação -PROPOSIÇÃO SIMPLES negar → somente no sujeito -PROPOSIÇÃO COMPOSTA SE → ENTAO = MAAAAAANEEEEEE e = ~ A OU ~B PROPOSIÇÕES COMPOSTAS EX PARA PRATICAR OBS CASO -ORAÇÃO DENTRO DE OUTRA VERIFICAR CONECTIVO DE MAIS RELEVÂNCIA SE → ENTÃO PROPOSIÇÃO COMPOSTA FICA NO FINAL MUDA CONECTIVO PROPOSIÇÕES LÓGICAS EQUIVALENTES → formadas pelas mesmas proposições simples e os resultados das tabelas-verdade são idênticos. LEI DISTRIBUTIVA · E · OU -CONDICIONAL -1 REGRA A → B ===== ~B → ~ A -2 REGRA (NEYMAR ) A→ B ~A → B APLICAÇÃO NEYMAR APLICAÇÃO INERTE E NEGA COM DUAS ORAÇÃO SE ENTAO CL→ SA OU FP · DUPLA NEGAÇÃO · LEI MORGAN -LEI BICONDICIONAL image28.png image2.png image1.png image3.png image4.png image12.png image17.png image15.png image9.png image18.png image27.png image23.png image5.png image21.png image11.png image19.png image16.png image22.png image14.png image29.png image7.png image6.png image8.png image13.png image25.png image10.png image26.png image24.png