LLó

óggiiccaa 1

Lógica Formal

 Lógica Formal: fornece as bases para o método de pensar organizado e cuidadoso

que caracteriza qualquer atividade racional.
 Proposição: sentença ou frase, com sujeito e predicado bem definido, a qual
podemos interpretar, sem ambigüidade, como sendo verdadeira ou falsa.
 Exemplos – Proposições:
a) Dez é menor que 7;
b) Brasil é um país localizado na América Latina;
c) 5 + 2 = 6;
d) Todos os gatos são pardos.
Observe que todas as sentenças acima possuem sujeito e predicado bem definidos
e podemos interpretá-las como verdadeira ou falsa: as sentenças a e b são
verdadeiras, enquanto as sentenças c e d são falsas.
 Exemplos – Sentenças que não são proposições:
a) Ela é muito inteligente;
b) X + 2 = 5;
c) Olá!;
d) Como está você?
Observe que todas as sentenças não podem ser interpretadas como verdadeira ou
falsa: a sentença a não pode ser interpretada, pois não sabemos quem é Ela; a
sentença b não pode ser interpretada, visto que não sabemos qual o valor de X
(sentença aberta); a sentença c é uma exclamação e portanto não pode ser
interpretada; a sentença d é uma interrogação e portanto não pode ser
interpretada.
 Representação de Proposição: para representarmos uma proposição, normalmente
utilizamos letras maiúsculas do início do nosso alfabeto, os quais denominamos de
símbolos proposicionais.
 Exemplos:
a) A: A Inglaterra é um país comunista;
b) B: 5 + 3 = 8;
 Valor Lógico – Interpretação (): denominamos de valor lógico ou interpretação de
uma proposição à sua avaliação, a qual resulta em um valor de verdade (V) ou
falsidade (F).
 Exemplos: considerando as proposições do exemplo anterior temos:
a) (A) = F;
b) (B) = V.
 Conectivos Lógicos: denominamos de conectivos lógicos àqueles conectivos que
nos permitem combinar proposições. São eles: não (),e (), ou (),se .. então
() e se e somente se ().

Prof. Rogério Melo Nepomuceno

LLó
óggiiccaa 2

 Proposição Composta, Fórmula Bem Formadas (fbf) ou Fórmula: denominamos

de fórmula bem formada a uma proposição composta obtida pela combinação de
uma ou mais proposições. Para representarmos fbf, normalmente utilizamos letras
no final de nosso alfabeto, como por exemplo: P, Q, R, S; podendo cada letra possuir
um índice.
 Fórmula Bem Formadas – Regra Sintática: uma fórmula bem formada pode ser
obtida de acordo com a seguinte regra sintática:
1. Toda proposição A é uma fbf, denominada de fórmula atômica;
2. Se P e Q são fbf, então P (negação), P  Q (conjunção), P  Q (disjunção),
P  Q (implicação ou condicional) e P  Q (bicondicional) também são fbf.
 Exemplos: sejam as proposições
A: Dez é menor que 7,
B: Brasil é um país localizado na América Latina,
C: 5 + 2 = 6.
As fórmulas abaixo são fbf:
a ) P:  A
b ) Q: A  B
c) R: (A  B)
d) S: (A  B)  C
e) P1: ((A  B)  (B  C))  (A  C)
f) P2: (A  B)  (B  A)
Entretanto, as fórmulas abaixo não são fbf:
a) A
b)  A  B
c) (A  B)
d) (A  B) 
 Precedência dos Conectivos Lógicos: a avaliação de uma fórmula deve ser feita
respeitando-se a seguinte precedência para os conectivos:
1. Parênteses
2. Negação:
3. Conjunção
4. Disjunção
5. Implicação
6. Bicondicional
 Exemplo: a fórmula: A  B  C  B  (A  C); deve ser interpretada como:
( ((A) )  (B  C) )  (B  (A  C) ).

Prof. Rogério Melo Nepomuceno

LLó
óggiiccaa 3

 Conectivo Principal: o conectivo lógico mais externo à uma fbf é denominado de

conectivo principal, o qual é determinado respeitando-se as regras de precedência.
 Exemplos:
Sejam as fórmulas abaixo. Os conectivos principais de cada uma, são,
respectivamente: , , , ,  e .
a)  A
b) (A  B)  C
c) (A  B)  (B  C)
d) (A  B)  ( (B  C)  (A  C) )
e) (A  B)  (B  A)
f) (A  B)  B  C
 Princípios Fundamentais da Lógica:
 Princípio da Não-Contradição: uma proposição não pode se simultaneamente
verdadeira e falsa.
 Princípio do Terceiro Excluído: toda proposição ou é só verdadeira ou é só falsa,
nunca ocorrendo um terceiro caso, ou seja, toda proposição só admite os valores
lógicos: V ou F.
 Decomposição de uma Fórmula: toda fbf pode ser decomposta (d)em sub-fórmulas,
