INSTITUTO SUPERIOR POLITÉCNICO MARAVILHA
Departamento de Ciências e Tecnologias
Curso de Engenharia Informática
Lógica Computacional
Tema II: Sintaxe e Semântica
SUMÁRIO: Substituição de Operadores lógicos
Docente: Me. Mvita Zankulu
Conteúdo
Dualidade.
Redução do Número de Operadores
Negação e disjunção conjunta
Exercícios
Objectivos
1. Desenvolver a capacidade de raciocínio lógico.
2. Preparar-se às teorias formais.
Dualidade
Seja P uma proposição que só contem os operadores ∼, ∧ e ∨ .
A proposição que resulta de P trocando cada operador ∧ por ∨, cada
∨ por ∧ é chamado de dual de P e é denotado por P′.
Exemplos:
R: p ∧ (p ∨ q) R´: p ∨ (p ∧ q)
S: (p ∧ ∼ p) ∨ q s´: (p ∨ ∼ p) ∧ q
Princípio de Dualidade
Se P e Q são duas proposições equivalentes que somente contem os
operadores ∼, ∧ e ∨, então as suas duais respectivas P1 e Q1 também são
logicamente equivalentes.
Exemplos:
Da equivalência p ∧ (p ∨ q) ⇔ p,
deduz-se pelo principio de dualidade, a equivalência p ∨ (p ∧ q) ⇔ p.
A partir de (p ∧ ∼ p) ∨ q ⇔ q
deduz-se, pelo princípio de dualidade que: (p ∨ ∼ p) ∧ q ⇔ q
Redução do Número de Operadores
Na simplificação de fórmulas, denotou-se que os cinco operadores lógicos
fundamentais (∼, ∧, ∨, ⇒, ⇔ ) podem ser reduzidos para dois.
Com isto, deduze-se que três dos operadores lógicos fundamentais podem
ser definidos em função de dois ( Mantendo a sua semântica após substituição)
Propriedades:
Entre os cinco operadores lógicos fundamentais ∼, ∧, ∨, ⇒ e ⇔, três
exprimem-se em termos apenas dos seguintes pares:
a) ∼ e ∨;
b) ∼ e ∧;
Redução do Número de Conectivos
Demonstração.
a)Definição de ∼, ∧, ∨, ⇒, ⇔ em ∼ e ∨
1o p ∧ q ⇔ (∼ ∼ p ∧ ∼ ∼ q) ⇔∼ (∼ p ∨ ∼ q)
2o p ⇒ q ⇔ (∼ p ∨ q)
3o (p ⇔ q) ⇔ ((p ⇒ q) ∧ (q ⇒ p)) ⇔ ((∼ p ∨ q) ∧ (∼ q ∨ p)) ⇔
⇔∼ (p ∧ ∼ q) ∧ ∼ (q ∧ ∼ p)) ⇔∼ ((p ∧ ∼ q) ∨ (q ∧ ∼ p))
b) Definição de ∼, ∧, ∨, ⇒, ⇔ em ∼ e ∧
1o p ∨ q ⇔ (∼ ∼ p ∨ ∼ ∼ q) ⇔∼ (∼ p ∧ ∼ q)
2o p ⇒ q ⇔ (∼ p ∨ q) ⇔∼ (p ∧ ∼ q)
3o (p ⇔ q) ⇔ ((p ⇒ q) ∧ (q ⇒ p)) ⇔ (∼ (p ∧ ∼ q) ∧ ∼ (∼ (p ∧ q)))
Negação Conjunta e Negação Disjunta
A Negação Conjunta de duas proposições p e q, é toda proposição a qual satisfaz
a ideia de “não p e não q”
Representação
∼p∧∼q⇔p↓q
A Negação Disjunta de duas proposições p e q, é toda
proposição a qual satisfaz a ideia de “não p ou não q”
Representação
∼p∨∼q⇔)p↑q
Observação
1. Os operadores ∧, ∨ e ⇒ não se definem em função de ∼ e ⇔
2. Todos os operadores definem-se em função da ↑ ou ↓.
EXERCÍCIOS
1) Verifique por se as expressões E1 e E2 são equivalentes logicamente:
E1 = (s → (p ∧ ¬r)) ∧ ((p → (r ∨ q)) ∧ s)
E2 = (p ∧ q ∧ ¬r ∧ s) ∨ ¬(p ∨ s)
2) Mostre que (p ∧ (¬(¬p ∨ q))) ∨ (p ∧ q) é logicamente equivalente a
p ∧ ¬q) ∨ (p ∧ q)
3) Verifique se (p → r) ∨ (q → r) equivale a ~p v~ q v r
Teste de conhecimento de base
4) Encontrar as FNC e FND das seguintes fórmulas proposicionais.
( p q) ~ q (r q)
p q q r
5) Investigar as Formas Normais Conjuntivas Perfeitas (FNDP) e as Formas Normais
Disjuntivas Perfeitas (FNDP).
bibliografia
Souza, João Nunes; Lógica para Ciencia de Computação; Ed.
Campus; 2002.
Mendelson, E.; Introduction to Mathematical Logic; 3 rd
edition-, Chapman &
Hall; New York; 1987.
Mortari, Cezar A.; Introdução à Lógica; Ed. Unesp; 2001.
Monica, Eduardo.; Lógica Matematica; Textos Editores, Lda-
Angola; 2009.
