Professor

Me. Aquino Jr
[email protected]
2. Proposição Lógica
2.1. Definição
Chama-se proposição todo conjunto de
palavras ou símbolos que exprimem um
pensamento de sentido completo.
De outro modo, pode-se dizer que:
proposição é uma declaração afirmativa que
pode ter valor lógico verdadeiro (V) ou falso
(F).
2. Proposição Lógica
Assim, por exemplo, são proposições:
a) A terra gira em torno do sol.
b) Belém é a capital do Pará.
C) Raiz quadrada de 2 é igual a 1.
2.2. Proposições Simples
É aquela que não contem outra proposição
como parte integrante de si mesma.

Exemplos:
a) 10 > 6.
b) Três mais quatro é igual a sete.
c) Uma semana tem sete dias.
2.3. Proposição Composta
São aquelas formadas por duas ou mais
proposições relacionadas por meio de
operadores lógicos (conectivos).
Exemplos:
a) 2 é par e 3 < 2.
b) Você canta ou assovia.
As proposições compostas também costumam
serem chamadas fórmulas proposicionais ou
apenas fórmulas.
2.4. Princípio da Não Contradição
Uma proposição não pode ser verdadeira e
falsa ao mesmo tempo.
2.5. Princípio do Terceiro Excluído
Toda proposição ou é verdadeira ou é falsa,
isto é, verifica-se sempre um destes casos e
nunca um terceiro.
3. Fórmulas e Precedência
Uma fórmula é construída pela composição
de símbolos de sentenças simples (A, B,...) e
de conetivos lógicos binários (∧, ∨, → e ↔)
e unários (~).
Também podem ser usados parênteses.
3. Fórmulas e Precedência
A precedência usual é:
1. Fórmulas dentro de parênteses (os mais
internos primeiro)
2. ~ (a negação)
3. ∧ (conjunção)
4. ∨ (disjunção)
5. → (implicação material)
6. ↔ (bi-implicação ou equivalência lógica)
3. Fórmulas e Precedência
Exemplos:
Supondo que A, B e C são proposições lógicas.
Então as seguintes expressões são fórmulas
bem formadas (ou apenas fórmulas):
a) (A→B) ↔ (B→A)
b) (A ∨ ~A) → (B ∧ ~B)
c) ~((A ∧ ~B) → ~C)
d) (A→B) ↔ (~B → ~A)
4. Conectivos Lógicos
Definição: Chamam-se de conectivos os
símbolos lógicos usados para formar novas
proposições a partir de outras.
4. Conectivos Lógicos
Assim, por exemplo, nas seguintes
proposições compostas:
P: O número 6 é par e o número 8 é cubo perfeito.
Q: O triângulo ABC é retângulo ou é isósceles.
R: 2 mais 3 não é igual 6.
S: Se Jorge é engenheiro, então sabe Matemática.
T: O triângulo ABC é equilátero se, e somente se, é
equiângulo.
5. Operadores Lógicos e Tabelas Verdade
5.1. Tabela-verdade
Segundo o Princípio do terceiro excluído,
toda proposição simples p é verdadeira ou é
falsa, isto é, tem o valor lógico V (verdadeiro)
ou o valor lógico F (falso).
5. Operadores Lógicos e Tabelas Verdade
5.1. Tabela-verdade
Em se tratando de uma proposição simples, a
determinação do seu valor lógico, se faz com
base no seguinte princípio:
p
V
F
5. Operadores Lógicos e Tabelas Verdade
5.1. Tabela-verdade
A determinação do valor lógico de uma
proposição composta dada, recorre-se quase
sempre a um dispositivo denominado tabela-
verdade.
5. Operadores Lógicos e Tabelas Verdade
5.1. Tabela-verdade
A s s i m , p o r exe m p l o, n o c a s o d e u m a
proposição composta cujas proposições
simples componentes são p e q, as únicas
possíveis atribuições de valores lógicos a p e
q são mostradas a seguir.
5. Operadores Lógicos e Tabelas Verdade
5.1. Tabela-verdade

