Lógica para Computação

LUCIANA CONCEIÇÃO DIAS CAMPOS

UFJF

PARTE 1
 Raciocínio Lógico

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 material constitui uma INTRODUÇÃO À
LÓGICA ELEMENTAR CLÁSSICA,
procurando alcançar os objetivos gerais e
específicos propostos pela disciplina Lógica para
Computação.
 Proposições Lógicas

Proposição:
 É toda expressão, isto é, todo conjunto de palavras ou
símbolos, que possui um significado ao qual podemos
atribuir um valor lógico.

Valor Lógico:
 É um valor atribuído a uma proposição lógica.
 Diz-se que o valor lógico de uma proposição é “verdade”
(representado por V) se a proposição é verdadeira e
“falsidade” (representado por F) se a proposição é falsa.
 Proposições Lógicas

Princípio da não contradição e do 3o

excluído :
1. Princípio da não contradição
• Uma proposição não pode ser verdadeira e falsa ao
mesmo tempo.
2. Princípio do 3o excluído
• Toda proposição ou é verdadeira ou é falsa, isto é,
verifica-se sempre um destes casos e nunca um
terceiro.
Assim, esses princípios afirmam que:
• Toda proposição tem um, e um só, dos valores:
V ou F
 Proposições Lógicas

Exemplos: a) e b) são exemplos de

Proposições Lógicas
- Porque elas têm sentido completo
e é possível atribuir um valor
a) A Lua é um satélite.
lógico para o seu significado.

b) 2+3 = 5
c) e d) NÂO são exemplos de
Proposições Lógicas
c) Recife -Porque Não são declarações e
portanto não é possível atribuir
um valor lógico para o seu
d) Quem descobriu o Brasil? significado.
 Sentença Lógica e Proposição Lógica

Sentença Lógica é a maneira de expressar

uma Proposição Lógica.

Portanto:
Uma Proposição Lógica pode vir
representada por diferentes sentenças
 Sentença Lógica e Proposição Lógica

Exemplos de sentenças lógicas:

a) Dante escreveu Os Lusíadas.
b) Não é verdade que Dante não escreveu Os
Lusíadas.
Na letra a) a frase apresenta uma afirmação. Que tem o mesmo
significado da letra b) onde a frase apresenta uma dupla negação.
Logo, as duas sentenças lógicas representam a mesma proposição lógica.

Portanto
ATENÇÃO:
Negar duas vezes é o mesmo que Afirmar.

Então:
• Proposição é a idéia.
• Sentença é a forma de se expressar essa idéia.
 Representação de Proposição Lógica

Existem 3 maneiras de se representar uma

Proposição Lógica:
1. Linguagem Natural
• Carlos é Careca
2. Forma Simbólica
• As proposições são designadas pelas letras
latinas.
• Geralmente: p, q, r, s, etc.
Portanto
p = Carlos é Careca
 Representação de Proposição Lógica

Existem 3 maneiras de se representar uma

Proposição Lógica:
3. Diagrama/Gráfico Lógico:
• Seja A o conjunto dos carecas
• Então a proposição p = Carlos é careca é
representada no diagrama:
A Portanto
p ATENÇÃO:
Quem está no interior de A é careca.
Já quem está fora de A não é careca.
 Proposição simples X Proposição composta

Proposição Simples
Chama-se proposição simples ou fórmula
atômica aquela que não contém nenhuma outra
proposição como parte integrante de si mesma.
Geralmente utiliza-se letras latinas minúsculas
para designar as proposições simples.

Exemplo:
 q: Pedro é estudante
 r: o número 25 é quadrado perfeito
 Proposição simples X Proposição composta

Proposição Composta
Chama-se proposição composta ou fórmula
molecular aquela formada pela combinação de
duas ou mais proposições.
Geralmente utiliza-se letras latinas maiúsculas
para designar as proposições compostas.

Exemplo:
S Proposição
 Carlos é careca e Pedro é estudante
Composta

