Noções de Lógica

Noções de Lógica
Prof. Dr. Samuel Canevari
Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 1 / 43

Linguagem matemática
A linguagem matemática é composta por símbolos que denotam relações,

operações, constantes e variáveis, além do modificador lógico


¬ (”não”)


¬ (”não”)
dos conectivos lógicos
∧ (”e”)
∨ (”ou”)
⇒ (”implica”)
⇔ (”se e somete se”)


¬ (”não”)
dos conectivos lógicos
∧ (”e”)
∨ (”ou”)
⇒ (”implica”)
⇔ (”se e somete se”)
e dos quantificadores
∃ (”existe”)
∀ (”para todo”)

Quando relacionamos variáveis, constantes e (repetidas) operações

envolvendo constantes e variáveis, produzimos as mais simples sentença
matemáticas.

Quando relacionamos variáveis, constantes e (repetidas) operações

envolvendo constantes e variáveis, produzimos as mais simples sentença
matemáticas.
Exemplos
x ∈A
0<1
y = −1
z 2 + 3z + 2 = 0

O modificador lógico, os conectivos lógicos e os quantificadores são usados

para produzir novas sentença matemáticas a partir das já existentes.

O modificador lógico, os conectivos lógicos e os quantificadores são usados

para produzir novas sentença matemáticas a partir das já existentes.
Exemplos
x∈
/ A.
0 < 1 ou 0 ≥ 1.
se |y | ≤ 1, então y ≥ −1 e y ≤ 1.
z 2 + 3z + 2 = 0 se, e somemte se, z = 1 ou z = 2.
para todo real x , existe um natural n, tal que n > x .
existe um natural n tal que, para todo real x , tem-se n > x .

Proposições
Definição
Uma proposição é uma sentença declarativa que é verdadeira ou falsa,
mas não simultaneamente ambas.
Valor verdade: verdadeiro, falso.

Proposições
Definição
“Hoje é dia de aula.”

Proposições
Definição
“Hoje é dia de aula.” – é proposição, pois é verdadeira

Proposições
Definição

“Hoje é feriado.”

Proposições
Definição

“Hoje é feriado.” – é proposição, pois é falsa

Proposições
Definição

“Hoje está quente.”

Proposições
Definição

“Hoje está quente.” – não é proposição!
Quente para quem? É subjetivo!
Não podemos dizer que ela é verdadeira nem falsa.

Proposições – exemplos
As seguintes frases são exemplos de proposições:

“2 + 5 = 7”
“A função f (x ) = −x é uma função crescente.”
“22 59 875 + 34 576 é primo.”
√
“ 17 é irracional.”

Proposições – não são exemplos
Nenhuma das seguintes frases é proposição:



subjetivo, não posso atribuir um único valor verdade


“Como você está?”


“Vamos dançar!”


não são declarações




“Esta afirmação é falsa.”


“Esta afirmação é falsa.”
não pode ser verdade nem falso, pois se contradiz (paradoxo)

proposições abertas
Definição
Proposição aberta: proposição que depende de algo que pode mudar, ou
seja, depende de uma variável.
Notação: p(x ), q(x ), p(x , y ), . . .
Exemplos
p(x ) = “x é par e x é número primo”

Definição
Notação: p(x ), q(x ), p(x , y ), . . .
Exemplos
será verdade apenas se x = 2

Definição
Notação: p(x ), q(x ), p(x , y ), . . .
Exemplos
q(x , y ) = “x ,y são números reais e x · y = 0”

Definição
Notação: p(x ), q(x ), p(x , y ), . . .
Exemplos
será verdade apenas quando um dos números for nulo, ou ambos

Definição
Notação: p(x ), q(x ), p(x , y ), . . .
Exemplos
será verdade apenas quando um dos números for nulo, ou ambos
Valor verdade de proposição aberta depende da(s) sua(s) variável(eis).

Ex.: p(x ) = “x é par e x primo”; p(2) é verdadeiro, p(3) é falso.

Universo do discurso
Em uma proposição aberta, é importante identificar o contexto no qual as

variáveis estão definidas.


Definição
Universo do discurso ou domínio do discurso: coleção de objetos para
qual vale uma determinada proposição.


