Escola secundaria 20 de Junho-golo

Ficha de Resumo de Apontamento e Exercícios Sobre Lógica Matemática

11ªclasse Grupo C Ano 2021

1.Noção da lógica

A palavra lógica deriva da palavra grega logiké, que significa ciência do raciocínio. A lógica
matemática é um ramo da ciência que se dedica ao estudo do raciocínio matemático.

1.1. Proposições

Proposição é todo o conjunto de palavras ou símbolos que exprime um pensamento de sentido

completo, o qual pode ser verdadeiro ou falso.

Exemplo:

 Três é um número par F

 Cinco é um número primo V
 Homoine é um distrito da província de Inhambane. V

1.2.Principios lógicos sobre proposições

Princípios de não contradição – uma proposição não podem ser verdadeira e falsa ao mesmo
tempo.

Exemplo:

 5 é um numero primo

Princípio do terceiro excluído – uma proposição so pode ser verdadeira ou falsa, isto é, ocorre
sempre um desses casos e nunca um outro.

As proposições podem ser simples e compostas.

Exemplo de proposição Simples:

 P: Carlos tem oito anos; q: Juliana é loira.

Elaborado pelo docente Macanda Página 1

 Exemplo de proposição composta.

 P: Carlos tem oito anos e Juliana é loira.

 q: Maria vai à feira ou vai ao mercado.
 r: Se Júlio canta, então é feliz.

1.2.1.Princípios e os respectivos conectivos

Princípios Conectivos
e 
Ou 
Se então 
Se, e somente se 

1.3.Tabela de verdade

A tabela de verdade serve para determinar o valor lógico de uma proposição composta, recorre-
se a um dispositivo chamado tabela de verdade, na qual configuram todos os possíveis valores
lógicos da proposição composta.

Exemplo:

 p: O Sporting é o maior clube de Moçambique;

 q: O professor Manuel explica muito bem.

Tabela de verdade padrão

p q
v v
v f
f v
f f

Elaborado pelo docente Macanda Página 2

2. Operações lógicas

2.1. Negação ~ 

A negação de uma proposição p é uma nova proposição ~ p , que se obtém da anterior

anteponde-lhe as palavras (não é verdade que) e que é verdadeira se p é falsa, e é falsa se p é
verdadeira.

Exemplo:

 p: Maputo é capital Angolana.

 ~ p : Maputo não é capital Angolana.

Tabela de verdade

p q ~p ~q
v v f f
v f f v
f v v f
f f v v

2.2. Conjunção  

A conjunção de duas proposições p e q , é uma proposição que se representa ligando p e q pelo

símbolo  (lê-se e).

A conjunção p  q é verdadeira apenas quando p e q são verdadeiras, caso uma das proposições
seja falsa ou as duas sejam falsas, p  q será falsa.

Exemplo:

 P: 11 é um número primo. V
 Q: o pentágono tem 5 lados. V

p  q :11 é um número primo e o pentágono tem 5 lados.

Elaborado pelo docente Macanda Página 3

Exemplo 2:

 16 é divisível por 4
 16 é divisível por 8

p  q :16 é divisível por 4 e por 8

Tabela da verdade

p q pq
v v v
v f f
f v f
f f f

2.3. Disjunção inclusiva

Chama se disjunção inclusiva de duas proposições p e q a uma nova proposição p  q (lê-se

p ou q ) que é verdadeira quando pelo menos uma das proposições for verdadeira.

Exemplo:

 P:5 é um número par. F

 Q:  é um número irracional. V

p  q : 5 é um número par ou  é um número irracional. V

Tabela da verdade

p q pq
v v v
v f v
f v v
f f f

Elaborado pelo docente Macanda Página 4

NB: uma disjunção p  q será falsa apenas no caso de p e q serem ambas falsas.

2.4. Implicação Material ou Condicional 

Chama-se implicação de duas proposições p e q a uma nova proposição p  q (lê-se se p

então q ou implica). É que só é falsa se p é verdadeira e q falsa.

A proposição p chama-se antecedente e à proposição q consequente. A implicação p  q só é

falsa se o antecedente for verdadeira e se o consequente falso.

Exemplo:

 P:2 é número par;

 Q: 2 não é um número impar

p  q : Se 2 é número par, então 2 não é um número impar.

Exemplo 2:

 P:Nasci em Moçambique;
 Q: sou Moçambicana.

p  q :Se nasci em Moçambique, então sou Moçambicana.

Tabela da verdade

p q pq
v v v
v f f
f v v
f f v

NB: Só será falso quando a primeira for verdadeira e a segunda for falsa.

