Lógica Matemática: Professor: Pedro Evaristo Disciplina: RLM

PROFESSOR: Pedro EVARISTO
DISCIPLINA: RLM
LÓGICA MATEMÁTICA
A lógica matemática (ou lógica simbólica), trata do estudo das sentenças declarativas
também conhecidas como proposições, as quais devem satisfazer aos dois princípios
fundamentais seguintes:
• PRINCÍPIO DO TERCEIRO EXCLUÍDO: uma proposição só pode ser verdadeira (V) ou falsa (F),
não havendo outra alternativa.
• PRINCÍPIO DA NÃO CONTRADIÇÃO: uma proposição não pode ser ao mesmo tempo
verdadeira (V) e falsa (F).
Diz-se então que uma proposição verdadeira possui valor lógico V (verdade) e uma
proposição falsa possui valor lógico F (falso). Os valores lógicos também costumam ser
representados por 0 (zero) para proposições falsas ( 0 ou F) e 1 (um) para proposições
verdadeiras ( 1 ou V ).
As proposições são geralmente, mas não obrigatoriamente, representadas por letras

maiúsculas.
De acordo com as considerações acima, expressões do tipo, "O dia está bonito!", “Que
horas são?”, “x é um número par” e “x + 2 = 7”, não são proposições lógicas, uma vez que não
poderemos associar a ela um valor lógico definido (verdadeiro ou falso).
Exemplificamos a seguir algumas proposições, onde escreveremos ao lado de cada

uma delas, o seu valor lógico V ou F. Poderia ser também 1 ou 0.
• A: "Fortaleza é a capital do Ceará” (V)

• B: “O Brasil é um país da Europa” (F)
• C: "3 + 5 = 2" (F)
• D: "7 + 5 = 12" (V)
• E: "O Sol é um planeta" (F)
• F: "Um pentágono é um polígono de dez lados" (F)
SENTENÇA ABERTA: Não pode ser atribuído um valor lógico
EX.:
“X é um número par” → Pode ser Verdadeiro (V) ou Falso (F), não se pode afirmar.
SENTENÇA FECHADA: Pode ser atribuído um valor lógico V ou F.
www.objetivoconcursos.com.br
AV. Francisco de Almeida Pinheiro, 2625, Planalto Universitário, Quixadá-CE
EX.:
“O professor Pedro Evaristo ensina Matemática” → Sentença Verdadeira (V)
“A soma 2 + 2 é igual a 5” → Sentença Falsa (F)
SÍMBOLOS UTILIZADOS NA LÓGICA (CONECTIVOS E QUALIFICADORES)
CONECTIVOS E QUALIFICADORES
 NÃO
 E
 OU
 OU ... OU
→ SE ... ENTÃO
 SE E SOMENTE SE
 TAL QUE
 IMPLICA
 EQUIVALENTE
 EXISTE
 NÃO EXISTE
 EXISTE UM E SOMENTE UM
 QUALQUER QUE SEJA
O MODIFICADOR NEGAÇÃO
“Dada a proposição p, indicaremos a sua negação por ~p ou p. (Lê-se "não p" ). LINK:
EXEMPLOS:
IMPORTANTE:
p: “2 pontos distintos determinam uma única reta” (V)
Afirmação e negação sempre
~p: “2 pontos distintos não determinam uma única reta” (F) possuem valores lógicos
contrários!
q: “João é magro”
• Se A é V, então ~A é F
~q: “João não é magro”
• Se A é F, então ~A é V
~q: “Não é verdade que João é magro”
A ~A
s: “Fernando é honesto”
V F
s: “Fernando não é honesto”
s: “Não é verdade que Fernando é honesto” F V
s: “Fernando é desonesto”
OBS.:
Duas negações equivalem a uma afirmação, ou seja, em termos simbólicos: ~(~p) = p.
p: “Diego dirige bem”
~p: “Diego não dirige bem”
~(~p): “Não é verdade que Diego não dirige bem”
ESTRUTURAS E OPERAÇÕES LÓGICAS
As proposições lógicas podem ser combinadas através dos operadores lógicos , , →

e , dando origem ao que conhecemos como proposições compostas. Assim, sendo p e q
duas proposições simples, poderemos então formar as seguintes proposições compostas: pq,
pq, p→q, pq.
Estas proposições compostas recebem designações particulares, conforme veremos a