Definição
Exemplos
universo do discurso:


Definição
Exemplos
universo do discurso: pares de números reais (explícito)


Definição
Exemplos
universo do discurso:


Definição
Exemplos
universo do discurso: números naturais (implícito)

Conjunto verdade
Dada uma proposição aberta p(x ) definimos. . .
Definição
Conjunto verdade: conjunto de todos os valores de x tal que p(x ) é
verdadeira. verdadeira.
Exemplos
Conjunto verdade de “x é par e x é número primo” é:

Conjunto verdade
Definição
Exemplos
{2}
Conjunto verdade de “x é primo e 3 < x < 14” é:

Conjunto verdade
Definição
Exemplos
{2}
{5, 7, 11, 13}
Conjunto verdade de “x é real e x 2 + 1 = 5” é:

Conjunto verdade
Definição
Exemplos
{2}
{5, 7, 11, 13}
Conjunto verdade de “x é real e x 2 + 1 = 5” é:
{−2, 2}

Quantificadores
Através de proposições abertas podemos fazer afirmações sobre todos os

elementos de um conjunto usando os quantificadores:
∀, lido como “para todo”, ou “qualquer que seja”

Quantificadores

∃, lido como “existe”, “existe algum” ou
“existe pelo menos um”

Quantificadores

∀ é chamado quantificador universal

∃ é chamado quantificador existencial

Quantificadores

∀ é chamado quantificador universal

∃ é chamado quantificador existencial
Proposição universal: diz respeito a todos os objetos do universo do
discurso.
Proposição particular: aquela que não é universal.

Quantificadores, proposições universais e particulares
Universo do discurso: números naturais (N).

“Todos os números naturais são ímpares”
equivale a:


equivale a: ∀n ∈ N, n é ímpar


universal ou particular?


proposição universal
“O número 2 é par.” é


“O número 2 é par.” é universal ou particular?


“O número 2 é par.” é proposição particular


“Nenhum número natural é primo.”
equivale a:


equivale a: ∀n ∈ N, n não é primo






“Há números naturais pares.”
equivale a:


equivale a: ∃n ∈ N, n é par


equivale a: ∃n ∈ N, n é par (proposição particular)


“Ao menos dois números naturais são pares.”
equivale a:


equivale a: ∃n ∈ N e m ∈ N, n e m são pares


equivale a: ∃n ∈ N e m ∈ N, n e m são pares e n 6= m


equivale a: ∃n ∈ N e m ∈ N, n e m são pares e n 6= m
(proposição particular)

(continuando os exemplos)
“O número natural 0 é menor ou igual do que qualquer outro número
natural.”

natural.”
proposição particular

natural.”
“Todo número natural é maior ou igual do que o número natural 0.”

natural.”

natural.”

natural.”
“n < n + 1 ∀n ∈ N” é

natural.”
“n < n + 1 ∀n ∈ N” é proposição universal

natural.”
“∃n ∈ N, n2 = n” é

natural.”
“∃n ∈ N, n2 = n” é proposição particular

natural.”
“Nem todo número natural é maior ou igual a 0.”
é proposição

natural.”
é proposição particular

natural.”
é proposição particular pois equivale a
“Existe algum número natural que não é maior ou igual a 0.”

natural.”
“Não existe número natural negativo.” é proposição

natural.”
“Não existe número natural negativo.” é proposição universal pois
equivale a “Todo número natural não é negativo.”

natural.”
“Não existe número natural negativo.” é proposição universal pois
equivale a “Todo número natural não é negativo.”
Veremos negação de proposições com quantificadores mais à frente.
Exemplos e contra-exemplos
Considere uma proposição universal como
p = “∀x ∈ U, p(x ) é verdade.”
ou uma proposição particular como
q = “∃x ∈ U, p(x ) é verdade.”
Definição
Exemplo para p e q: elemento do universo U tal que p(x ) é
verdadeiro.
Contra-exemplo para p: elemento do universo U tal que p(x ) é
falso.

Considere as proposições abaixo:

“Para todo n ∈ N par, (n + 1)2 é ímpar.”
Exemplos:


