Fundamentos Matemáticos para Computação 1

Profa. Me. Samanta Santos da Vara Vanini

Lógica Formal

A lógica formal fornece as bases

para o método de pensar
Investigação criminal, experiência
organizado e cuidadoso que Aplicações científica, estudo sociológico... e
caracteriza qualquer atividade
ciência da computação (Prolog,
racional.
SE, IA, SO, linguagens....)

1. Proposições

A lógica formal pode representar as afirmações que fazemos em

linguagem cotidiana (ou de programação) para apresentar fatos ou transmitir
informações.

Uma proposição (ou declaração) é uma sentença que é falsa ou

verdadeira.

Diga se as expressões abaixo são proposições:

a) Pare!
Usaremos letras maiúsculas
b) Dez é menor que sete. para representar as proposições
c) Como você está? A, B, C, ...

d) Eu não estou bem certo se esta cor me agrada.

d) A lua é o único satélite do planeta terra.
f) Quer uma xícara de café?
g) O número 712 é ímpar.

2. Conectivos e valores lógicos

Valor lógico nada mais é do que atribuir a

uma proposição: Verdadeiro (V) ou Falso
(F).
 Fundamentos Matemáticos para Computação 2
Profa. Me. Samanta Santos da Vara Vanini

O valor lógico (V ou F) de uma proposição composta é

unicamente determinada pelos valores lógicos de suas
proposições constituintes.
Algumas leis fundamentais
Uma proposição é Falsa (F) ou Verdadeira (V): não
há meio termo

Uma proposição não pode ser simultaneamente

verdadeira e falsa

Usamos conectivos para formar sentenças compostas mais interessantes.

Conectivo Λ (e)

Ex: Considere as proposições a seguir.

A Elefantes são grandes.
B Bolas de futebol são redondas.
Logo: A Λ B Elefantes são grandes e bolas de futebol são redondas.

Valor lógico do conectivo Λ

Supomos:

A
verdadeira
AΛB
verdadeira
B
verdadeira
AΛB
A
verdadeira
AΛB
falsa
B
falsa
Conjunção de A e B

A
falsa
AΛB
falsa
B
falsa
 Fundamentos Matemáticos para Computação 3
Profa. Me. Samanta Santos da Vara Vanini

Conectivo V (ou)
Ex: Considere as proposições a seguir.
P Estou usando uma jaqueta.
Q Estou usando um casaco.
Logo: P V Q Estou usando uma jaqueta ou estou usando um casaco.

Valor lógico do conectivo V

Supomos:

P
verdadeira
PVQ
verdadeira
Q
verdadeira PVQ

P
verdadeira
PVQ
verdadeira
Q
Disjunção de P e Q
falsa

P
falsa
PVQ
falsa
Q
falsa

Tabela-verdade

A B AΛB AVB
V V
V F
F V
F F
 Fundamentos Matemáticos para Computação 4
Profa. Me. Samanta Santos da Vara Vanini

Conectivo → (se, então)

Ex: Considere as proposições a seguir.

R Sócrates é humano.
S Sócrates é imortal.
Logo: R → S Se Sócrates é humano então Sócrates é imortal.

A Tabela Verdade para o condicional não é tão óbvia quanto para Λ e V.

Ex:
Seu amigo diz: “Se eu passar no teste de lógica, então eu vou ao Cultural
na sexta-feira”.

E se ele não passar

Independente se ele vai passar ou não, não podemos afirmar que a

observação é falsa!

Em outras palavras...

“Se A então B” reflete a noção de que a partir de uma premissa verdadeira

(ou seja, A é verdade), obrigatoriamente deve-se chegar a uma conclusão
verdadeira (ou seja, B é verdade) para que A → B seja verdadeira.

Entretanto partindo de uma premissa falsa, qualquer conclusão pode ser

considerada.

Assim A → B é Falsa se A é verdadeira e B é falsa. Verdade, caso contrário.

Valor lógico do conectivo →

 Fundamentos Matemáticos para Computação 5
Profa. Me. Samanta Santos da Vara Vanini

Supomos:

R
verdadeira
R→S
verdadeira
S
verdadeira

R
verdadeira
R→S
falsa
S
falsa

R
falsa
R→S
Verdadera
S
falsa

R
falsa
R→S
verdadeira
S
verdadeira

R→S Conectivo condicional ou de implicação

A B A→B
V V
V F
F V
F F
 Fundamentos Matemáticos para Computação 6
Profa. Me. Samanta Santos da Vara Vanini

Conectivo ↔ (se, e somente se)

Ex: Considere as proposições a seguir.

