Fundamentos Matemáticos para Computação I

Operadores Lógicos e Tabela-Verdade

Profª. Lourena Rocha

2020.6
Alguns 'conselhos' de amiga :)

● É com você ! « The teacher can open the door, but you must enter by yourself. »
● Seja ativo.
● Pense por você mesmo.
● Questione tudo.
● Observe.
● Prepare-se para estar errado.
● Não decore – procure entender.
● Desenvolva sua intuição.
● Colabore.
● Reflita.
 Elementos com os quais trabalharemos :

Proposição ou Declaração
● É uma sentença que pode ser falsa ou verdadeira, mas não ambas.
● Quais das sentenças abaixo são Proposições ?
a) Quinze é maior do que vinte .
b) Como foi a reunião ?
c) Existe vida em outros planetas do universo.
d) Ele é um aluno do BTI.
e) « x + y > 0 » 

● São proposições os itens a) e c) apenas.

● O item b) não tem como valor Verdadeiro ou Falso. Já os itens d) e e) podem ser
assumir valor Verdadeiro e Falso (ao mesmo tempo), dependendo dos
« valores » escolhidos.
O que importa :

• Proposição sempre tem um valor lógico :

– VERDADEIRA (V ou 1) 

– FALSA (F ou 0) .
Proposição(Sentença) Composta

• Duas proposições A e B podem ser combinadas usando conectivos (ou

operadores) lógicos, gerando uma nova proposição, chamada de Proposição
Composta.
Exemplos

– «FMC1 é divertida » e « Bolas de futebol são redondas »

● « FMC1 é divertida e bolas de futebol são redondas »

– « Eliel foi à feira » ou « Jane caiu da cama »

● « Eliel foi à feira ou Jane caiu da cama » 
O que usar para « conectar » duas ou mais proposições :

Conectivo Símbolo Expressão

Lógico
e ˄ A˄B
conjunção
ou ˅ A˅B
disjunção
Se... então → A→B
(condicional) implicação
Se, e somente ↔ A ↔B
se ... equivalência
(bicondicional)
Como definir o valor lógico de uma expressão ?

• Se A é verdadeira e B é verdadeira, qual o valor lógico de A ˄ B ?

• Se A é verdadeira e B é falsa, qual o valor lógico de A ˄ B ?
• Se A é falsa e B é falsa, qual o valor lógico de A ˅ B ?
Como definir o valor lógico de uma expressão ?

• Se A é verdadeira e B é verdadeira, qual o valor lógico de A ˄ B ?

• Se A é verdadeira e B é falsa, qual o valor lógico de A ˄ B ?
• Se A é falsa e B é falsa, qual o valor lógico de A ˅ B ?

Tabela-Verdade
Tabela-Verdade da Conjunção

Conjunção

A B A˄B
V V
V F
F V
F F

Ex.: Geraldo trabalha e estuda.

Tabela-Verdade da Conjunção

Conjunção

A B A˄B
V V V
V F F
F V F
F F F

Ex.: Geraldo trabalha e estuda.

Tabela-Verdade Conjunção e Disjunção

Conjunção Disjunção

A B A˄B A B A˅B
V V V V V
V F F V F
F V F F V
F F F F F

Ex.: Geraldo trabalha e estuda. Ex.: Chove hoje ou faz frio.

Tabela-Verdade Conjunção e Disjunção

Conjunção Disjunção

A B A˄B A B A˅B
V V V V V V
V F F V F V
F V F F V V
F F F F F F

Ex.: Geraldo trabalha e estuda. Ex.: Chove hoje ou faz frio.

Tabela-verdade para o Condicional
●
Analisemos a implicação abaixo:

Se eu me formar, então eu ganharei um carro!

A B A→B
V V
V F
F V
F F
Tabela-verdade para o Condicional
●
Analisemos a implicação abaixo:

Se eu me formar, então eu ganharei um carro!

A B A→B
V V V
V F F
F V V
F F V
Tabela-verdade para o bicondicional

Maria é excelente profissional se, e somente se, estudou em

centros de referência.
Fundamentos Matemáticos para Computação I

Negação e Quantificadores

Profª. Lourena Rocha

Posso negar uma proposição ?

● Notação: ¬A, ~A, Ā ou A´ ( lê-se “não A”), onde

A é uma proposição.

● Exemplo:
A: “Vai chover amanhã.”
¬A: “Não é verdade que vai chover amanhã
ou
¬A : “Não vai chover amanhã.”
Conectivo Unário

● Qual das frases a seguir representa ¬A se A é a

sentença “Amanda adora natação, mas detesta
futebol”?

a) Amanda detesta natação e futebol.

b) Amanda não gosta de natação ou futebol.
c) Amanda não gosta de natação mas adora
futebol.
d) Amanda detesta natação ou adora futebol.
« Traduzindo » de português para linguagem matemática

● Considere as proposições h = “Está quente”

e s = “Está ensolarado”. Transcreva:
a) Não está quente, mas está ensolarado.
b) Nem está quente, nem ensolarado.

● Significado:
p mas q significa peq
nem p nem q significa ¬p e ¬q
Quantificadores e Predicados