seguir:
• CONJUNÇÃO:
p  q (lê-se "p e q" )
• DISJUNÇÃO NÃO EXCLUDENTE:

p  q (lê-se "p ou q")
• DISJUNÇÃO EXCLUDENTE:
p  q (lê-se "ou p, ou q")
• CONDICIONAL:
p → q (lê-se "se p então q")
• BI-CONDICIONAL:
p  q (lê-se "p se e somente se q")
Conhecendo-se os valores lógicos de duas proposições simples p e q, como

determinaremos os valores lógicos das proposições compostas acima? Isto é conseguido
através do uso da tabela a seguir, também conhecida pelo sugestivo nome de TABELA
VERDADE.
TABELA VERDADE
A tabela verdade mostra o valor lógico de proposições compostas, com base em todas as
possíveis combinações dos valores lógicos para as proposições simples que a formam. Ou seja,
devemos julgar a veracidade (ou não) da proposição composta, mediante todas combinações
de V e F das proposições simples envolvidas.
O número de linhas da tabela verdade depende do número de proposições, como cada
proposição simples pode assumir duas possíveis valorações (V ou F), temos então:
LINK:
FÓRMULA
no de linhas da tabela = 2(nº de proposições simples)
LINK:
CONJUNÇÃO (E)
A  B (lê-se “Premissa A e premissa B”)
A conjunção só será verdadeira em apenas um caso, se a premissa A for verdadeira e a

premissa B também for verdadeira, ou seja, caso uma delas seja falsa a conjunção toda torna-
se falsa.
EXEMPLO:
Analise a afirmação: “Pedro vai à Argentina e à Bolívia”.
A: “Pedro vai à Argentina”
B: “Pedro vai à Bolívia”
TABELA VERDADE
A B AB
V V V
V F F
F V F
F F F
CONCLUSÕES:
• Só existe uma possibilidade de essa proposição composta ser verdadeira, que é no caso
de Pedro realmente ir aos dois países.
Observe que a afirmação é falsa, se pelo menos uma das premissas forem falsas.
LINK:
A  B
“Premissa A e premissa B”
DISJUNÇÃO NÃO-EXCLUDENTE (OU)
A  B (lê-se “Premissa A ou premissa B”)
PREMISSAS NÃO EXCLUDENTES: são aquelas que podem ocorrer simultaneamente. Portanto,
nesse caso o “ou” significa dizer que pelo menos uma das premissas deverá ser verdadeira.
Nesse caso o “ou” significa que pelo menos uma das premissas é verdadeira.
EXEMPLO:
Analise a afirmação: “Pedro vai à Argentina ou à Bolívia”.
TABELA VERDADE
A B AB
V V V
V F V
F V V
F F F
CONCLUSÕES:
• Sabendo que Pedro foi à Argentina, nada se pode concluir, pois ele pode ter ido ou não
à Bolívia.
• Sabendo que ele não foi à Argentina, conclui-se certamente que ele foi à Bolívia.
• Sabendo que ele foi à Bolívia, nada se pode concluir, pois ele pode ter ido ou não à
Argentina.
• Sabendo que ele não foi à Bolívia, conclui-se que certamente que ele foi à Argentina.
Observe que, nesse caso, o “ou” significa que Pedro vai a “pelo menos” um desses lugares
(nada impede que ele vá aos dois países).
LINK:
A v B
“Premissa A ou premissa B”
DISJUNÇÃO EXCLUDENTE (OU...OU)
A  B (lê-se “Ou premissa A, ou premissa B”)
Quando estamos trabalhando com disjunções, devemos analisar inicialmente se as premissas

são excludentes ou não excludentes.
• PREMISSAS EXCLUDENTES: são aquelas que não podem ocorrer simultaneamente.