Exemplos: 2, 4, 6
(todo número par é um exemplo? sim ou não? pense em casa)


Exemplos: 2, 4, 6
O número 3 é exemplo ou contra-exemplo?


Exemplos: 2, 4, 6
Nenhum dos dois, pois 3 está fora do universo do discurso.


Exemplos: 2, 4, 6
Existe contra-exemplo? Pense em casa.


Exemplos: 2, 4, 6
“Para todo m ∈ N, m2 − m + 41 é primo.”
Exemplos: 1,


Exemplos: 2, 4, 6
Exemplos: 1, 2,


Exemplos: 2, 4, 6
Exemplos: 1, 2, 3, . . . , 40


Exemplos: 2, 4, 6
Exemplos: 1, 2, 3, . . . , 40
Há contra-exemplo?


Exemplos: 2, 4, 6
Exemplos: 1, 2, 3, . . . , 40
Há contra-exemplo? Sim, o número 41.
412 − 41 + 41 = 412 , um número composto.


“Existe x ∈ N tal que x 2 − x + 41 é primo.”
Exemplo:


Exemplo:1,


Exemplo:1, 2,


Exemplo:1, 2, 3, . . . , 40


Exemplo:1, 2, 3, . . . , 40
Contra-exemplo: Não é possível.


Exemplo:1, 2, 3, . . . , 40


Exemplo:1, 2, 3, . . . , 40


Exemplo:1, 2, 3, . . . , 40
“Todo número natural é ímpar.”
Exemplo: 5
Contra-exemplo: 2


Exemplo:1, 2, 3, . . . , 40
Exemplo: 5
Contra-exemplo: 2


Exemplo:1, 2, 3, . . . , 40
Exemplo: 5
Contra-exemplo: 2


Exemplo:1, 2, 3, . . . , 40
Exemplo: 5
Contra-exemplo: 2
(equivale a: “Todo número natural não é primo.”)
Exemplo: 4
Contra-exemplo: 2


“O quadrado de todo número natural é maior do que 4.”
Exemplo:
Contra-exemplo:


Exemplo: 8
Contra-exemplo:


Exemplo: 8
Contra-exemplo: 1


Exemplo: 8
Contra-exemplo: 1
”Existe x ∈ R, tal que loge x = 1”
Exemplo:
Contra-exemplo:


Exemplo: 8
Contra-exemplo: 1
Exemplo: e
Contra-exemplo:


Exemplo: 8
Contra-exemplo: 1
Exemplo: e
Contra-exemplo: Não é possível


Exemplo: 8
Contra-exemplo: 1
Exemplo: e
”Existe x ∈ R, tal que x 2 + 1 = 0”
Exemplo:
Contra-exemplo:


Exemplo: 8
Contra-exemplo: 1
Exemplo: e
Exemplo: Não existe.
Contra-exemplo:


Exemplo: 8
Contra-exemplo: 1
Exemplo: e
Exemplo: Não existe.

Comportamento do valor verdade
“para todo” ∀ “existe” ∃

existem exemplos inconclusivo verdadeira
nao existem exemplos — falsa
existem contraexemplos falsa inconclusivo
nao existem contraexemplos verdadeira —

Exercício 1
Determine o valor verdade para cada uma das seguintes proposições. Caso
a proposição seja verdadeira, determine o conjunto verdade:
1 Existe x ∈ R tal que x 2 = 2.

Exercício 1
2 Não existe número racional x tal que x 2 = 2.

Exercício 1
3 Seja A = {1, 2, 3, 4}. Existe x ∈ A, tal que x + 4 = 9.

Exercício 1
4 Seja A = {1, 2, 3, 4}. Para todo x ∈ A, x + 3 < 9.

Exercício 1
Exercício 2
Dê exemplos ou contraexemplos, se existirem, para as seguintes
afirmações:

Exercício 1
Exercício 2
afirmações:
1 Para todo x ∈ R, x + 1 > 2.

Exercício 1
Exercício 2
afirmações:
1 Para todo x ∈ R, x + 1 > 2.
2 Todas as letras da palavra ”banana” são vogais.

Exercício 1
Exercício 2
afirmações:
1 Para todo x ∈ R, x + 1 > 2.
3 Para todo x ∈ R, x 2 < x .