D Sócrates é humano.
F Sócrates é imortal.
Logo: D ↔ F Sócrates é humano se, e somente se Sócrates é imortal.

Conectivo Bicondicional ou de equivalência

D↔F É uma abreviatura de (D → F) Λ (F → D)

A B A→B B→A (A → B) Λ (B → A)

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

Os conectivos Λ, V, → e ↔ são Conectivos Binários, pois juntam duas

expressões através de um conectivo lógico produzindo uma terceira expressão.
Conectivo Unário é um conectivo agindo sobre uma expressão para
produzir uma segunda expressão.

Negação cujos símbolos são ‘ ¬ ~

A A’
V
F
 Fundamentos Matemáticos para Computação 7
Profa. Me. Samanta Santos da Vara Vanini

Expressões em português

E, mas,
também,
Conjunção
além disso,
embora. Conectivo Λ

Disjunção
Ou
Conectivo V

Se A, então B Condicional
A implica em B
A, logo B Conectivo →
B segue de A
A é uma condição necessária de B
Basta A para B

A se, e somente se B Bicondicional

A é condição necessária Conectivo ↔
e suficiente para B

Não A.
Negação
É falso que A...
Conectivo ‘ ¬ ~
Não é verdade que A...
 Fundamentos Matemáticos para Computação 8
Profa. Me. Samanta Santos da Vara Vanini

Atividades

1. Sejam A, B, C e D as seguintes proposições:

A: A novela é mexicana.
B: O galã é americano.
C: A mocinha é chinesa.
D: A novela é boa.

Escrevam em notação simbólica as proposições compostas a seguir:

a. O galã é americano e a novela é boa.

b. Embora a novela seja mexicana, a novela é boa.
c. Se a novela é boa, então o galã é americano ou a mocinha é
chinesa.
d. O galã não é americano, mas a novela é mexicana.
e. Uma mocinha chinesa é uma condição necessária para a novela
ser boa.

2. Use A, B e C do exercício anterior para escrever as seguintes proposições

compostas em português:
a. B V C’
b. B’ V (A→C)
c. (C Λ ~A)↔B
d. C Λ (A’↔B)
e. ~(B Λ ~C) →A
f. A V (B Λ C’)
g. (A V B) Λ C’

3. Construa as seguintes tabelas-verdades:

a) (A Λ B) V A
b) (A Λ B) V B
c) (A V B) Λ A
d) (A V B) Λ B
e) A V B V C
f) A Λ B Λ C
g) (A Λ C) V B
h) B Λ (A V C)
i) A → (A V B)
j) (B Λ C) → C
 Fundamentos Matemáticos para Computação 9
Profa. Me. Samanta Santos da Vara Vanini

Negação dos conectivos

Exemplo:
Quais das proposições a seguir representam A’ se A é a proposição “Júlia
gosta de manteiga, mas detesta creme”?
a. Júlia detesta manteiga e creme.
b. Júlia não gosta de manteiga nem de creme.
c. Júlia não gosta de manteiga, mas adora creme.
d. Júlia odeia manteiga ou gosta de creme.

(A Λ B)’ A’ V B’
Resumindo (A V B)’ A’ Λ B’
(A → B)’ A Λ B’
(A ↔ B)’ ((A → B) Λ (B → A))’

Podemos encadear letras de proposições, conectivos e parênteses para

formar novas expressões, como: (A → B) Λ (B → A) respeitando regras de
sintaxe.

Uma cadeia que forma uma expressão válida é denominada fbf

(fórmula bem formulada).

1. Para conectivos dentro de vários

parênteses, efetua-se primeiro as
expressões dentro dos parênteses mais
internos.
Ordem de 2. ‘ (negação)
precedência:
3. V, Λ
4. →
5. ↔
 Fundamentos Matemáticos para Computação 10
Profa. Me. Samanta Santos da Vara Vanini

Exemplos:
A V B’ significa A V (B’)
AVB→C significa (A V B) → C

Escrevemos fbf com letras do tipo P, Q, R, S

Em uma fbf com diversos
Ex.: ((A V B) Λ C) → (B V C’)
conectivos, o último a ser
aplicado é o conectivo P→Q
principal.

Escrevemos a tabela verdade para qualquer fbf a partir de seus

componentes, da mesma forma que fizemos com a expressão (A → B) Λ (B → A).

Ex.: A tabela mostra a fbf A V B’ → (A V B)’. O conectivo principal, de acordo

com as regras de precedência, é o condicional.

A B B’ A V B’ A V B (A V B)’ A V B’ → (A V B)’

3. Tautologias

Ex.:
(A → B) ↔ (B’ → A’)