Quantificadores são frases que dizem “quantos” objetos,

em algum sentido, têm uma determinada propriedade.

Ex.: “para todo”, “para cada”, “para algum”.

A propriedade mencionada acima é chamada de

Predicado.
Quantificadores e Predicados
( x) P(x) (Ǝx)P(x)

Predicado Predicado

Quantificador Universal Quantificador Existencial

Domínio de interpretação ou Conjunto Universo:

A coleção de objetos dentre os quais x pode ser escolhido.
Valor lógico
O valor lógico de ( x)(P(x)) ou (Ǝx)(P(x))
depende do conjunto universo.
Valor lógico
O valor lógico de ( x)(P(x)) ou (Ǝx)(P(x))
depende do conjunto universo.

●
Exemplo: ( x) (x>0)

●
Se o conjunto universo são todos os reais:

●
Se o conjunto universo são os inteiros positivos:
Valor lógico
O valor lógico de ( x)(P(x)) ou (Ǝx)(P(x))
depende do conjunto universo.

●
Exemplo: ( x) (x>0)

●
Se o conjunto universo são todos os reais:
O valor lógico é FALSO.
●
Se o conjunto universo são os inteiros positivos:
O valor lógico é VERDADEIRO.
Ordem dos quantificadores
●
A ordem dos quantificadores é importante!!

Exemplo:

Tome Q(x, y) : x < y e como conjunto universo os inteiros.

Qual o valor lógico de:

→ ( x)(Ǝy) (x < y)

→ (Ǝy)( x) (x < y)
Ordem dos quantificadores
●
A ordem dos quantificadores é importante!!

Exemplo:

Tome Q(x, y) : x < y e como conjunto universo os inteiros.

Qual o valor lógico de:

→ ( x)(Ǝy) (x < y) VERDADEIRO

→ (Ǝy)( x) (x < y) FALSO

Negação

¬[ ( x)A(x) ] é equivalente a (Ǝx)¬A(x)

¬[ (Ǝx) A(x) ] é equivalente a ( x) ¬A(x)

Fundamentos Matemáticos para Computação I

Métodos de Prova

Profª. Lourena Rocha

Raciocínio Indutivo x Raciocínio Dedutivo

Concluir algo baseado na Decidir se a conjectura é

experiência Verdadeira ou Falsa

Para provar que é Para provar que é

Conjectura: P →Q Verdadeira: Falsa:

Produz-se uma Exibe-se um contra-

demonstração para exemplo
P →Q
Conjecturas
• Decidir se as conjecturas abaixo são V ou F:

➢
Todo mamífero tem quatro patas.

➢
Todo intervalo real possui um menor
elemento.
Conjecturas
• Pode-se mostrar que uma conjectura é
verdadeira usando-se exemplos APENAS se ela
trata de um conjunto finito de elementos.

• Nesse caso, ela deve ser mostrada para TODOS

os elementos do conjunto.
Exemplo

x + 5 > 0 para todo x pertencente ao conjunto

{10, 3, 7}.

Como o conjunto sobre o qual esta conjectura está feita é

finito, podemos apenas fazer:
se x = 10, então 10 + 5 = 15 > 0; (V)
se x = 3, então 3 + 5 = 8 > 0; (V)
se x = 7, então 7 + 5 = 12 > 0. (V)
Portanto, a conjectura acima é verdadeira.
Conjecturas

• Provar a conjectura:

“A soma dos primeiros n inteiros positivos é

igual a n(n+1)/2.”
➢
Não é suficiente verificar que é verdade para n=1,
2, 3, 4, 5, …, 1000.
Demonstração Exaustiva
• Provar a conjectura:

“Para qualquer inteiro positivo menor ou

igual a 5, o quadrado do inteiro é menor ou
igual à soma de 10 mais 5 vezes o inteiro.”
Demonstração Direta (P →Q)
Supõe a hipótese P e deduz a tese Q.

• Exemplos:

➢
Para todo inteiro par x e y, o produto xy é um
inteiro par.

➢
Mostrar que a soma de um inteiro par com um
inteiro ímpar é um inteiro ímpar.
Demonstração por Contraposição (P →Q)

Demonstra-se ¬Q → ¬P, pois sabemos que é

equivalente a P → Q.

• Exemplo:
➢
Prove que se o quadrado de um inteiro é ímpar,
então o inteiro tem que ser ímpar.
Demonstrando P ↔ Q
Demonstra-se P → Q e Q → P.

• Observe que nem sempre a recíproca de uma

condicional é verdadeira. Isto é, nem sempre
vale P ↔ Q .
➢
Se x é um número inteiro, então x é um número
real.
➢
Não vale a recíproca: “Se x é um número real,
então x é um inteiro.”
Demonstração Por Absurdo (P →Q)

Note que (P ˄ ¬Q → 0) → (P → Q) , isto é, a

expressão é uma Tautologia.

• Então, supõe-se que√ valem P e ¬Q como

2

hipóteses, e tentamos deduzir uma

contradição.

• Exemplo:
●
Mostrar que√ 2 é um número irracional.
Perguntas??