Portanto, nesse caso o “ou” significa dizer que exatamente uma das premissas deverá ser
verdadeira. Caso seja usado “ou...ou”, devemos entender que se trata de disjunção
excludente.
EXEMPLO:
Analise a afirmação: “Ou Pedro vai à Argentina, ou vai à Bolívia”.
TABELA VERDADE
A B AB
V V F
V F V
F V V
F F F
CONCLUSÕES:
• Sabendo que Pedro foi à Argentina, conclui-se que ele não foi à Bolívia.
• Sabendo que ele não foi à Argentina, conclui-se que certamente foi à Bolívia.
• Sabendo que ele foi à Bolívia, conclui-se que ele não foi à Argentina.
• Sabendo que ele não foi à Bolívia, conclui-se que certamente foi à Argentina.
Observe que na tabela verdade é falso (F) o caso de A e B serem verdade ao mesmo tempo,
pois fica claro que ninguém pode nascer em dois lugares ao mesmo tempo. Então, a afirmação
só será verdadeira, se exatamente um das duas premissas for verdadeira.
LINK:
A v B
“Ou premissa A, ou premissa B”
(Premissas excludentes)
CONDICIONAL (SE ... ENTÃO)
A → B (lê-se “Se premissa A, então premissa B”)
Essa condição deixa clara que se a premissa A for verdadeira, então a premissa B será
necessariamente verdadeira também, mas a recíproca não é válida, ou seja, mesmo que A seja
falsa nada impede que B seja verdadeira.
EXEMPLO:
Analise a afirmação: “Se Pedro receber dinheiro na sexta-feira então irá à praia no fim de
semana”.
A:”Pedro recebe dinheiro na sexta-feira”
B:”Pedro vai à praia no fim de semana”
TABELA VERDADE
A B A→B
V V V
V F F
F V V
F F V
CONCLUSÕES:
• Sabendo que Pedro recebeu dinheiro, conclui-se que necessariamente ele foi à praia.
• Sabendo que Pedro não recebeu dinheiro, então ele pode ter ido ou não à praia.
• Sabendo que Pedro foi à praia, então ele pode ter recebido ou não o dinheiro.
• Sabendo que Pedro não foi à praia, conclui-se que ele necessariamente não recebeu o
dinheiro.
Observe que a afirmação só será falsa, se Pedro receber o dinheiro e mesmo assim não for à
praia.
LINK: A → B
“Se premissa A, então premissa B”
Do quadro acima podemos concluir que A →

B é equivalente a
~B → ~A
“Se não for verdadeira a premissa B, então
www.objetivoconcursos.com.br não será verdadeira a premissa A”
BI-CONDICIONAL (SE E SOMENTE SE)
A  B (lê-se “Premissa A, se e somente se a premissa B”)
Nessas condições, fica claro que a premissa A só será verdadeira no caso da premissa B
também ser. Fica ainda implícito que a recíproca é válida, ou seja, a premissa B também só
será verdadeira no caso da premissa A também ser.
EXEMPLO:
Analise a afirmação: “Pedro irá à praia no fim de semana, se e somente se ele receber dinheiro
na sexta-feira”.
A:”Pedro recebe dinheiro na sexta-feira”
B:”Pedro vai à praia no fim de semana”
TABELA VERDADE
A B AB
V V V
V F F
F V F
F F V
CONCLUSÕES:
• Sabendo que Pedro recebeu dinheiro, conclui-se que certamente foi à praia.
• Sabendo que Pedro não recebeu dinheiro, conclui-se que ele não foi à praia.
• Sabendo que Pedro foi à praia, conclui-se que é porque ele recebeu o dinheiro.
• Sabendo que Pedro não foi à praia, conclui-se que certamente ele não recebeu o
dinheiro.
Observe que a afirmação só será verdadeira, se as duas premissas tiverem o mesmo valor
lógico.
LINK:
A  B
“Premissa A, se e somente se Premissa B”
Do quadro acima podemos concluir que A  B é

equivalente a
~A  ~B
“Premissa ~A, se e somente se Premissa ~B”
OBS.:
• A é condição necessária e suficiente para que B ocorra

