17/03/23

UNIVERSIDADE LICUNGO
Faculdade de Ciências e Tecnologia
Departamento de Matemática e Estatística
Curso de Licenciatura em Ensino de Matemática
Cálculo de Predicados
Docente: Msc. Cristina Fernanda Chamussora da Costa

OBJETIVOS
§ Aplicar os princípios fundamentais da Lógica Proposicional

§ Conhecer e formular diagramas de árvore e tabelas verdade

§ Determinar o número de linhas de uma tabela verdade

§ Ter domínio na simplificação das preposições

1
 17/03/23

Tabelas das preposições logicas

Para a construção de tais tabelas, necessitaremos de dois princípios básicos:

§ Princípio da não-contradição: uma proposição não pode ser verdadeira e

falsa ao mesmo tempo;

§ Princípio do terceiro excluído: toda proposição ou é verdadeira ou é falsa.

Verifica-se sempre uma dessas possibilidades e nunca uma terceira

§ Os princípios da não-contradição e do terceiro excluído nos permitem afirmar

que as proposições podem ser simples ou compostas.
§ Lembre-se que: O valor lógico de uma proposição composta qualquer depende
unicamente dos valores lógicos das proposições simples que a compõem,
ficando por eles univocamente determinado.

Tabelas das preposições logicas

§ Proposição simples é aquela
que não contém nenhuma outra
proposição como parte
integrante de si mesma. É
também chamada proposição
atômica ou átomo.
§ As proposições simples são
indicadas por letras minúsculas (
p, q, r,...). Exemplos:
p: a lua é plana.
q: 5 + 3= 0
r: o homem é mortal.

2
 17/03/23

Tabelas das preposições logicas

§ Proposição composta é aquela formada pela composição de duas ou mais
proposições. É também chamada proposição molecular ou molécula.
§ As proposições compostas são indicadas por letras maiúsculas (P, Q, R, S ...) .
Quando desejarmos destacar ou explicitar que uma dada proposição composta
P é formada pela combinação das proposições simples p, q, r,...,
escreveremos: P(p, q, r, ...).

Exemplos:
1. P: o sol brilha e a lua reflete a luz.

2. Q: Ceará ganha ou o Ceará perde.

3. R: se 3< π e o número 8 é cubo perfeito, então 25 é um número primo.

Para uma Proposição A composta por duas proposições

simples A e B representada por A(A,B)
§ Neste caso, devemos examinar cada par
possível de valores lógicos para as
proposições simples a e b, para
determinar o valor lógico da proposição
composta A.
§ Temos um total de 𝟐𝒙𝟐 = 𝟐𝟐 = 𝟒
possibilidades. Cada uma dessas
possibilidades está representada na tabela-
verdade de A que terá 4 linhas. Nela, os
valores V e F se alternam de dois em dois
para a proposição a e de um em um para a
proporsição b.
OBS.:Alguns livros utilizam para os valores lógicos V e F, respectivamente, os valores 1 e 0. Assim,
para uma proposição p qualquer, temos:
V(p) = V = 1 ou V(p) = F = 0.

3
 17/03/23

Operações Lógicas
Vimos quais os conectivos existentes na lógica proposicional, que são:

Negação
§ Negação de uma proposição p é a proposição representada
por “não p”, onde o valor lógico é Verdadeiro quando p é
Falso; E Falso quando p é
Verdadeiro.
§ “não p” sempre será o oposto de p, é simbolizado por: ~p
§ A notação para negação pode ser representada da seguinte
forma: V(~p) = ~V(p)

4
 17/03/23

Negação

Exemplos:
§ p: 2 + 3 = 5 (V) ~p: 2 + 3
≠ 5 (F) ou V(~p) = ~V(p)
= ~V = F
§ q: Roma é a capital da
França (F). ~q: Roma
não é a capital da França
(V) ou V(~q) = ~V(q) =
~F = V

Conjunção

§ A conjunção de duas
proposições (p,q) é
representada por “p e q”,
onde o valor lógico é
Verdadeiro quando
ambas as proposições
forem Verdadeiras e
Falso nos demais casos.
§ Representado
simbolicamente por: p ^ q

10

5
 17/03/23

Conjunção
Exemplos:
1) p: A neve é branca. (V). q: 3 > 2 (V). ⟹ p ^ q: A neve
é branca e 3 > 2 (V)
V(p ^ q) = V(p) ^ V(q) = V ^ V = V
2) r: O enxôfre é verde. (F). s: 7 é um número primo.(V)
⟹ r ^ s: O enxôfre é verde e 7 é um número primo. (F)
V(r ^ s) = V(r) ^ V(s) = F ^ V = F

11

Disjunção
§ A disjunção de duas
proposições (p,q) é
representada por “p ou q”,
onde o valor lógico é
Verdadeiro quando ao
menos uma das
proposições forem
Verdadeiras e Falso
quando ambas forem
Falsas;
§ Representado
simbolicamente por: p v q

