null-5

Fazer download em pdf ou txt
Fazer download em pdf ou txt
Você está na página 1de 19

INSTITUTO SUPERIOR POLITÉCNICO MARAVILHA

Departamento de Ciências e Tecnologias


Curso de Engenharia Informática
Lógica Computacional

Tema 1- Lógica Proposicional


Sumário: Operações Lógicas.

Docente: Me. Mvita Zankulu


OBJECTIVOS

1. Conhecer as operações lógicas e os seus respetivos operadores.

2. Conhecer os conectores lógicos.

3. Ser capaz de realizar operações entre proposições.


PROPOSIÇÕES SÍMPLES E COMPOSTAS
As proposições podem ser simples ou compostas.
São proposições simples aquelas que vem sozinhas,
desacompanhadas de outras proposições.
Exemplos:
O carro é azul.
O João é motorista.
 Caso combinarmos as duas proposições, temos duas
proposições simples conectadas entre si, formando assim
uma proposição composta.
Exemplo: O carro é azul e João é motorista.
PROPOSIÇÕES COMPOSTAS
Proposições compostas resultam das conexões lógicas
entre proposições simples:
 Mariana estuda lógica e (Mariana) raciocina bem
(conjunção)
 Mariana raciocina bem ou deixa-se enganar(disjunção)
 Se Mariana estuda lógica então raciocina
bem(condicional ou implicação)
 Mariana é convincente se e só se raciocina bem
(bicondicional ou equivalência)
Notações
 P (p,q,r,...) indica que a proposição composta P é
formada pelas proposições simples p, q, r, ...
 As proposições que fazem parte de uma proposição
composta podem ser, elas mesmas, proposições
compostas.
Exemplos: P: 1 + 2 = 3 e 2 ≠ 1 Q: 1 + 2 = 3 ou 2 ≠ 1 R:
Se 1 + 2 = 3, então 2 ≠ 1

Desta forma, é possível efectuar cálculos (ou operações) sobre


proposições. Esse cálculo é denominado calculo proposicional
(Operações Lógicas) e se assemelha a aritmética dos números.
Os resultados desses cálculos também são valores lógicos (V ou F).
Negação

Dada uma proposição p, denomina-se a negação de p a


proposição representada por “não p”, no qual o valor
lógico é verdade quando p é falso e falso quando o
valor de p é verdadeiro.
Desta forma, a negação de p tem o valor lógico oposto
daquele de p.
Simbolicamente, podemos expressar a negação de p
por ~p, que lê-se “não p”.
Negação
O valor lógico da negação de uma proposição é, portanto, definido pela Tabela,
denominada tabela verdade.

p ~p

V F

F V

 Ex: Se p = 1+1 = 2 então p é verdade, ou seja, p=V


 Se ~p = 1+1!=2 então p é falso, ou seja, p=F
 p = O Carlos é casado
 ~p = O Carlos não é casado
Negação
Observação 1.1.
a) Negar uma proposição p não é apenas afirmar algo
diferente do que p afirma, ou algo com valor lógico diferente.
Por exemplo, a proposição.
q : Luanda é a capital de Angola (v), não é a negação de p :
Benguela é a capital de Angola (f).
b) Sendo verdadeira uma proposição p, a sua negação é falsa
e vice-versa; como consequência, a negação da proposição
∼ p afirma o mesmo que p, isto é, a negação da negação de
p é logicamente equivalente a p. Escrevemos ∼∼ p ≡ p (≡ lê-
se; “logicamente equivalente”).
Negação
 Exemplos:
a)
Se p: 1+1 = 2 então p é verdadeiro, VL(p)=V
b)
Se ~p : 1+1!=2 então p é falso, ou VL(p)=F
c)
p = Carlos é casado
~p = Carlos não é casado
Conjunção

Dada duas proposições p e q, define-se por conjunção, a operação realizada pelo


operador “e” onde a proposição “p e q” possui o valor logico Verdadeiro se ambas
as proposições (p e q) são verdadeiro. Caso contrário, “p e q” é falso.

A notação:
Simbolicamente, a representação da conjunção entre duas proposições é
representada por “p ^ q”, e lê-se “p e q”.

p q P^q
v v v
v f f
f v f
f f f
Conjunção
 Exemplo:
 a) “Angola encontra-se na Europa” e “Luanda tem uma população
predominantemente branca”.
Esta proposição é falsa (f), pois as duas proposições simples são falsas.
b) “Platão era grego” e “Pilatos romano”.
Esta proposição é verdadeira (v), pois as duas proposições simples são verdadeiras.

[(2 + 8 > 5) ∧ (8 > 6 )] [(2 + 8) ≤ 5) ∧ (8 > 6 )]


Proposição verdadeira Proposição falsa

[(2 + 8) ≤ 5) ∧( 8 ≤ 6 )]
[(2 + 8 > 5) ∧ (8 ≤ 6 )]
Proposição falsa
Proposição falsa
Disjunção (inclusiva)

 Dada duas proposições p e q, define-se por disjunção (inclusiva), a operação