p q
Proposição
Simples
 Proposição Composta

Portanto:
Uma proposição composta é a ligação ou
conexão de duas ou mais proposições simples
com o objetivo de transmitir uma idéia ou
fornecer um significado ao qual se atribui um
valor lógico.
 Tabela Verdade ou Tabela de Verdade

 Valor Lógica de uma Proposição Composta

 O valor lógico de qualquer proposição composta
depende unicamente dos valores lógicos das
proposições simples componentes, ficando por eles
univocamente determinado.
 Geralmente, utiliza-se a tabela-verdade para verificar
todos os possíveis valores lógicos de uma proposição
composta.
 Pelo princípio do terceiro excluído, sabemos que uma
proposição simples é verdadeira ou falsa: p
V
F
 Tabela Verdade ou Tabela de Verdade

 Valor Lógica de uma Proposição Composta

 Se uma proposição é composta por n proposições
simples então teremos 2n atribuições possíveis.
 Exemplo:
 O sol é uma estrela e a neve é branca.

p q

n = 2 então tem-se p q
V V 1ª combinação possível
22 = 4 atribuições possíveis:
V F 2ª combinação possível

F V 3ª combinação possível

F F 4ª combinação possível
 Operações Lógicas

Operações Lógicas são operações realizadas sobre

proposições, obedecendo a regras de um cálculo
denominado Cálculo Proposicional.
As proposições simples (também chamadas de
fórmulas atômicas) podem ser combinadas entre si
e, para representar tais combinações usaremos os
conectivos lógicos.
Portanto, os conectivos lógicos são responsáveis
pela formação de proposições a partir de
proposições.
 Conectivos Lógicos

As proposições podem ser conectadas através dos

seguintes conectivos :
1. Negação (não ou NOT): ~ ou ! ou ¬
2. Conjunção (“e” ou AND): ∧
3. Disjunção (“ou” ou OR): ∨
4. Disjunção Exclusiva (“ou exclusivo” ou XOR): 
5. Condicional ( “implica” ou “se-então”): →
6. Bi-condicional ( “se e somente se”):
 Conectivos Lógicos

1. Negação (não ou NOT): ~ ou ! ou ¬

Seja A o conjunto de estudantes. Seja a proposição
p: Pedro é estudante.
A p ~p
Então, a negação de p é dado por
V F
~p: Pedro não é estudante.
F V

A tabela verdade é dada por:

Se p for verdadeiro, então ~p é falso p ~p

V F
Se p for falso, então ~p é verdadeiro
F V
 Conectivos Lógicos

2. Conjunção (“e” ou AND): ∧

Sejam as proposições simples: A conjunção dessas proposições forma a
p: O sol é uma estrela. seguinte proposição composta:
q: Roma é um país. R: O sol é uma estrela e Roma é um país.
R=p∧q

A representação da conjunção O valor da conjunção é dado

por diagrama lógico: pela tabela verdade:
A B p q p ∧ q
p R q V V V 1ª combinação.

V V A região em que as
2 1 3 duas proposições são
4 verdadeiras é na
interseção dos
conjuntos A e B.
Interseção de A e B:
A∩B
 Conectivos Lógicos

2. Conjunção (“e” ou AND): ∧

Sejam as proposições simples: A conjunção dessas proposições forma a
p: O sol é uma estrela. seguinte proposição composta:
q: Roma é um país. R: O sol é uma estrela e Roma é um país.
R=p∧q

A representação da conjunção O valor da conjunção é dado

por diagrama lógico: pela tabela verdade:
A B p q p ∧ q
p R q V V V 1ª combinação.

V F V V V F F 2ª combinação.
2 1 3 No conjunto A apenas
4 p é verdadeiro. Como
está fora da região de
Interseção de A e B: interseção, a
A∩B conjunção é falsa.
 Conectivos Lógicos

2. Conjunção (“e” ou AND): ∧