A B A → B B’ A’ B’ → A’ (A → B) ↔ (B’ → A’)
V V
V F
F V
F F
 Fundamentos Matemáticos para Computação 11
Profa. Me. Samanta Santos da Vara Vanini

Uma fbf que assume apenas o valor Verdade é

uma Tautologia, ou seja, uma tautologia é
intrinsecamente verdadeira pela sua própria estrutura.
Ex.: “Hoje vai ter sol ou hoje não vai ter sol” é sempre
verdadeira.
Ex.:
Uma fbf cujo valor
(A v A’) → (B Λ B’) é sempre Falso é
denominada
A B A’ B’ A V A’ B Λ B’ (A V A’) → (B Λ B’)
contradição. Uma
V V
contradição é
V F
intrinsecamente falsa pela
F V
sua própria natureza.
F F
“Hoje é quinta-feira e hoje
não é quinta-feira.”

Equivalências Tautológicas
Se P, Q, são fbf e P ↔ Q é uma tautologia,
então numa tabela verdade usando as letras da
proposição P e Q os valores serão todos iguais.
Neste caso P e Q são fbf equivalentes e denotamos
por P  Q.

Ex.:
(A → B) ↔ (B’ → A’) Portanto (A → B)  (B’ → A’)

A B A → B B’ A’ B’ → A’ (A → B) ↔ (B’ → A’)
V V V F F V V
V F F V F F V
F V V F V V V
F F V V V V V

Algumas equivalências Tautológicas

• AVBBVA COMUTATIVA
• (A V B) V C  A V (B V C) ASSOCIATIVA
• A V (B Λ C)  (A V B) Λ (A V C) DISTRIBUTIVA
• AV0A ELEMENTO NEUTRO
• A V A’  1 COMPLEMENTARES
 Fundamentos Matemáticos para Computação 12
Profa. Me. Samanta Santos da Vara Vanini
Equivalências Adicionais
(A V B)’  A’ Λ B’
Leis De Morgan (A Λ B)’  A’ V B’

Auxilia na negação de proposições compostas

Exercícios
1. Escreva a negação de cada fbf a seguir:
a. Se a festa é boa, então a boate é excelente.
b. Ou a festa é boa, ou a boate é excelente.
c. Nem a festa é boa, nem a boate é excelente.
d. Se é caro, então a festa é boa e a boate é excelente.
e. Nem o cinema é bom, nem a pipoca é gostosa.
f. Se o processador é rápido então a impressora é lenta.
g. Ou o processador é rápido ou a impressora é lenta.
h. Ou lógica é bom, ou algoritmos é ótimo.
i. Nem lógica é bom, nem algoritmos é ótimo.
j. Se lógica for bom, então o ensino é maravilhoso e a algoritmos é
ótimo.

2. Construa Tabelas-verdade para as fbfs a seguir. Após indique quais são

tautologias e quais são contradições.
a. (C→D)↔C’ V D
b. (S Λ P) V Q→S Λ (P V Q)
c. R Λ ¬(¬R V ¬E)
d. T Λ U →T’
e. (G→H)→[(G V I)→(H V I)]
f. (J Λ K) ↔ (~K V ~J)

3. Sejam as proposições P: “Está chovendo”, Q: “O sol está brilhando” e R:

“Há nuvens no céu”. Traduza as seguintes sentenças abaixo em notação
lógica.
a. Choverá se o sol brilha ou se o céu estiver com nuvens.
b. Se está chovendo, então há nuvens no céu.
c. O sol brilha quando e apenas quando o céu fica sem nuvens.

4. Utilizando o exercício anterior, determine significados para as

proposições:
a. (P  Q) → R
b. ~P  (Q V R)
c. ~(P V Q)  R
 Fundamentos Matemáticos para Computação 13
Profa. Me. Samanta Santos da Vara Vanini

5. Suponha que P → Q seja falso. Determine o valor lógico de cada

proposição a seguir:
a. P  Q
b. P V Q
c. Q → P

6. Suponha que P V Q seja falso. Determine o valor lógico de cada

proposição a seguir:
a. P  Q
b. P  Q
c. Q → P

7. Verifique que P  ~P é uma contradição.

Gabarito
Página 8
1. a) B Λ D b) D Λ A c) A → (B V C) d) ¬B Λ A e) C → D

2. a) O galã é americano ou a mocinha não é chinesa.

b) O galã não é americano ou, se a novela é mexicana, então a mocinha é chinesa.
c) A mocinha é chinesa e a novela não é mexicana se, e somente se, o galã é americano.
d) A mocinha é chinesa e, a novela não é mexicana se, e somente se, o galã é americano.
e) Não é verdade que se o galã é americano e a mocinha não é chinesa então a novela é mexicana.
f) A novela é mexicana ou, o galã é americano e a mocinha não é chinesa.
g) A novela é mexicana ou o galã é americano, e a mocinha não é chinesa.