12

6
 17/03/23

Disjunção
Exemplos:
1) p: A neve é branca. (V) q: 3 > 2 (V)
p v q: A neve é branca ou 3 > 2 (V).
V(p v q) = V(p) v V(q) = V v V = V
2) r: O enxôfre é verde. (F)
s: 7 é um número primo.(V)
r v s: O enxôfre é verde ou 7 é um número primo. (F)
V(r v s) = V(r) v V(s) = F v V = F

13

Disjunção Exclusiva

§ Disjunção exclusiva é quando apenas uma das proposições pode ser

Verdadeira para resultar no valor lógico Verdadeiro.

§ Simbolizado por: p ∨̇ q

14

7
 17/03/23

Condicional ou Implicação
§ Condicional é representada
por “se p então q”, onde o
valor lógico é Falsa quando p
for Verdadeira e q Falsa. Nos
demais casos ela é
Verdadeira.

§ Representado simbolicamente
por: p → q

15

Condicional ou Implicação
Exemplos:

1) p: O mês de maio tem 31 dias. (V) q: A Terra é plana. (F)

p → q: Se o mês de Maio tem 31 dias então a terra é plana. (F)

V(p → q) = V(p) → V(q) = V → F = F

2) r: Camões escreveu os Lusíadas. (V) s: 2 + 4 = 10 – 4 (V)

r →s: Se Camões escreveu os Lusíadas, então 2 + 4 = 10 – 4

V(r → s) = V(r) → V(s) = V → V = V

16

8
 17/03/23

Bicondicional ou Equivalência

§ Bicondicional é representada por “p se

e somente se q”, onde o valor lógico é
Verdadeiro quando p e q são ambas
Verdadeiras ou ambas Falsas. Nos
demais casos a bicondicional é Falsa.

§ Representado simbolicamente por: p ↔

q

17

Bicondicional ou Equivalência
Exemplos:
1) p: O mês de maio tem 31 dias. (V) q: A Terra é plana. (F)
p ↔ q: O mês de Maio terá 31 dias se e somente se a terra é plana
V(p ↔ q) = V(p) ↔ V(q) = V ↔ F = F
2) r: Cantor escreveu os Lusíadas. (F) s: Camões criou a Teoria
dos Conjuntos. (F)
r ↔ s : Cantor teria escrito os Lusíadas se e somente se Camões
criasse a Teoria dos Conjuntos
V(r ↔ s) = V(r) ↔ V(s) = F ↔ F = V

18

9
 17/03/23

Propriedades da conjunção e disjunção

Conjunção (∧) disjunção (v)

6. P ∧ P = P PvP=P
7. P ∧~ P = F P v~ P = F

8. P ∧ V = P PvV=P
9. P ∧ F = F PvF=P
10. P ∧(Q∧ R) = (P∧ R) ∧Q P v(Q v R) = (Pv R) VQ

11. P ∧(Qv R) = (P∧ Q) V (P ∧R) P V(Qv R) = (Pv Q) ∧ (P v R)

19

EXERCÍCIOS
Dada as proposições: p: Marcos é alto. V(p) = V
q: Marcos é magro. V(q) = F
Traduza para a linguagem simbólica as frases que se
seguem.
(a) Marcos é alto e magro.
(b) Não é verdade que Marcos é baixo ou magro.
(c) Marcos não é nem alto e nem magro.
(d) Marcos é alto ou é baixo e magro.
(e) Marcos é alto se e somente se for magro
(f) Se Marcos é alto então é magro.

20

10
 17/03/23

EXERCÍCIOS
2. Prove utilizando directamente as propriedades das
operações logicas que se tem sempre:
a. a v (~a v b) = V
b. a v (b ∧ ~a) = a v b
3. Escreva na forma mais simples a negação das preposições
seguintes:
a. (a ∧~ b) → a b. (a ∧~ b) v ~a
4. Simplifique as seguintes expressão;
a. (~a v b) ∧ (a → ~b) b. {(p ∧ q) v [(~p v ~q) ∧ q]}

21

Literatura Usada
ALENCAR FILHO, Edgard de. Iniciando a Lógica Matemática. São
Paulo. Nobel 2002.
BIVAR, A., GROSSO, C., OLIVEIRA, F., LOURA, L., &
TIMÓTEO, M. C. (S.D.). Lógica e Teoria dos Conjuntos. Portugal .
CUNHA, F. G. (2008). Logica e Teoria de Conjunto Ministério da
Educação . Instituto Federal de Educação Ciência e Tecnologia do
Ceará. Brasil .
PONTES, A. (S.D.). Introdução à Teoria dos Conjuntos. Universidade
Federal do Amazona .

22

11