Exercício 1
Exercício 2
afirmações:
1 Para todo x ∈ R, x + 1 > 2.
3 Para todo x ∈ R, x 2 < x .
4 Para todo y ∈ N, y 3 > 1.

Alterando e juntando proposições
Dadas duas proposições p, q:

disjunção (ou) de p e q: proposição “p ∨ q”


A proposição “p ∨ q” é verdadeira quando pelo menos uma das
proposições p ou q forem verdadeiras.


Caso contrário, “p ∨ q” é falsa.


conjunção (e) de p e q: proposição “p ∧ q”


A proposição “p ∧ q” é verdadeira quando ambas p e q forem
verdadeiras.


verdadeiras.
Caso contrário, “p ∧ q” é falsa.


verdadeiras.
negação de p: proposição “¬ p”


verdadeiras.
negação de p: proposição “¬ p”
A proposição “¬ p” é verdadeira quando p é falsa, e vice-versa.

Exercícios
Exercício 3
Atribua um valor verdade à cada uma das seguintes proposições:
1 5 é um número primo e 4 é um número ímpar.

Exercícios
Exercício 3
2 5 é um número primo ou 4 é um número ímpar.

Exercícios
Exercício 3
3 Não é verdade que 5 é um número primo.

Exercícios
Exercício 3
Exercício 4
Faça a tabela verdade das seguintes proposições:

Exercícios
Exercício 3
Exercício 4
1 p ∨ ¬p

Exercícios
Exercício 3
Exercício 4
1 p ∨ ¬p
2 p ∧ ¬p

Negação da Disjunção e da Conjunção
“não (p e q)” = “(não p)

“não (p e q)” = “(não p) ou (não q)”


“não (p ou q)” = “(não p)


“não (p ou q)” = “(não p) e (não q)”


“não (p ou q)” = “(não p) e (não q)”
Cuidado ao se “distribuir” a negação:
“e” torna-se “ou”
“ou” torna-se “e”

Negação da proposição “x é divisível por 2 e 3” é


“x não é divisível por 2 ou x não é divisível por 3”


Negação da proposição “x é divisível por 2 ou 3” é


“x não é divisível por 2 e x não é divisível por 3”


Negação da proposição “b é soma de quadrados ou b é primo” é


Negação da proposição “b é soma de quadrados ou b é primo” é “b
não é soma de quadrados e b não é primo”


Negação da proposição “x > 2 ou x ≤ −1” é


“x ≤ 2 e x > −1”


“x ≤ 2 e x > −1”, ou seja, “−1 < x ≤ 2”

Negação do quantificador
Considere a proposição aberta p(x ).

negação de “∀x ∈ U, p(x )” é


negação de “∀x ∈ U, p(x )” é “∃x ∈ U, não p(x )”


negação de “∃x ∈ U, p(x )” é


negação de “∃x ∈ U, p(x )” é “∀x ∈ U, não p(x )”


negação de “∃x ∈ U, p(x )” é “∀x ∈ U, não p(x )”
Escreva as afirmações abaixo na forma simbólica e diga quais são suas

negações:
Todo número natural pode ser decomposto como produto de primos.
Existe inteiro n tal que n + 3 = 4

Exemplo
Exemplo 1
Considere a afirmação "7 é primo e 9 é par ou 11 não é menor a 3".
Descida se a afirmação é verdadeira ou falsa.
Vamos representar cada proposição por uma letra:

p : "7 é primo";
q : "9 é par";
r : "11 é menor que 3"

Exemplo - continuação
Com isso, a afirmação do exemplo pode ser representada por
(p ∧ q) ∨ ¬r . (1)

(p ∧ q) ∨ ¬r . (1)
Vamos fazer a tabela verdade para a proposição composta (1):

(p ∧ q) ∨ ¬r . (1)
Vamos fazer a tabela verdade para a proposição composta (1):

Considerando que, para cada proposição, temos duas possibilidades para o
valor verdade. Como temos 3 proposições, segue que existem 23 = 8
possíveis combinações de valores verdades.