Sejam as proposições simples: A conjunção dessas proposições forma a
p: O sol é uma estrela. seguinte proposição composta:
q: Roma é um país. R: O sol é uma estrela e Roma é um país.
R=p∧q

A representação da conjunção O valor da conjunção é dado

por diagrama lógico: pela tabela verdade:
A B p q p ∧ q
p R q V V V 1ª combinação.

V F V V FV V F F 2ª combinação.
2 1 3 3ª combinação.
F V F
4 No conjunto B apenas
q é verdadeiro. Fora da
Interseção de A e B: região de interseção, a
A∩B conjunção é falsa.
 Conectivos Lógicos

2. Conjunção (“e” ou AND): ∧

Sejam as proposições simples: A conjunção dessas proposições forma a
p: O sol é uma estrela. seguinte proposição composta:
q: Roma é um país. R: O sol é uma estrela e Roma é um país.
R=p∧q

A representação da conjunção O valor da conjunção é dado

por diagrama lógico: pela tabela verdade:
A B p q p ∧ q
p R q V V V 1ª combinação.

V F V V FV V F F 2ª combinação.
2 1 3 F F 3ª combinação.
F V F
4
F F F 4ª combinação.

Interseção de A e B: Fora dos conjuntos A e B as proposições p e q são

A∩B falsas. Fora da interseção, a conjunção é falsa.
 Conectivos Lógicos

3. Disjunção (“ou” ou OR): ∨

Sejam as proposições simples: A disjunção dessas proposições forma a seguinte
p: O enxofre é verde. proposição composta:
q: 7 é um número primo. R: O enxofre é verde ou 7 é um número primo.
R=p∨q

A representação da disjunção O valor da disjunção é dado

por diagrama lógico: pela tabela verdade:
A B p q p ∨ q
p R q V V V 1ª combinação.

V V A região onde as duas

2 1 3 proposições são
4 verdadeiras está
dentro da união dos
conjuntos A e B.
União de A e B:
A B
 Conectivos Lógicos

3. Disjunção (“ou” ou OR): ∨

Sejam as proposições simples: A disjunção dessas proposições forma a seguinte
p: O enxofre é verde. proposição composta:
q: 7 é um número primo. R: O enxofre é verde ou 7 é um número primo.
R=p∨q

A representação da disjunção O valor da disjunção é dado

por diagrama lógico: pela tabela verdade:
A B p q p ∨ q
p R q V V V 1ª combinação.

V F V V V F V 2ª combinação.
2 1 3 No conjunto A apenas
4 p é verdadeiro. Como
está dentro da região
União de A e B: de união, a disjunção
A B é verdadeira.
 Conectivos Lógicos

3. Disjunção (“ou” ou OR): ∨

Sejam as proposições simples: A disjunção dessas proposições forma a seguinte
p: O enxofre é verde. proposição composta:
q: 7 é um número primo. R: O enxofre é verde ou 7 é um número primo.
R=p∨q

A representação da disjunção O valor da disjunção é dado

por diagrama lógico: pela tabela verdade:
A B p q p ∨ q
p R q V V V 1ª combinação.

V F V V FV V F V 2ª combinação.
2 1 3 3ª combinação.
F V V
4 No conjunto B apenas
q é verdadeiro. Dentro
União de A e B: da união a disjunção é
A B verdadeira.
 Conectivos Lógicos

3. Disjunção (“ou” ou OR): ∨

Sejam as proposições simples: A disjunção dessas proposições forma a seguinte
p: O enxofre é verde. proposição composta:
q: 7 é um número primo. R: O enxofre é verde ou 7 é um número primo.
R=p∨q

A representação da disjunção O valor da disjunção é dado

por diagrama lógico: pela tabela verdade:
A B p q p ∨ q
p R q V V V 1ª combinação.

V F V V FV V F V 2ª combinação.
2 1 3 3ª combinação.
FF F V V
4 4ª combinação.
F F F
União de A e B: Fora dos conjuntos A e B as proposições p e q são
A B falsas. Fora da união, a disjunção é falsa.
 Conectivos Lógicos

