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…

Ciência da Computação – Prof. Gerson Pastre de Oliveira Aula 7 – Lógica Matemática Redução do número de conectivos e formas normais Redução do número de conectivos De acordo com Alencar Filho (1999, p.81 e 82), e considerando os conectivos fundamentais ~, ^, v,  e , pode-se dizer que: a) ^,  e  podem ser expressos em termos de ~ e v p ^ q  ~~p ^ ~~q  ~(~p v ~q) p  q  ~p v q p  q  (p  q) ^ (q  p)  (~p v q) ^ (~q v p)  ~(~(~p v q) v ~(~q v p)) b) v,  e …

LÓGICA MATEMÁTICA ÁLGEBRA DE INTERRUPTORES Interruptor é um dispositivo ligado a um ponto de um circuito elétrico, que pode assumir um de dois estados: [pic] Circuito com dois interruptores: Ligação em paralelo |Estados possíveis: | | |[pic] …

[pic] PONTIFÍCIA UNIVERSIDADE CATÓLICA DE SÃO PAULO FACULDADE DE CIÊNCIAS EXATAS E TECNOLOGIA [pic] NOÇÕES DE LÓGICA MATEMÁTICA [pic] CELINA A.A.P. ABAR -2011- NOÇÕES DE LÓGICA MATEMÁTICA [pic] O aprendizado da Lógica auxilia os estudantes no raciocínio, na compreensão de conceitos básicos, na verificação formal de programas e melhor os prepara para o entendimento do conteúdo de tópicos mais avançados. Este…

NOÇÕES DE LÓGICA MATEMÁTICA UMA CLASSIFICAÇÃO DA LÓGICA Alguns autores dividem o estudo da Lógica em: LÓGICA INDUTIVA: útil no estudo da teoria da probabilidade (não será abordada neste roteiro). e LÓGICA DEDUTIVA: que pode ser dividida em : • LÓGICA CLÁSSICA- Considerada como o núcleo da lógica dedutiva. É o que chamamos hoje de CÁLCULO DE PREDICADOS DE 1a ORDEM com ou sem igualdade e de alguns de seus subsistemas. Três Princípios (entre outros) regem a Lógica Clássica: da IDENTIDADE,…

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…

Notas de aula de Lógica Matemática Curso: Sistema de Informação Capítulo I – Proposições e Conectivos 1. Proposição Def.: Chama-se sentença ou proposição todo conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo. As proposições são geralmente representadas por letras minúsculas p, q, r, s... A Lógica Matemática adota como regras fundamentais os dois seguintes princípios (ou axiomas): Princípio da não contradição: uma proposição não…

LÓGICA MATEMÁTICA – TEOREMAS , PROPRIEDADES , FNC , FND , ARGUMENTOS , REGRAS DE INFERÊNCIA , VALIDADE DE UM ARGUMENTO , DEMONSTRAÇÃO Conjunção Ù Disjunção(inclusivo) Ú Disjunção(exclusivo) Ú Propriedades da Equivalência Lógica: Regra de dupla negação CONECTIVOS: ~ Ú Ù ® « 1. Reflexiva: P(p,q,r,...) Û P(p,q,r,…) ~~ p Û p 2. Simétrica: Se P(p,q,r,...) Û Q(p,q,r,…)então Regra de Clavius Q(p,q,r,...) Û P(p,q,r,…) ~p®pÛp p q pÚq Tautologia V 3. Transitiva: Se P(p,q,r,...) Û…

2014 Matemática Aplicada Prof. Renato Cristiano Torres 01/06/2014 Resumo Conteúdo 1. Introdução - Matemática ......................................................................................... 4 2. Lógica Moderna ........................................................................................................... 5 3. Lógica Proposicional .................................................................................................. 7 5.…

|03 | |CAPÍTULO I – A Lógica e o cotidiano |03 | |O TRUQUE DAS CARTAS |03 | |O PROBLEMA DO LEITE |03 | |O PARADOXO DO QUEIJO …