p q r p∧q ¬r (p ∧ q) ∨ ¬r
V V V V F V
F V V F F F
V F V F F F
V V F V V V
F F V F F F
F V F F V V
V F F F V V
F F F F V V

p q r p∧q ¬r (p ∧ q) ∨ ¬r
V V V V F V
F V V F F F
V F V F F F
V V F V V V
F F V F F F
F V F F V V
V F F F V V
F F F F V V
Temos que V (p) = V , V (p) = F e V (r ) = F . Olhando para a tabela

acima, concluimos que V (p ∧ q) ∨ ¬r ) = V .

Implicação
Definição
Dadas duas proposições p, q podemos construir a proposição “p ⇒ q”,
que pode ser lida como:
“se p, então q”
“p implica q”
A implicação “p ⇒ q” é falsa somente quando p é verdadeira e q é falsa.
Ela é verdadeira em todos os outros casos.
Numa implicação p ⇒ q:
p é chamada de hipótese ou premissa
q é chamada de tese, conclusão ou consequente.

Implicação
Definição
Dadas duas proposições p, q podemos construir a proposição “p ⇒ q”,
“se p, então q”
“p implica q”
A implicação “p ⇒ q” é falsa somente quando p é verdadeira e q é falsa.
Ela é verdadeira em todos os outros casos.
Numa implicação p ⇒ q:
p é chamada de hipótese ou premissa
q é chamada de tese, conclusão ou consequente.
Definição
Uma proposição p é dita condição suficiente para uma proposição q, se
p implica q. Uma proposição p é uma condição necessária para uma
proposição q, se q implica p.
Tabela verdade da implicação
Lá em casa, meu quintal é descoberto. Considere a proposição:

“Se chove lá em casa, então o quintal estará molhado.”
É a implicação p ⇒ q onde
p = “chove em casa”
q = “quintal está molhado.”
(considere que ambas estão bem definidas e não há ambiguidade)
p q p⇒q
V V V


p q p⇒q
V V V
V F


p q p⇒q
V V V
V F F (não é possível chover sem molhar)
F V


p q p⇒q
V V V
F V V (eu mesmo posso molhar o quintal)
F F


p q p⇒q
V V V
F F V (quando não chove quintal fica seco,
a menos que eu o molhe)


p q p⇒q
V V V
F F V (quando não chove quintal fica seco,
a menos que eu o molhe)
Note que “p ⇒ q” equivale a “(não p) ou q”, isto é, possuem a mesma

tabela verdade.
Implicação – exemplos
Qual o valor verdade das implicações abaixo?

Se 2 é par, então 3 é ímpar.


Se 2 é par, então 3 é ímpar. verdadeiro


Se 2 é par, então 4 é ímpar.


Se 2 é par, então 4 é ímpar. falso


Se 2 é ímpar, então 3 é par.


Se 2 é ímpar, então 3 é par. verdadeiro


Se minha mãe é um trator, então eu sou uma motosserra.


verdadeiro


verdadeiro
Se 3 é par, então um triângulo equilátero têm todos os ângulos iguais.


verdadeiro
verdadeiro


verdadeiro
verdadeiro
Cuidado com a implicação! Na matemática a implicação p ⇒ q não
estabelece nenhuma relação causa-efeito entre a hipotese e a tese.
Somente estabelece uma relação entre o valor lógico da implicação e os
valores lógicos da premissa e da conclusão.

Recíproca, contrapositiva e inversa
Dada uma implicação p ⇒ q
q ⇒ p é a recíproca da implicação original
não q ⇒ não p é a contrapositiva da original
não p ⇒ não q é a inversa da original
Quais proposições são equivalentes, isto é, possuem a mesma tabela

verdade?
uma implicação e sua contrapositiva


verdade?
a recíproca e a inversa


verdade?
a recíproca e a inversa
Cuidado! Não confunda uma implicação com sua recíproca. Elas não são
equivalentes!
Exemplo 2
A implicação ”se x é um número racional, então x 2 é um número
racional” é verdadeira, porém sua recíproca é falsa.
se e somente se
Definição
Dadas duas proposições p, q podemos construir a proposição “p ⇔ q”,
“p se e somente se q”
A implicação “p ⇔ q” é verdadeira quando p e q possuem o mesmo valor
verdade. Ela é falsa em todos os outros casos.