• B é condição necessária e suficiente para que A ocorra
TABELA VERDADE
Podemos resumir em uma única tabela verdade todos os conectivos vistos. Dadas as proposições simples
A e B, cujos valores lógicos representaremos por (F) quando falsa e (V) quando verdadeira, temos a tabela
simplificada:
TABELA VERDADE
A B AB AB AB A→B AB
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
Da tabela acima, infere-se (deduz-se) que:
• a conjunção é verdadeira somente quando ambas as proposições são verdadeiras.
• a disjunção é falsa somente quando ambas as proposições são falsas.
• a condicional é falsa somente quando a primeira proposição é verdadeira e a segunda
falsa.
• a bi-condicional é verdadeira somente quando as proposições possuem valores lógicos
iguais.
LINK:
EQUIVALÊNCIAS NEGAÇÕES
A  B = (A  B) v (~A  ~B) ~(A  B) = ~A v ~B
A  B = (A → B)  (B → A) ~(A v B) = ~A  ~B
AB=BA ~(A v B) = (A  B) v (~A  ~B)
A → B = ~B → ~A ~(A v B) = A  B
A → B = ~(A  ~B) = ~A v B ~(A  B) = A v B

A = ~(~A) ~(A → B) = A  ~B
EXERCÍCIOS
(TEXTO) As afirmações a seguir estão associadas a conceitos básicos do raciocínio lógico ou da

Teoria dos Conjuntos. Julgue-as como certo ou errado.
01. O valor lógico de uma conjunção de duas proposições é verdade somente quando ambas as
proposições são verdadeiras.
( ) CERTO ( ) ERRADO
02. O valor lógico de uma disjunção inclusiva de duas proposições é verdade quando pelo menos
uma das proposições é verdadeira.
03. A reunião de conjuntos está associada à disjunção inclusiva, ao passo que a interseção de
conjuntos está relacionada à conjunção.
04. Em uma afirmação condicional cujo valor lógico é verdade, a antecedente e a consequente
sempre são verdadeiras.
05. Em um condicional, se a antecedente e a consequente são verdadeiras, então esse
condicional será obrigatoriamente verdadeiro.
(AOCP) Considerando os conhecimentos em Raciocínio Lógico, julgue, como Certo (C) ou
Errado (E), os itens a seguir.
06. Se J não é maior que K, então J é menor que K.
07. Se “Todo X é Y”, então “Todo Y é X”.
08. Se uma proposição P implica numa proposição Q, então a proposição Q implica na
proposição P.
09. Se o valor lógico de uma proposição P é falso e o valor lógico de uma proposição Q é
verdadeiro, então o valor lógico da disjunção entre P e Q é verdadeiro.
(AOCP) Julgue as afirmações a seguir.
10. A proposição "3 é par e 5 é primo" é verdadeira.
11. A proposição "3 é par ou 5 é primo" é verdadeira.
12. A proposição "ou 3 é par, ou 5 é primo" é verdadeira.
13. A proposição "Se 3 é par, então 5 é primo" é verdadeira.
14. A proposição "3 é par, se e somente se 5 é primo" é verdadeira.
(CESPE) Considere que as letras A, B, P e Q representem proposições e que os símbolos ¬, , 

e → sejam operadores lógicos que constroem novas proposições e significam não, e, ou e
então, respectivamente. Na lógica proposicional, cada proposição assume um único valor
(valor-verdade), que pode ser verdadeiro (V) ou falso (F), mas nunca ambos. Com base nas
informações apresentadas no texto, julgue os itens a seguir.
15. A negação da negação ¬(¬B): "Não é verdade que Francisglaucia não é bonita" equivale a
dizer que B: "Francisglaucia é bonita", apesar do nome.
16. A proposição ¬(AB) é equivalente à proposição ¬A¬B.

17. Se a proposição “Daniel é diretor e Pedro é prefeito” é falsa, então a proposição “Daniel não
é diretor ou Pedro não é prefeito” será verdadeira.
18. A negação da conjunção A: "Felipe é policial e Larissa é advogada" pode ser dada pela
disjunção B: "Felipe não é policial ou Larissa não é advogada".
19. A negação da proposição (AB) é equivalente à proposição ¬A¬B.

20. Se P é a proposição “O soldado fará a ronda ou o sargento coordenará a ação”, então a
proposição ¬P estará corretamente escrita como: “Nem o soldado fará a ronda, nem o sargento
coordenará a ação”.
21. Se a proposição A: "Solgenistocleides mora no Tabapuá ou sua irmã Eminiglauce mora no
Genipabú" for considerada falsa (F), então a proposição B: "Solgenistocleides não mora no
Tabapuá e sua irmã Eminiglauce não mora no Genipabú" terá que ser necessariamente
verdadeira (V).
22. A negação da proposição A→B pode ser dada por A¬B.

