Formas normais

........... 1 1. FORMAS NORMAIS ........................................................................................ 2 2. FORMA NORMAL CONJUNTIVA .................................................................. 3 3. TRANSFORMAÇÃO EM FORMA NORMAL CONJUNTIVA EM ÁTOMOS NOVOS .................................................................................................................................. 4 4. FORMA NORMAL DISJUNTIVA ..................................................................... 5 5. TRANSFORMAÇÃO EM FORMA NORMAL DISJUNTIVA EM ÁTOMOS NOVOS .................................................................................................................................. 9 6. REFERENCIAS BIBLIOGRÁFICAS ............................................................... 10 1 FORMAS NORMAIS Uma fórmula normal são as fórmulas da lógica proposicional apresentadas num formato definido, ou seja, são fórmulas que são moldadas para serem exibidas em um formato definido. Sendo duas as principais formas normais: FNC – forma normal conjuntiva e a FND– forma normal disjuntiva. Exemplos: 1º Exemplo: H = (¬P Λ Q) V (¬R Λ ¬Q Λ P) V (P Λ S) – forma normal disjuntiva (V) 2º Exemplo: G = (¬P V Q)Λ (¬R V ¬Q V P)Λ (P V S) – forma normal conjuntiva (Λ) 2 FORMA NORMAL CONJUNTIVA A Forma normal conjuntiva é empregada no método de inferência chamado de resolução, que serve a programação lógica. O elemento básico da forma normal conjuntiva…

Computadores SÉRIE: 1º Semestre TURNO: Noturno DISCIPLINA: LÓGICA CARGA HORÁRIA TOTAL (SEMESTRAL): 66 horas I – EMENTA Introdução à lógica. Sistemas dicotômicos. Operações lógicas sobre proposições. Construção da tabela-verdade. Relações de implicação e de equivalência. Argumento válido. Técnicas dedutivas. Fluxogramas. Quantificações. Álgebra de Boole. Funções booleanas e suas representações. Formas normais. II – OBJETIVOS Capacitar o aluno nos conceitos fundamentais de…

aula 01 (Lógica) Ementa Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog.html Plano de Ensino CURSO: Tecnologia Sistemas em Análise e Desenvolvimento SÉRIE: 1º período (semestral) TURNO: Noturno DISCIPLINA: Lógica CARGA HORÁRIA SEMANAL: 03 horas CARGA HORÁRIA SEMESTRAL: 66 horas Aula de Lógica - Professor Renê F Felix 2 de I – EMENTA Introdução à lógica. Argumento válido. Sistemas…

Introdução à Lógica Relações entre os Conectivos Lógicos Rodrigo Smarzaro UFV-CRP Conectivo nand (Conectivo de Sheffer)   Henry M. Sheffer (1913) Conectivo nand (not and) é definido por: ( P  Q) P nand Q = 2 Conectivo nand (Equivalências)  Conectivo nand pode ser representado  por | ou P  P  P P  Q  ( P  Q) | ( P  Q) P  Q  ( P  P )  (Q  Q ) P  Q  P  (Q  Q )  P  ( P  Q ) 3 Conectivo nor  Conectivo nor (not or) é definido por: ( P= Q) P norQ  O…

ou negada sem condições ou restrições. Classificação dos juízos quanto à quantidade e à qualidade: Quanto à quantidade os juízos (proposições) podem ser particulares, quando o termo-sujeito é particular, e universais, quando o termo -sujeito é universal. No que diz respeito às inferências, na Lógica Clássica, os juízos com um termo- sujeito singular têm o mesmo valor lógico que os juízos universais, uma vez que os conceitos singulares ocorrem sempre na sua máxima extensão. Quanto à…

UNIVERSIDADE FEDERAL FLUMINENSE Aluno: Enoch Mansur H. de Souza. Profª: Gelta Terezinha Ramos Xavier. Discplina: Magistério das disciplinas pedagógicas do nível médio. Curso: Pedagogia / 8° período – noite. O Currículo da escola normal: os desafios de nosso tempo. Resumo: Este estudo procura contemplar parte da história da formação de professores na cidade de Niterói, onde em 1835 foi fundada a primeira escola normal do Brasil, e expor alguns dos desafios enfrentados em nossa…

Compostos 3 3.2 Atributos Derivados 3 4. MER 4 5. MODELAGEM DE DADOS 4 5.1 Modelo Conceitual 4 5.2 Modelo Lógico 5 5.3 Modelo Físico 5 6. INTEGRIDADE DE DADOS 5 6.1 Integridade de Entidade 5 6.2 Integridade Referencial 5 7. NORMALIZAÇÃO 6 7.1 Primeira Forma Normal (1FN) 6 7.2 Segunda Forma Normal (2FN) 6 7.3 Terceira Forma Normal (3FN) 7 8. CONCLUSÃO 8 9. BIBLIOGRAFIA 9 1. RELACIONAMENTO…

consciência, que não tenhamos obrigação de trabalhar em sala de aula, está presente e de alguma forma regula nosso trabalho. É fundamental refletir sobre isso, procurar saber e tomar uma posição sobre o que pode estar definindo as características de nosso trabalho. O que define a exclusão é como os articulamos e como negamos um ou outro. Na Educação Inclusiva, propõe-se uma forma de articulação entre eles diferente daquela à qual estamos acostumados. Há, agora, dispositivos legais…

UNIVERSIDADE FEDERAL FLUMINENSE UFF SISTEMAS INTELIGENTES FREDERICO CERQUEIRA DA FONSECA PROF: Julio Cesar Stacchini de Souza 9/7/2014 1 INTRODUÇÃO 4 2 OBJETIVO 4 3 DESENVOLVIMENTO TEÓRICO SOBRE LÓGICA 4 3.1 Raciocínio humano 4 3.2 Evolução da lógica 5 4 DESENVOLVIMENTO TEÓRICO SOBRE LÓGICA NEBULOSA 6 5 Abordagem baseada em mecanismos de inferência 8 5.1 Objetivo da lógica nebulosa 8 5.2 Áreas de aplicação 8 5.3…

...................................................................................................................................... 56 16 Normalização ............................................................................................................................................................... 57 16.1 Primeira Forma Normal ........................................................................................................................................ 58 16.2…