respeitando-se as regras de sintaxe estabelecidas e a precedência dos conectivos
lógicos, criando o que denominamos de árvore de decomposição.
Seja P uma fbf e c o seu conectivo principal:
1. Se c é um conectivo unário, então P = Q, e sua árvore de decomposição é
dada por:


d(Q)

2. Se c é um conectivo binário, então P pode ser do tipo: Q  R, Q  R, Q  R ou

Q  R; e, portanto, sua árvore de decomposição é dada por:
c

d(Q) d(R)
 
 Exemplo:
a) Seja a fbf: (A  B)  C. A árvore  C  
de decomposição associada a esta
fórmula é indicada pela Figura 1..  A B  

b) Seja a fbf:
 B B C 
(A  B)  [(B  C)  (A  C)]. A
árvore de decomposição associada a A C
A
esta fórmula é indicada pela Figura 2..
Figura 1 Figura 2

Prof. Rogério Melo Nepomuceno

LLó
óggiiccaa 4

 Nós, Ramos, Raiz e Folhas de uma Árvore de Decomposição: uma árvore de

decomposição pode ser vista como sendo composta por nós, cada qual contendo
ramos. Ao primeiro nó dá-se o nome de raiz da árvore e aos nós que não possuem
ramos damos o nome de folhas. Deve ser observado que:
1. A raiz é o conectivo principal ou um símbolo proposicional, sendo que para o
último caso a fórmula deve ser atômica;
2. Toda folha é composta por um símbolo proposicional;
3. Todo nó que não seja uma folha possui nós filhos;
4. Todo nó filho está interligado à um nó pai por intermédio de um ramo, exceto o
raiz;
5. Todo nó em conjunto com seus filhos corresponde a uma sub-árvore da árvore de
decomposição.
 Tradução para Fórmula: para traduzirmos um texto para fórmulas, a tabela a seguir
pode ser bastante útil. Nela encontramos a relação entre expressões da língua
portuguesa e os conectivos lógicos.
Tabela 1: Relação entre expressões do português e os conectivos lógicos.

Expressão em Português Conectivo Lógico Fórmula

Não
É falso que Negação A
Não é verdade que
E
Mas
Conjunção AB
Também
Além disso
Ou Disjunção AB
Se A, então B
A implica B
A, logo B
A somente se B
B, se A Implicação AB
B, quando A
B segue de A
A é uma condição suficiente para B
B é uma condição necessária para A
A se, e somente se, B
Bicondicional AB
A é condição necessária e suficiente para B

 Exemplos:
Traduza as frases abaixo para fórmulas da lógica:
a) Negação:
 O Brasil não fica na África.  A, onde A: O Brasil fica na África.
 É falso que quatro mais dois é igual a 6.  B, onde B: 4 + 2 = 6.
 Não é verdade que hoje é Domingo.  C, onde C: Hoje é Domingo.

Prof. Rogério Melo Nepomuceno

LLó
óggiiccaa 5

b) Conjunção:
 Carlos gosta de futebol e Ana gosta de novela.  A  B, onde A: Carlos gosta
de Futebol; e B = Ana gosta de novela.
 Hoje esta calor, mas ontem choveu.  A  B, onde A: Hoje está calor; e B =
Ontem choveu.
 Marcos foi ao teatro. Ele Também foi ao cinema.  A  B, onde A: Marcos foi
ao teatro; e B = Marcos foi ao cinema.
 O Dólar é uma moeda forte. Além disso, em agosto ele atingiu o valor de
R$ 3,42.  A  B, onde A: O Dólar é uma moeda forte; e B = O Dólar atingiu
o valor de R$ 3,42 em agosto.
 Gosto de rapadura também, além de mel.  A  B, onde A: Gosto de
rapadura; e B = Gosto de mel.
c) Disjunção:
 Guilherme é inteligente ou dedicado.  A  B, onde A: Guilherme é
inteligente; e B = Guilherme é dedicado. (ou inclusivo)
 Às 20:00 horas, Tânia irá ao cinema ou à sorveteria.  A  B, onde A: Tânia
irá ao cinema, às 20:00 horas; e B = Tânia irá à sorveteria, às 20:00 horas.
(ou exclusivo)
d) Implicação:
 Se o dia está nublado, então está chovendo.  A  B, onde A: O dia está
nublado; e B = Está chovendo.
 Uma condição suficiente para a falha de uma rede elétrica é que a chave
central desligue.  A  B, onde A: Falha de uma rede elétrica; e B = Chave
central desligada.
 Os abacates estão maduros quando estão escuros e macios.  (B  C)  A,
onde A: Os abacates estão maduros; B = Os abacates estão escuros; e
C = Os abacates estão macios.
 Ser um número par implica em ser divisível por dois.  A  B, onde A: O