4. Disjunção Exclusiva (“ou exclusivo” ou XOR): 

Sejam as proposições simples: A disjunção exclusiva dessas proposições forma a
p: O cachorro é fêmea. seguinte proposição composta:
q: O cachorro é macho. R: ou o cachorro é fêmea ou o cachorro é macho.
R=pq

A representação da disjunção O valor da disjunção exclusiva

exclusiva por diagrama lógico: é dado pela tabela verdade:
A B p q p  q
R R
p q V V F 1ª combinação.

V V No ou exclusivo ou o
2 1 3 elemento pertence ao
4 conjunto A ou ao B.
Nunca pertence aos
dois conjuntos ao
Não inclui a interseção mesmo tempo.
entre os conjuntos A e B
 Conectivos Lógicos

4. Disjunção Exclusiva (“ou exclusivo” ou XOR): 

Sejam as proposições simples: A disjunção exclusiva dessas proposições forma a
p: O cachorro é fêmea. seguinte proposição composta:
q: O cachorro é macho. R: ou o cachorro é fêmea ou o cachorro é macho.
R=pq

A representação da disjunção O valor da disjunção exclusiva

exclusiva por diagrama lógico: é dado pela tabela verdade:
A B p q p  q
R R
p q V V F 1ª combinação.

V F V V V F V 2ª combinação.
2 1 3 No conjunto A apenas
4 p é verdadeiro. Como
apenas um elemento é
verdadeiro, a disjunção
Não inclui a interseção
exclusiva é
entre os conjuntos A e B
verdadeira.
 Conectivos Lógicos

4. Disjunção Exclusiva (“ou exclusivo” ou XOR): 

Sejam as proposições simples: A disjunção exclusiva dessas proposições forma a
p: O cachorro é fêmea. seguinte proposição composta:
q: O cachorro é macho. R: ou o cachorro é fêmea ou o cachorro é macho.
R=pq

A representação da disjunção O valor da disjunção exclusiva

exclusiva por diagrama lógico: é dado pela tabela verdade:
A B p q p  q
R R
p q V V F 1ª combinação.

V F V V FV V F V 2ª combinação.
2 1 3 3ª combinação.
F V V
4 No conjunto B apenas
q é verdadeiro. Portanto
Não inclui a interseção a disjunção exclusiva
entre os conjuntos A e B é verdadeira.
 Conectivos Lógicos

4. Disjunção Exclusiva (“ou exclusivo” ou XOR): 

Sejam as proposições simples: A disjunção exclusiva dessas proposições forma a
p: O cachorro é fêmea. seguinte proposição composta:
q: O cachorro é macho. R: ou o cachorro é fêmea ou o cachorro é macho.
R=pq

A representação da disjunção O valor da disjunção exclusiva

exclusiva por diagrama lógico: é dado pela tabela verdade:
A B p q p  q
R R
p q V V F 1ª combinação.

V F V V FV V F V 2ª combinação.
2 1 3 3ª combinação.
FF F V V
4 4ª combinação.
F F F

Não inclui a interseção Fora dos conjuntos A e B as proposições p e q são

entre os conjuntos A e B falsas. Assim, a disjunção exclusiva é falsa.
 Conectivos Lógicos

5. Condicional ( “implica” ou “se-então”): →

Sejam as proposições simples: A condicional dessas proposições forma a
p: Pedro estuda. seguinte proposição composta:
q: Pedro foi aprovado. R: Se Pedro estudar então ele será aprovado.
R=p→q
• p é dito antecedente da condicional.
• q é dito conseqüente da condicional.

O valor da condicional é dado

pela tabela verdade: 10 caso: Pedro estudou e foi aprovado.

p q p → q A condicional obriga que Se Pedro

V V V estudar ele terá que ser
aprovado, então podemos concluir
que a condicional é verdadeira.
Isto é, se é verdade que Pedro estudou, então
necessariamente é verdade que ele será aprovado.
 Conectivos Lógicos