se e somente se
Definição
Dadas duas proposições p, q podemos construir a proposição “p ⇔ q”,
“p se e somente se q”
A implicação “p ⇔ q” é verdadeira quando p e q possuem o mesmo valor
verdade. Ela é falsa em todos os outros casos.
A proposição p ⇔ q é equivalente a ”p ⇒ q” e ”q ⇒ p”. Neste caso,

dizemos que p é uma condição necessária e suficiente para q e vice-versa.

se e somente se – exemplos

23 = 8 se, e somente se, 49 é um quadrado perfeito.


23 = 8 se, e somente se, 49 é um quadrado perfeito. verdadeiro


√
π = 22/7 se, e somente se, 2 é um número racional.


√
π = 22/7 se, e somente se, 2 é um número racional. verdadeiro


√
6 + 1 = 7 se, e somente se, Itabaiana é a capital do estado de
Sergipe.


√
Sergipe. falso


√
Sergipe. falso
Minha mãe é um trator se, e somente se, eu sou uma motosserra.


√
Sergipe. falso
Minha mãe é um trator se, e somente se, eu sou uma motosserra.
verdadeiro

Tautologia e contradição
Definição
Uma tautologia é uma proposição que é sempre verdadeira
independentemente dos valores lógicos (valores verdade) das
proposições que a compõem.

Tautologia e contradição
Definição
Uma tautologia é uma proposição que é sempre verdadeira
independentemente dos valores lógicos (valores verdade) das
proposições que a compõem.
Uma contradição é uma proposição que é sempre falsa
independentemente dos valores lógicos das proposições que a
compõem.

Tautologia e contradição - exemplos
Exemplos
1 p ∨ ¬p é uma tautologia.
2 ¬(p ∨ ¬p) é uma contradição.
3 q ∧ ¬q é uma contradição.

Exemplos
Exemplo 3
Mostre que (p ∨ q) ∨ (¬p ∧ ¬q) é uma tautologia.

Exemplos
Exemplo 3
Mostre que (p ∨ q) ∨ (¬p ∧ ¬q) é uma tautologia.
p q p∨q ¬p ¬q ¬p ∧ ¬q (p ∨ q) ∨ (¬p ∧ ¬q)

V V V F F F V
F V V V F F V
V F V F V F V
F F F V V V V

Hierarquia dos conectivos
Exemplo 4
Escreva a representação simbólica da proposição composta "A reta L1 tem
inclinação 3/5 ou a linha L2 não tem inclinação -4"
Vamos representar cada proposição por uma letra:

p : L1 tem inclinação 3/5;
q : L2 tem inclinação −4.
Assim, a proposição composta pode ser representada por:
p ∨ ¬q.
Sua negação é ¬(p ∨ ¬q) é equivalente a ¬p ∧ q.

Hierarquia dos conectivos - exemplos
A expressão ¬p ∧ q significa que: "a reta L1 não tem inclinação 3/5 e

a reta L2 tem inclinação −4".


Por outro lado, alguém poderia ler a negação ¬(p ∨ ¬q) como "Não é o
caso que L1 tem inclinação 3/5 ou L2 não tem inclinação −4".


Por outro lado, alguém poderia ler a negação ¬(p ∨ ¬q) como "Não é o
caso que L1 tem inclinação 3/5 ou L2 não tem inclinação −4".
Este enunciado é ambíguo, pois sem alguma outra explicação, não está
claro se o enunciado "Não é o caso" refere-se a "L1 tem inclinação 3/5
ou L2 não tem inclinação −4" ou apenas a "L1 tem inclinação 3/5".

A Hierarquia dos conectivos é a seguinte: ¬, ∧, ∨, ⇒ e ⇔

1 ¬ é sempre aplicado a menor proposição que lhe segue;
2 ∧ sempre conecta as mais pequenas proposições que o rodeiam;
3 ∨, ⇒ e ⇔ conectam as proposições que os rodeiam.

Exemplos
1 ¬p ∨ q abrevia (¬p) ∨ q;