23. A negação da proposição “Se João está armado, então será preso” é equivalente a “João
está armado, mas não será preso”.
24. As proposições A → B e ¬B → ¬A têm a mesma tabela verdade.

25. A contrapositiva de “Se João está armado, então será preso” é “Se João não está armado,
não será preso”.
26. No condicional “Se João está armado, então será preso”, podemos dizer que João está
armado é uma condição suficiente para que ele seja preso.

Lógica Matemática: Professor: Pedro Evaristo Disciplina: RLM

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Lógica Matemática: Professor: Pedro Evaristo Disciplina: RLM

Enviado por

Direitos autorais:

Formatos disponíveis

PROFESSOR: Pedro EVARISTO

As proposições são geralmente, mas não obrigatoriamente, representadas por letras

Exemplificamos a seguir algumas proposições, onde escreveremos ao lado de cada

• A: "Fortaleza é a capital do Ceará” (V)

SENTENÇA ABERTA: Não pode ser atribuído um valor lógico

SENTENÇA FECHADA: Pode ser atribuído um valor lógico V ou F.

“O professor Pedro Evaristo ensina Matemática” → Sentença Verdadeira (V)

“A soma 2 + 2 é igual a 5” → Sentença Falsa (F)

SÍMBOLOS UTILIZADOS NA LÓGICA (CONECTIVOS E QUALIFICADORES)

s: “Não é verdade que Fernando é honesto” F V

s: “Fernando é desonesto”

Duas negações equivalem a uma afirmação, ou seja, em termos simbólicos: ~(~p) = p.

p: “Diego dirige bem”

~p: “Diego não dirige bem”

~(~p): “Não é verdade que Diego não dirige bem”

As proposições lógicas podem ser combinadas através dos operadores lógicos , , →

Estas proposições compostas recebem designações particulares, conforme veremos a

• DISJUNÇÃO NÃO EXCLUDENTE:

Conhecendo-se os valores lógicos de duas proposições simples p e q, como

no de linhas da tabela = 2(nº de proposições simples)

A  B (lê-se “Premissa A e premissa B”)

A conjunção só será verdadeira em apenas um caso, se a premissa A for verdadeira e a

DISJUNÇÃO NÃO-EXCLUDENTE (OU)

A  B (lê-se “Premissa A ou premissa B”)

DISJUNÇÃO EXCLUDENTE (OU...OU)

A  B (lê-se “Ou premissa A, ou premissa B”)

Quando estamos trabalhando com disjunções, devemos analisar inicialmente se as premissas

• PREMISSAS EXCLUDENTES: são aquelas que não podem ocorrer simultaneamente.

Analise a afirmação: “Ou Pedro vai à Argentina, ou vai à Bolívia”.

A: “Pedro vai à Argentina”

B: “Pedro vai à Bolívia”

A → B (lê-se “Se premissa A, então premissa B”)

Do quadro acima podemos concluir que A →

A  B (lê-se “Premissa A, se e somente se a premissa B”)

A:”Pedro recebe dinheiro na sexta-feira”

B:”Pedro vai à praia no fim de semana”

Do quadro acima podemos concluir que A  B é

• A é condição necessária e suficiente para que B ocorra

A B AB AB AB A→B AB

Da tabela acima, infere-se (deduz-se) que:

• a conjunção é verdadeira somente quando ambas as proposições são verdadeiras.

AB=BA ~(A v B) = (A  B) v (~A  ~B)

A → B = ~(A  ~B) = ~A v B ~(A  B) = A v B

(TEXTO) As afirmações a seguir estão associadas a conceitos básicos do raciocínio lógico ou da

(CESPE) Considere que as letras A, B, P e Q representem proposições e que os símbolos ¬, , 

16. A proposição ¬(AB) é equivalente à proposição ¬A¬B.

19. A negação da proposição (AB) é equivalente à proposição ¬A¬B.

22. A negação da proposição A→B pode ser dada por A¬B.

24. As proposições A → B e ¬B → ¬A têm a mesma tabela verdade.

Você também pode gostar