5. Condicional ( “implica” ou “se-então”): →

Sejam as proposições simples: A condicional dessas proposições forma a
p: Pedro estuda. seguinte proposição composta:
q: Pedro foi aprovado. R: Se Pedro estudar então ele será aprovado.
R=p→q
• p é dito antecedente da condicional.
• q é dito conseqüente da condicional.

O valor da condicional é dado

pela tabela verdade: 20 caso: Pedro estudou e não foi aprovado.

p q p → q A condicional afirma que o fato de Pedro ter estudado

V V V é condição suficiente para que se torne um
V F F resultado necessário que ele seja aprovado. Caso
isso não ocorra, a condicional é falsa.
 Conectivos Lógicos

5. Condicional ( “implica” ou “se-então”): →

Sejam as proposições simples: A condicional dessas proposições forma a
p: Pedro estuda. seguinte proposição composta:
q: Pedro foi aprovado. R: Se Pedro estudar então ele será aprovado.
R=p→q
• p é dito antecedente da condicional.
• q é dito conseqüente da condicional.

O valor da condicional é dado

pela tabela verdade: 30 caso: Pedro não estudou e foi aprovado.

p q p → q A condição suficiente para q é p,

V V V nada é dito em relação a ~p. Por isso,
V F F a condicional é verdadeira.

F V V
 Conectivos Lógicos

5. Condicional ( “implica” ou “se-então”): →

Sejam as proposições simples: A condicional dessas proposições forma a
p: Pedro estuda. seguinte proposição composta:
q: Pedro foi aprovado. R: Se Pedro estudar então ele será aprovado.
R=p→q
• p é dito antecedente da condicional.
• q é dito conseqüente da condicional.

O valor da condicional é dado

pela tabela verdade: 40 caso: Pedro não estudou e não foi aprovado.

p q p → q Como a condição é fundamentada em

V V V p e não em ~p, a condicional é
V F F verdadeira.

F V V
F F V
 Conectivos Lógicos

5. Condicional ( “implica” ou “se-então”): →

Sejam as proposições simples: A condicional dessas proposições forma a
p: Pedro estuda. seguinte proposição composta:
q: Pedro foi aprovado. R: Se Pedro estudar então ele será aprovado.
R=p→q
• p é dito antecedente da condicional.
• q é dito conseqüente da condicional.
A representação da condicional
O valor da condicional é dado por diagrama lógico:
pela tabela verdade:
A R B
p q p → q p q
q
V V V
V F F 2 1 3
F V V 4
F F V Não é válida a região onde o conseqüente é falso.
 Conectivos Lógicos

5. Bi-condicional ( “se e somente se”):

Sejam as proposições simples: A bi-condicional dessas proposições forma a
p: Tales é filho de Wilson. seguinte proposição composta:
q: Tales é neto de Pedro. R: Tales é filho de Wilson se e somente se ele
for neto de Pedro.
R=p q
• p é dito condição necessária e suficiente para q.
• q é dito condição necessária e suficiente para p. O valor da bi-condicional
é dado pela tabela
Portanto, a bi-condicional será verdadeira verdade:
quando antecedente e conseqüente forem p q p q
ambos verdadeiros, ou quando forem ambos
falsos. V V V
Logo, a bi-condicional será falsa somente quando
V F F
os valores lógicos das duas proposições que a
compõem forem diferentes. F V F
F F V
 Conectivos Lógicos

5. Bi-condicional ( “se e somente se”):

Sejam as proposições simples: A bi-condicional dessas proposições forma a
p: Tales é filho de Wilson. seguinte proposição composta:
q: Tales é neto de Pedro. R: Tales é filho de Wilson se e somente se ele
for neto de Pedro.
R=p q
A representação da bi-condicional
por diagrama lógico: O valor da bi-condicional
é dado pela tabela
A R B verdade:
p q
p q p q
V V V
V F F
F V F
Não são válidas as regiões onde o
F F V
antecedente ou o conseqüente é falso.