Exemplos
2 p ∨ q ∧ r abrevia p ∨ (q ∧ r ).

Exemplos
2 p ∨ q ∧ r abrevia p ∨ (q ∧ r ).
3 p ∧ ¬q ∨ ¬r abrevia [p ∧ (¬q)] ∨ (¬r ).

Exemplos
2 p ∨ q ∧ r abrevia p ∨ (q ∧ r ).
3 p ∧ ¬q ∨ ¬r abrevia [p ∧ (¬q)] ∨ (¬r ).
4 ¬p ∨ ¬q abrevia (¬p) ∨ (¬q).

Exemplos
2 p ∨ q ∧ r abrevia p ∨ (q ∧ r ).
3 p ∧ ¬q ∨ ¬r abrevia [p ∧ (¬q)] ∨ (¬r ).
4 ¬p ∨ ¬q abrevia (¬p) ∨ (¬q).
5 ¬p ∧ ¬r ∨ ¬p ∧ r abrevia [(¬p) ∧ (¬r )] ∨ [(¬p) ∧ r ].

Exemplos
2 p ∨ q ∧ r abrevia p ∨ (q ∧ r ).
3 p ∧ ¬q ∨ ¬r abrevia [p ∧ (¬q)] ∨ (¬r ).
4 ¬p ∨ ¬q abrevia (¬p) ∨ (¬q).
6 p ⇒ ¬q ∨ r ⇔ s é uma abreviação para (p ⇒ [(¬q) ∨ r ]) ⇔ s;

Exemplos
2 p ∨ q ∧ r abrevia p ∨ (q ∧ r ).
3 p ∧ ¬q ∨ ¬r abrevia [p ∧ (¬q)] ∨ (¬r ).
4 ¬p ∨ ¬q abrevia (¬p) ∨ (¬q).
7 p ∨ ¬q ⇔ r ⇒ s é uma abreviatura de [p ∨ (¬q)] ⇔ (r ⇒ s);

Exemplos
2 p ∨ q ∧ r abrevia p ∨ (q ∧ r ).
3 p ∧ ¬q ∨ ¬r abrevia [p ∧ (¬q)] ∨ (¬r ).
4 ¬p ∨ ¬q abrevia (¬p) ∨ (¬q).
7 p ∨ ¬q ⇔ r ⇒ s é uma abreviatura de [p ∨ (¬q)] ⇔ (r ⇒ s);
8 p ⇒ q ⇒ r é uma abreviação para (p ⇒ q) ⇒ r .

Quando o mesmo conetivo é usado várias vezes seguidas, inserimos

parênteses desde a esquerda.
Exemplos
1 p ∨ q ∨ r abrevia (p ∨ q) ∨ r ;


Exemplos
1 p ∨ q ∨ r abrevia (p ∨ q) ∨ r ;
2 r ∧ p ∧ q ∧ ¬r abrevia [(r ∧ p) ∧ q] ∧ (¬r );


Exemplos
1 p ∨ q ∨ r abrevia (p ∨ q) ∨ r ;
2 r ∧ p ∧ q ∧ ¬r abrevia [(r ∧ p) ∧ q] ∧ (¬r );
3 r ∨ p ∧ ¬p ∨ q abrevia {r ∨ [p ∧ (¬p)]} ∨ q.

Propriedades importantes e úteis
Para as proposições p, q e r .
1. (Comutatividade) p ∨ q é equivalente a q ∨ p;
2. (Comutatividade) p ∧ q é equivalente a q ∧ p;
3. (Associatividade) (p ∨ q) ∨ r é equivalente a p ∨ (q ∨ r );
4. (Associatividade) (p ∧ q) ∧ r é equivalente a p ∧ (q ∧ r );
5. (Distributividade) p ∧ (q ∨ r ) é equivalente a (p ∧ q) ∨ (p ∧ r ).
6. (Distributividade) p ∨ (q ∧ r ) é equivalente a (p ∨ q) ∧ (p ∨ r ).
7. (Lei de DeMorgan) ¬(p ∧ q) é equivalente a ¬p ∨ ¬q.
8. (Lei de DeMorgan) ¬(p ∨ q) é equivalente a ¬p ∧ ¬q.
9. (Absorção) V (t) = V ⇒ p ∨ t é equivalente a t;
10. (Absorção) V (c) = F ⇒ p ∧ c é equivalente a c;
11. (Elemento neutro) V (c) = F ⇒ p ∨ c é equivalente a p;
12. (Elemento neutro) V (t) = V ⇒ p ∧ t é equivalente a p.