p q
V V
V F
F V
F F
5. Operadores Lógicos e Tabelas Verdade
5.1. Tabela-verdade
Através do exemplo seguinte, temos a
comparação entre a tabela verdade e a
tabela booleana. p q p q
V V 1 1
V F 1 0
F V 0 1
F F 0 0
5.2. Negação de uma Proposição
Definição: Chama-se negação de uma
proposição A, a proposição representada por
“não A”, cujo valor lógico é a verdade (V)
quando A é falsa, e a falsidade (F) quando A é
verdadeira.
Assim, “não A” tem o valor lógico oposto
daquele de A.
5.2. Negação de uma Proposição
O símbolo ~ , ¬ ou ‘ (apóstrofo) será usado
para representar a negação, isto é, se A é
verdadeiro então ~A ou A’ é falso e vice-versa.
Ou seja, ~A é a negação lógica de A.
A ~A
V F
F V
5.2. Negação de uma Proposição
Exemplos:
p: 2 + 3 = 5 (V)
~p: 2 + 3  5 (F)
Valor Lógico:
V(~p) = ~V(p) = ~V = F
5.3. Conjunção de Proposições
Definição: Chama-se conjunção de duas
proposições A e B, a proposição
representada por “A e B”, cujo valor lógico é
a verdade (V) quando as proposições A e B
são ambas verdadeiras, e a falsidade (F) nos
demais casos.
5.3. Conjunção de Proposições
Considere que o símbolo  será usado para
representar o conetivo “e”, em sentenças
como:
• gatos são mamíferos e canários são aves.
• 3 < 5 e 2+3=5.
Também pode representar preposições como
“mas”, “também” e similares.
5.3. Conjunção de Proposições
Diz-se que o símbolo  representa a
conjunção lógica das proposições A e B.
A B AB
V V V
V F F
F V F
F F F
5.3. Conjunção de Proposições
Exemplos:
1) p: A neve é branca (V)
q: 2 5 (V)
p  q: A neve é branca e 2 5 (V)
Valor Lógico:
V(p  q) = V(p)  V(q) = V  V = V
5.3. Conjunção de Proposições
Exemplos:
2) p: O enxofre é verde (F)
q: 7 é um número primo (V)
p  q: O enxofre é verde e 7 é um número
primo (F)
Valor Lógico:
V(p  q) = V(p)  V(q) = F  V = F
5.4. Disjunção de Proposições
Definição: Chama-se disjunção de duas
proposições A e B a proposição representada
por “A ou B”, cujo valor lógico é a verdade(V)
quando ao menos uma das proposições A e
B é verdadeira, e a falsidade (F) quando as
proposições A e B são ambas falsas.
5.4. Disjunção de Proposições
O símbolo ∨ será empregado para
representar um dos significados usuais do
conetivo “ou” em frases da linguagem
natural.
5.4. Disjunção de Proposições
O significado assumido por este símbolo é o
do “ou inclusivo” que somente será falso se
ambas as sentenças sendo conectadas por
ele forem falsas, isto é, A  B será falso
somente se ambos A e B forem falsos.
5.4. Disjunção de Proposições
D i z - s e q u e o s í m b o l o ∨ re p re s e nta a
disjunção lógica das proposições A e B.
A B A∨B
V V V
V F V
F V V
F F F
5.4. Conjunção de Proposições
Exemplos:
1) p: Paris é a capital da França (V)
q: 9  4 = 5 (V)
p  q: Paris é a capital da França ou 9  4 = 5
(V)
Valor Lógico:
V(p  q) = V(p)  V(q) = V  V = V
5.4. Conjunção de Proposições
Exemplos:
2) p: CAMÕES escreveu os Lusíadas (V)
q:  = 3 (F)
p  q: CAMÕES escreveu os Lusíadas ou  = 3
(V)
Valor Lógico:
V(p  q) = V(p)  V(q) = V  F = V
5.5. Disjunção Exclusiva ()
Na linguagem comum a palavra “ou” tem
dois sentidos.
Assim, por exemplo, consideremos as duas
seguintes proposições compostas:
p: Carlos é médico ou professor.
q: Mário é alagoano ou gaúcho.
5.5. Disjunção Exclusiva ()
p: Carlos é médico ou professor.
q: Mário é alagoano ou gaúcho.
Na proposição p está indicado que pelo
menos uma das proposições “Carlos é
médico”, “Carlos é professor” é verdadeira,
podendo ser ambas verdadeiras: “Carlos é
médico e professor”.
5.5. Disjunção Exclusiva ()
Mas, na proposição q está evidente que uma
e somente uma das proposições “Mário é
alagoano”, “Mário é gaúcho” é verdadeira,
pois, não é po s s í ve l o co r re r “ M á r i o é
alagoano e gaúcho”.
Na proposição p diz-se que “ou” é inclusivo,
enquanto que, na proposição q, diz-se que
“ou” é exclusivo.
5.5. Disjunção Exclusiva ()
Definição: Chama-se disjunção exclusiva de
d u a s p ro p o s i ç õ e s p e q a p ro p o s i ç ã o
representada simbolicamente por “p  q”,
que se lê: “ou p ou q” ou “p ou q, mas não
ambos”, cujo valor lógico é a verdade (V)
q u a n d o a p en a s u m a d a s p ro p o s i çõ e s
simples (p ou q) é verdadeira. No restante,
as proposições são falsas (F).
5.5. Disjunção Exclusiva ()
Logo, o valor lógico da disjunção exclusiva de
duas proposições é definido pela seguinte
tabela-verdade:
A B A∨B
V V F
V F V
F V V
F F F
5.6. Implicação
Definição: Chama-se proposição condicional
ou apenas condicional uma proposição
representada por “se A então B”, cujo valor
lógico é a falsidade (F) no caso em que A é
verdadeira e B é falsa, e a verdade (V) nos
demais casos.
5.6. Implicação
O símbolo → será usado para representar
sentenças como “se chover, então a rua
ficará molhada”, ou então “não estudar
implica em tirar notas baixas” ou também
“não fui ao cinema porque o carro estragou”
e sentenças similares.
5.6. Implicação
Geralmente estas sentenças podem ser
reescritas no formato “Se sentença A, então
sentença B” que simbolicamente fica apenas:
A → B.
A noção que este operador lógico pretende
capturar é a de existência de implicação ou
de consequência entre as sentenças.
5.6. Implicação
Dessa forma a sentença B não poderia ser
falsa se a sentença A fosse verdadeira, isto é,
voltando aos exemplos não faria sentido
afirmar “se chover, então a rua não ficará
molhada” se (A) realmente choveu então (B)
a rua não ficou molhada (!?).
5.6. Implicação
Isto s i g ni f i ca q u e , co n s i d e ra -s e q u e a
sentença simbolizada por A→B seria falsa
somente no caso em que A é verdadeiro e B
falso. Nos outros casos a expressão A→B
seria verdadeira.
5.6. Implicação
Logo, o valor lógico da implicação de uma
proposição para outra é definido pela
seguinte tabela-verdade:
A B A→B
V V V
V F F
F V V
F F V
5.6. Implicação
Exemplos
1) p: GALOIS morreu em duelo. (V)
q:  é um número real. (V)
p→q: Se GALOIS morreu em duelo, então  é
um número real (V)
Valor Lógico:
V(p→q) = V(p)→V(q) = V→V = V
5.6. Implicação
Exemplos
2) 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)
Valor Lógico:
V(p→q) = V(p)→V(q) = V→F = F
5.7. Bi-implicação ou Equivalência Lógica
Definição: Chama-se proposição
bicondicional ou apenas bicondicional uma
proposição representada por “A se, e
somente se, B”, cujo valor lógico é a verdade
(V) quando A e B são ambas verdadeiras ou
ambas falsas, e a falsidade (F) nos demais
casos.
5.7. Bi-implicação ou Equivalência Lógica
O conectivo lógico ↔ de bi-implicação ou de
equivalência lógica é, na verdade, uma
abreviação da seguinte fórmula:
(A→B) ∧ (B→A)
ou seja:
(A↔B) = (A→B) ∧ (B→A)
5.7. Bi-implicação ou Equivalência Lógica
Logo, o valor lógico da equivalência lógica
entre duas proposições é definido pela
seguinte tabela-verdade:
A B A↔B
V V V
V F F
F V F
F F V
5.7. Bi-implicação ou Equivalência Lógica
Exemplos:
1) p: Roma fica na Europa. (V)
q: a neve é branca. (V)
pq: Roma fica na Europa se, e somente se,
a neve é branca. (V)
Valor Lógico:
V(pq)=V(p)V(q)= VV=V
5.7. Bi-implicação ou Equivalência Lógica
Exemplos:
2) p: Lisboa é a capital de Portugal. (V)
q: tg 45° = 3. (F)
pq: Lisboa é a capital de Portugal se, e
somente se, 45° = 3. (F)
Valor Lógico:
V (pq) = V(p)V (q) = VF = F
 Resumo
Negação Conjunção Disjunção
A ~A A B AB A B A∨B
V F V V V V V V
F V V F F V F V
F V F F V V
F F F F F F

Disjunção Exclusiva Implicação Bi-implicação

A B A∨B A B A→B A B A↔B
V V F V V V V V V
V F V V F F V F F
F V V F V V F V F
F F F F F V F F V
Professor
Me. Aquino Jr
[email protected]