realizada pelo operador “ou” onde a proposição “p ou q” possui o valor logico
Verdade se pelo menos uma das proposições (p v q) for verdadeiro. Caso
contrário, “p e q” é falso.

A notação:
Simbolicamente, a representação da disjunção (inclusiva) entre duas proposições
é feita por “p v q” e lê-se “p ou q”.
Disjunção (inclusiva)
 Exemplo:
 a) “Angola encontra-se na Europa” ou “Luanda tem uma população
predominantemente negra”.
Esta proposição é verdadeira (v), pois a segunda proposição simples é verdadeira.
b) “Platão era Benguelense” ou “Pilatos era huilano”.
Esta proposição é falsa (v), pois as duas proposições simples são falsas.

[(2 + 8 > 5) v (8 > 6 )] [(2 + 8) ≤ 5) v (8 > 6 )]


Proposição verdadeira Proposição verdadeira

[(2 + 8) ≤ 5) v ( 8 ≤ 6 )]
[(2 + 8 > 5) v (8 ≤ 6 )]
Proposição falsa
Proposição verdadeira
Disjunção Exclusiva

 Na linguagem do dia-a-dia, a palavra ou tem dois sentidos:


 1o p : Mário é motorista ou professor.
 2o q : Carlos nasceu em Benguela ou em Luanda.
 Da proposição p podemos obter as proposições: “Mário é motorista”, assim como
“Mário é professor ”, podendo ser ambas verdadeiras então temos que “Mário é
motorista e professor ”.
 Mas na proposição q, temos as proposições “Carlos nasceu em Benguela ”, e a
outra “Carlos nasceu em Luanda” sendo verdadeira somente uma delas que
exclua o valor verdade da outra; não é possível ocorrer “Carlos nasceu em
Benguela e em Luanda”
 Na proposição p, a disjunção é inclusiva; e, na proposição q a disjunção é
exclusiva. O símbolo ⊻ indica o conectivo lógico exclusivo e sua tabela-verdade
indica-se na Tabela baixo.
Disjunção exclusiva

 Dada duas proposições p e q, define-se por disjunção exclusiva, a operação


realizada pelo operador “ou” onde a proposição “p ou q” possui o valor logico
Verdade se, e apenas se, uma das proposições (p ou q) for verdadeira. Caso
contrário, “p ou q” é falso.

A notação:
Simbolicamente, a representação da disjunção exclusiva entre duas proposições
é feita por “p w q” e lê-se “p ou q”.
Disjunção exclusiva
 Exemplo:
 a) “Angola encontra-se na Europa” ou “Luanda tem uma população
predominantemente negra”.
Esta proposição é verdadeira (v), pois somente a sua segunda proposição simples
que é verdadeira.
b) “Platão era Benguelense” ou “Platão era huilano”.
Esta proposição é falsa (f), pois as duas proposições simples são falsas.

[(2 + 8 > 5) w (8 > 6 )] [(2 + 8) ≤ 5) w (8 > 6 )]


Proposição falsa Proposição verdadeira

[(2 + 8) ≤ 5) w( 8 ≤ 6 )]
[(2 + 8 > 5) w (8 ≤ 6 )]
Proposição falsa
Proposição verdadeira
Exercícios
1. Dada as seguintes proposições:
 p : esta quente
 q : esta a chover
Traduzir para a linguagem natural as seguintes proposições:
a) ~p
b) p ^ q
c) p v q
d) p v ~q
e) ~p ^ ~q
Exercícios
 Considere as proposições: p : Pedro é alto; q: Pedro é jogador de basquete. Escreva em forma
simbólica cada uma das seguintes proposições:
1. Pedro não é alto.
2. Pedro não é jogador de basquete.
3. Não é verdade que Pedro não é alto.
4. Não é verdade que Pedro é jogador de basquete.
5. Pedro é alto e jogador de basquete.
6. Pedro é alto ou jogador de basquete.
7. Pedro é alto e não é jogador de basquete.
8. Pedro não é alto e é jogador de basquete.
9. Pedro não é alto ou não é jogador de basquete.
10. Não é verdade que, Pedro é alto e jogador de basquete.
11. Não é verdade que, Pedro é alto ou jogador de basquete.
12. Não é verdade que, Pedro não é alto ou não é jogador de basquete.
13. Pedro não é alto, nem jogador de basquete
BIBLIOGRAFIA

 Souza, João Nunes; Lógica para Ciencia de Computação; Ed.


Campus; 2002.
 Mendelson, E.; Introduction to Mathematical Logic; 3 rd
edition-, Chapman &
 Hall; New York; 1987.
 Mortari, Cezar A.; Introdução à Lógica; Ed. Unesp; 2001.
 Monica, Eduardo.; Lógica Matematica; Textos Editores, Lda-
Angola; 2009.

Você também pode gostar