13. p ⇒ q é equivalente a ¬p ∨ q.
14. p ⇔ q é equivalente a (p ⇒ q) ∧ (q ⇒ p).
15. ¬(p ⇒ q) é equivalente a p ∧ ¬q.
16. ¬(p ∧ q) é equivalente a (p ⇒ ¬q) e (q ⇒ ¬p).
17. p ⇒ (q ⇒ r ) é equivalente a (p ∧ q) ⇒ r .
18. p ⇒ (q ∧ r ) é equivalente a (p ⇒ q) ∧ (p ⇒ r ).
19. (p ∨ q) ⇒ r é equivalente a (p ⇒ r ) ∧ (q ⇒ r ).

Bibliografia
• Filho, Edgard A. "Iniciação à lógica matemática". Nobel.

• Andre, R.S; Maurice, E.; Smith, D.A. "Transition to Advanced
Mathematics". Cengage Learning. 2011.
• Caputi, Armando e Miranda, Daniel; "Bases Matemáticas". Disponível
em http://hostel.ufabc.edu.br/~daniel.miranda/livros/
basesmatematicas/bases.pdf

Noções de Lógica

Enviado por

Dados do documento

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

Noções de Lógica

Enviado por

Direitos autorais:

Formatos disponíveis

Noções de Lógica

Prof. Dr. Samuel Canevari

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 1 / 43

A linguagem matemática é composta por símbolos que denotam relações,

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 2 / 43

A linguagem matemática é composta por símbolos que denotam relações,

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 2 / 43

A linguagem matemática é composta por símbolos que denotam relações,

dos conectivos lógicos

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 2 / 43

A linguagem matemática é composta por símbolos que denotam relações,

dos conectivos lógicos

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 2 / 43

Quando relacionamos variáveis, constantes e (repetidas) operações

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 3 / 43

Quando relacionamos variáveis, constantes e (repetidas) operações

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 3 / 43

O modificador lógico, os conectivos lógicos e os quantificadores são usados

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 4 / 43

O modificador lógico, os conectivos lógicos e os quantificadores são usados

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 4 / 43

Valor verdade: verdadeiro, falso.

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 5 / 43

Valor verdade: verdadeiro, falso.

“Hoje é dia de aula.”

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 5 / 43

Valor verdade: verdadeiro, falso.

“Hoje é dia de aula.” – é proposição, pois é verdadeira

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 5 / 43

Valor verdade: verdadeiro, falso.

“Hoje é dia de aula.” – é proposição, pois é verdadeira

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 5 / 43

Valor verdade: verdadeiro, falso.

“Hoje é dia de aula.” – é proposição, pois é verdadeira

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 5 / 43

Valor verdade: verdadeiro, falso.

“Hoje é dia de aula.” – é proposição, pois é verdadeira

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 5 / 43

Valor verdade: verdadeiro, falso.

“Hoje é dia de aula.” – é proposição, pois é verdadeira

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 5 / 43

As seguintes frases são exemplos de proposições:

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 6 / 43

Nenhuma das seguintes frases é proposição:

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 7 / 43

Nenhuma das seguintes frases é proposição:

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 7 / 43

Nenhuma das seguintes frases é proposição:

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 7 / 43

Nenhuma das seguintes frases é proposição:

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 7 / 43

Nenhuma das seguintes frases é proposição:

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 7 / 43

Nenhuma das seguintes frases é proposição:

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 7 / 43

Nenhuma das seguintes frases é proposição:

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 7 / 43

Nenhuma das seguintes frases é proposição:

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 7 / 43

Notação: p(x ), q(x ), p(x , y ), . . .

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 8 / 43

Notação: p(x ), q(x ), p(x , y ), . . .

Prof. Dr. Samuel Canevari (DMAI/UFS) samuel@mat.ufs.br 8 / 43