número é par; B = O número é divisível por dois.
e) Bicondicional:
 Um número é primo se, e somente se, ele é divisível por um e por ele
mesmo.  A  (B  C), onde A: O número é primo; B = O número é divisível
por um; e C = O número é divisível por ele mesmo.
 Nevar é uma condição necessária e suficiente para fazer frio.  A  B, onde
A: Está nevando; e B = Está frio.

Prof. Rogério Melo Nepomuceno

LLó
óggiiccaa 6

 Valor Lógico ou Interpretação de uma Fórmula: seja A uma proposição e P, Q e R

fórmulas. A interpretação de uma fórmula é definida recursivamente por:
1. Se P: A, então (P) = (A);
2. Se P: Q, então (P) = V se e somente se (Q) = F. Caso contrário (P) = F;
3. Se P: Q  R, então (P) = V, se e somente se (Q) = (R) = V. Caso contrário
(P) = F;
4. Se P: Q  R, então (P) = F, se e somente se (Q) = (R) = F. Caso contrário
(P) = V;
5. Se P: Q  R, então (P) = F, se e somente se (Q) = V e (R) = F. Caso contrário
(P) = V;
6. Se P: Q  R, então (P) = V, se e somente se (Q) = (R). Caso contrário (P) = F;

As regras acima também podem ser descritas por uma tabela, denominada de tabela
verdade, conforme pode ser verificado abaixo.

Tabela 2: Tabela verdade para interpretação dos conectivos lógicos.

P Q P PQ PQ PQ PQ

V V F V V V V
V F F F V F F
F V V F V V F
F F V F F V V

 Exemplos:
Sejam as seguintes proposições:
a) A: O Brasil é pentacampeão;
b) B: A Europa é um país de primeiro mundo;
c) C: 4 – 2 = 3.
Obter a interpretação das fórmulas abaixo.
a) A: A A
(A) = ((A) = (V = F V F
b ) A  B:
A B AB
(A  B) = ( (A)  (B) ) = ( V  F ) = F V F F

Prof. Rogério Melo Nepomuceno

LLó
óggiiccaa 7

c) (A  B)  C:
A B C A  B (A  B)  C
( (A  B)  C ) = V F F V F
( ( A  B)  (C) ) =
( ( (A)  (B) )  F ) =
( (V  F)  F ) =
( V  F ) = F
d) (A  B)  (B  A):
( (A  B)  (B  A) ) =
( ( A  B)  (B  A) ) =
( ( (A)  (B) )  ( (B)  (A) ) ) =
( ( V  F)  ( ((B) )  ((A) ) ) ) =
( F  ( (F)  (V) ) ) =
( F  ( V  F) ) =
( F  F ) = V

A B A  B B A B  A (A  B)  (B  A)
V F F V F F V

 Tabela Verdade Associada a uma Fórmula: para verificar todas as possíveis

interpretações de uma fórmula, basta construir a sua tabela verdade correspondente.
O processo para a construção da tabela verdade para uma fbf é indicado a seguir:
Seja uma fbf contendo n símbolos proposicionais:
1. Decomponha a fbf, obtendo a sua árvore de decomposição;
2. Construa uma tabela contendo 2n linhas;
3. Para cada nó da árvore de decomposição obtida, adicione uma coluna e a rotule
pela sub-fórmula correspondente, desde que a sub-fórmula já não tenha sido
incluída. Caminhe sempre das folhas em direção a raiz, de tal forma que a última
coluna corresponda à raiz;
4. Escreva nas colunas relativas às proposições, as 2n combinações possíveis para
os valores lógicos, tomando o cuidado de escrever uma combinação por linha;
5. Interprete as demais colunas;
6. As possíveis interpretações para a fbf corresponde a última coluna.

Prof. Rogério Melo Nepomuceno

LLó
óggiiccaa 8

 Exemplos:
Sejam as fórmulas abaixo. Obtenha as possíveis interpretações:
a) (A  B):

A B A A  B  (  A  B)
V V F V F
V F F F V
F V V V F
F F V V F

b) (A  B)  C:

A B C A A  B  (  A  B) (A  B)  C
V V V F F V V
V V F F F V F
V F V F F V V
V F F F F V F
F V V V V F V
F V F V V F V
F F V V F V V
F F F V F V F

c) ((A  B)  (B  C))  (A  C):

A B C AB BC AC ( ( A  B)  ( B  C) ( ( A  B)  ( B  C) )  ( A  C )

V V V V V V V V
V V F V F F F V
V F V F V V F V
V F F F V F F V
F V V V V V V V
F V F V F V F V
F F V V V V V V
F F F V V V V V

d) (A  B)  (A  B):

A B A B A  B (A  B) A  B (A  B) (A  B)  (A  B)

V V F F F V V F F
V F F V V F F V F
F V V F V F F V F
F F V V V F F V F

Prof. Rogério Melo Nepomuceno