Elaborado pelo docente Macanda Página 5

2.5. Equivalência Material ou Bicondicional  

Chama-se equivalência material ou Bicondicional de duas proposições p e q a uma proposição

p  q (lê-se, p se e somente se q ou p se e só se q ), que é verdadeira quando p e q tem um
mesmo valor lógico.

Exemplo:

 P: 4 é maior que 2;
 Q: 2 for menor que 4

p  q : 4 é maior que 2 se e somente se, 2 for menor que 4.

Exemplo 2:

 r: Mia Couto é um poeta

 s: Lurdes Mutola é uma atleta.

r  s : Mia Couto é um poeta se e só se Lurdes Mutola é uma atleta.

Tabela da Verdade

p q p  q:
v v v
v f f
f v f
f f v

Elaborado pelo docente Macanda Página 6

Resumo

Conectivos Símbolo Lê-se Exemplo

Negação ~ Não ~p
Conjunção  e pq
Disjunção  ou pq
Implicação ou  Se…, então…. pq
condicional
Equivalência ou  …,se e somente se… pq
Bicondicional

NB: Dica para construção da tabela de verdade

Proposição Condição para ser verdade “V”

pq Quando for “VV”
pq Não pode ter “FF”
pq Não pode ter “VF”
pq Não pode ter “VF” e “FV”

3.Tautologia – Contradição

Tautologia – é uma proposição lógica composta que sempre terá o seu valor lógico verdadeiro.

Exemplo:

Verifique se as proposições abaixo representam uma tautologia:

a) p ~ p
b)  p  q   p  q

Elaborado pelo docente Macanda Página 7

Resolução

a) p ~ p b)  p  q    p  q 

p q ~p p ~ p p q pq pq  p  q   p  q
v v f v v v v v v
v f f v v f f f v
f v v v f v f v v
f f v v f f f v v

3.1.Contingência

É uma proposição cujo valor lógico pode ser verdadeiro ou falso. Ou também chamada de
proposição indeterminada.

Exemplo:

Verifica se a proposição  p  ~ q  ~ p representam uma contingência:

p q ~p ~q p ~ q  p  ~ q  ~ p
v v f f f v
v f f v v f
f v v f f v
f f v v f v

4.Propriedades das operações lógicas

As operações lógicas de negação, conjunção e disjunção gozam das seguintes propriedades:

 Dupla negação
~ ~ p   p

Elaborado pelo docente Macanda Página 8

Propriedades Conjunção Disjunção
Comutativa pq  q p pq  q p
Associativa p  (q  r )  ( p  q)  r p  (q  r )  ( p  q)  r
Distributiva p  (q  r )  ( p  q )  ( p  r ) p  (q  r )  ( p  q )  ( p  r )
Elemento Neutro p V  p p F  p
Elemento Absorvente pF  F p V  V
Idempotência p p  p p p  p
1ª Lei de Morgan ~ ( p  q ) ~ p  ~ q ~ ( p  q) ~ p  ~ q

4.1.Propriedades da implicação

Relação da implicação material com disjunção

p  q ~ p  q

~ p q  pq

Negação da implicação

~  p  q  ~ ~ p  q 

~  p  q   p ~ q

4.2. Propriedade da equivalência

A equivalência material como conjunção da implicação

p  q   p  q   q  p 

Negação da equivalência

~  p  q    p  ~ q   q  ~ p 

Elaborado pelo docente Macanda Página 9

Exemplos:

Prove as seguintes propriedades:

a)  p  q   r  p  q  r 
b)  p  q   r  p  q  r 

Resolução de algumas alíneas

a)  p  q   r  p  q  r 
p q r pq  p  q  r qr p  (q  r )

v v f v f f f
v f f f f f f
v v v v v v v
f f v f f f f
f f f f f f f
f f f f f f f

b)  p  q   r  p  q  r 

p q r pq  p  q  r qr p  (q  r )

v v f v v v v
v f f v v f v
v v v v v v v
f f v f v v v
f f f f f f f
f f f f f f f

Elaborado pelo docente Macanda Página 10

5.Leis De Morgan

As leis de De Morgan (Augustos De Morgan – século 19) são um conjunto de operações para
simplificar expressões lógicas de tal forma que possam produzir o mesmo resultado lógico.

São regras aplicadas principalmente em negações de proposições compostas.

De Morgan estabeleceu as seguintes leis:

1ª Lei de Morgan

A negação de uma disjunção equivale a uma conjunção com proposições negadas.

~  p  q  ~ p  ~ q

Em outras palavras: Não  p ou q  é igual a não p e não q.