3. a) A B AΛB (A Λ B) V A
V V V V
V F F V
F V F F

F F
b) (A Λ B) V B
A B
V V
V F
F V
F F
F F
AΛB (A Λ B) V B
V V
F F
F V
F F

c) (A V B) Λ A
A B
V V
V F
F V
F F
AVB (A V B) Λ A
V V
V V
V F
F F

d) (A V B) Λ B
A B AVB (A V B) Λ B
V V V V
V F V F
F V V V
F F F F
e) A V B V C
A B C AVB AVBVC
V V V V V
V V F V V
V F V V V
V F F V V
F V V V V
F V F V V
F F V F V
F F F F F
 Fundamentos Matemáticos para Computação 14
Profa. Me. Samanta Santos da Vara Vanini

f) A Λ B Λ C
A B C AΛB AΛBΛC
V V V V V
V V F V F
V F V F F
V F F F F
F V V F F
F V F F F
F F V F F
F F F F F

g) (A Λ C) V B
A B C AΛC (A Λ C) V B
V V V V V
V V F F V
V F V V V
V F F F F
F V V F V
F V F F V
F F V F F
F F F F F

h) B Λ (A V C)
A B C AVC B Λ (A V C)
V V V V V
V V F V V
V F V V F
V F F V F
F V V V V
F V F F F
F F V V F
F F F F F

i) A → (A V B)
A B
V V
V F
F V
F F
AVB A → (A V B)
V V
V V
V V
F V

j) (B Λ C) → C
B C BΛC BΛC→C
V V V V
V F F V
F V F V
F F F V
Página 12
1.
a) A festa é boa e a boate não é excelente.
b) A festa não é boa e a boate não é excelente.
c) Ou a festa é boa, ou a boate é excelente.
d) É caro e a festa não é boa ou a boate não é excelente.
e) Ou o cinema é bom, ou a pipoca é gostosa.
f) O processador é rápido e a impressora não é lenta.
g) O processador não é rápido e a impressora não é lenta.
h) Lógica não é bom e algoritmo não é ótimo.
i) Lógica é bom ou algoritmos é ótimo.
j) Lógica é bom e o ensino não é maravilhoso ou algoritmos não é ótimo.
2.
a) (C→D)↔C’ V D TAUTOLOGIA
C D C’ C’ V D C→D (C→D)↔C’ V D
V V F V V V
V F F F F V
F V V V V V
F F V V V V
 Fundamentos Matemáticos para Computação 15
Profa. Me. Samanta Santos da Vara Vanini

b) (S Λ P) V Q→S Λ (P V Q)
S P Q SΛP (S Λ P) V Q PVQ S Λ (P V Q) (S Λ P) V Q→S Λ (P V Q)
V V V V V V V V
V V F V V V V V
V F V F V V V V
V F F F F F F V
F V V F V V F F
F V F F F V F V
F F V F V V F F
F F F F F F F V

c) R Λ ¬(¬R V ¬E)
R E ¬R ¬E ¬R V ¬E ¬(¬R V ¬E) R Λ ¬(¬R V ¬E)
V V F F F V V
V F F V V F F
F V V F V F F
F F V V V F F

d) T Λ U →T’
T U TΛU T’ T Λ U →T’
V V V F F
V F F F V
F V F V V
F F F V V

e) (G→H)→[(G V I)→(H V I)] TAUTOLOGIA

G H I GVI HVI G→H (G V I)→(H V I) (G→H)→[(G V I)→(H V I)]
V V V V V V V V
V V F V V V V V
V F V V V F V V
V F F V F F F V
F V V V V V V V
F V F F V V V V
F F V V V V V V
F F F F F V V V

f) (J Λ K) ↔ (~K V ~J) CONTRADIÇÃO

J K ~K ~J JΛK ~K V ~J (J Λ K) ↔ (~K V ~J)
V V F F V F F
V F V F F V F
F V F V F V F
F F V V F V F
3)
. a) (Q V R) → P
b) P → R
c) Q ↔ R’

4)
a) Se está chovendo e o sol está brilhando, então há nuvens no céu.
b) Não está chovendo se, e somente se, o sol estiver brilhando ou houver nuvens no céu.
c) Não está chovendo e o sol não está brilhado e há nuvens no céu.

5) a) F b) V c) V

6) a) F b) V c) V

7) Verifique que P  ~P é uma contradição.

P ~P P  ~P
V F F
F V F