Exemplo: Sendo p: igual a “João vai ao futebol” e q: igual a “Ana vai ao cinema”

Não (João vai ao futebol ou Ana vai ao cinema) é o mesmo que (João não vai ao futebol e Ana
não vai ao cinema).

“João não vai ao futebol e Ana não vai ao cinema.”

2ª Lei de Morgan ou lei da negação da conjunção diz:

Negar a conjunção equivale a uma disjunção com proposições negadas.

~  p  q  ~ p  ~ q

Em outras palavras: Não  p e q  é igual a (não p) ou (não q)

Exemplo: Sendo p: igual a “João vai ao futebol” e q: igual a “Ana vai ao cinema”

Não (João vai ao futebol e Ana vai ao cinema) é o mesmo que (João não vai ao futebol ou Ana
não vai ao cinema)

Elaborado pelo docente Macanda Página 11

 6. Quantificadores
Além das operações lógicas ja estudadas, há ainda duas que se aplicam a expressões com
variáveis, que são: Quantificadores Universal e Quantificador Existencial.

6.1.Quantificador Universal
O quantificador universal destina a afirmar que, num dado universo, uma condição é
universal. A proposição obtida é verdadeira, se a condição é universal e é falsa se a
condição não é universal.
A condição “todo o homem tem cabeça” é universal em H (H sendo o conjunto dos
homens).
Em lógica, podemos escrever:
Todo o homem tem cabeça. Ou, Qualquer que seja o homem, ele tem cabeça.
Usando a linguagem simbólica pode-se escrever:
x  H : x tem cabeça.
Ao símbolo  dá-se o nome de quantificador universal.
 (lê-se qualquer que seja, para todo o…, para qualquer…, para cada…)

6.2.quantificador Existencial
O quantificador existencial destina-se a afirmar que, num dado universo, uma condição é
possível. A proposição obtida é verdadeira, se a condição é possível, e falsa se a condição é
impossível.

O símbolo  dá-se o nome de quantificador existencial.

 (lê-se “existe pelo menos um”)

O quantificador existencial transforma uma condição possível numa proposição verdadeira.

Exemplo:

2 x  1  0, Condição possível em IR

x  IR : 2 x  1  0, Proposição verdadeira

Elaborado pelo docente Macanda Página 12

x 2  1  0, Condição impossível em IR

x  IR : x 2  1  0, Proposição falsa

7.Exercícios de Aplicação

1. Nega as proposições seguintes:

a) 4  IN
b) Todos os números pares são primos
c)   3,2
d) 4  5  21
2. Seja dada as proposições p : 4  8  13
a) Qual é o valor lógico de p ?
b) Escreva a negação de p .
c) Indica o valor lógico de ~ p
3. Sejam A, B e C as proposições:

A: 2 é um numero par B: 2 é um numero primo C: 2 é divisor de 4

Traduz em linguagem corrente o significado das expressões.

a) A  B
b) A  C
c) ~ C  A
d) ~ B  C 
4. Sabendo que T  R é falsa, qual é o valor lógico das seguintes expressões:
a) T  ~ R
b) ~ T  ~ R
c) ~ T  R
5. Prova as seguintes propriedades através da tabela de verdade.
a) pq  q p
b)  p  q   r  p  q  r 
c) pq  q p

Elaborado pelo docente Macanda Página 13

 d)  p  q   r  p  q  r 
e) p  q ~ p  q

f) ~  p  q   p ~ q

g) ~  p  q  ~ p ~ q

h) ~  p  q  ~ p  ~ q
6. Completa o quadro

p q pq ~  p  q ~q p ~ q

v v
v f
f v
f f

7. Considera as proposições

P: Ana é inteligente

Q: Ana tem boas notas

Escreva na linguagem corrente as seguintes proposições:

a) pq
b) ~ p  q
c) q  p
d) p  q
e) ~ p ~ q
8. Simplifica as proposições
a) A  ~ A  B 

b)  p  q   ~ p ~ q   q p
9. Traduz em linguagem corrente as proposições seguintes:
a) x  IR : x 2  2 x

Elaborado pelo docente Macanda Página 14

 b) n  IN : n  1  n
c) n  IN : 2n  1 é impar
1
d) x  IR : x 
x

Considera o conjunto A   2,1,0,1,2,3, indica o valor lógico das seguintes proposições :

a) x  A : 2 x  10
b) x  A : 2 x  10
c) x  A : x 2  5  0
d) x  A : x 2  1  x
e) x  A : x  0

f) x  A : x 2  9  0

Elaborado pelo docente Macanda Página 15