SlideShare uma empresa Scribd logo
1 de 56
Lógica e Teoria de Conjuntos
Matemática 10º ANO
Pedro Teixeira
1.1. Introdução à lógica
Bivalente
Pedro Teixeira
Designações / termos Proposição
Designação correta é toda a expressão com
significado que
representa um objeto.
Composição de termos
/ designações,
apresentando um nexo
entre eles
Maneira de perceber na
lógica matemática
São palavras (nomes +
advérbios)
Ligação entre termos
através de um verbo
(ex: “é”)  são frases
Exemplos 3; 5; “pato”;
“galinha”; “ovo”; 𝜋
𝑥 = 3; 25=5; 2+9=7; a
galinha pôs o ovo.
Pedro Teixeira
Distinção entre termos/
designações e proposições
𝑥 = 3
“x é igual a 3”
 Uma proposição é toda a expressão 𝒑 suscitável de um
valor lógico
Pedro Teixeira
proposição
Lógica
Bivalente
2 valências
= 2 valores
VERDADE
FALSIDADE
V ou 1
F ou 0
O universo dos
valores lógicos é o
conjunto:
{V; F} ou {1; 0}
 Qualquer proposição obedece aos seguintes
princípios:
Princípio da não contradição:
Uma proposição não pode ser verdadeira nem falsa em
simultâneo.
Princípio do terceiro excluído:
Uma proposição ou é verdadeira ou é falsa; isto é:
verifica-se sempre um destes casos e nunca um terceiro
Pedro Teixeira
Princípios gerais das
proposições
 Proposições equivalentes são proposições que
apresentam o mesmo valor lógico
 Às vezes, quando estamos a indicar o valor lógico das
proposições podemos usar o símbolo da equivalência
(⟺):
 3,14159 = 𝜋 ⟺ 𝐹,
 8 12 = 16 3 ⟺ 𝑉 ;
 Sendo V e F proposições Verdadeira e Falsa, respetivamente
Pedro Teixeira
Proposições equivalentes
Pedro Teixeira
Operações com proposições
 Para demonstrar propriedades das operações com
proposições , podem usar-se diferentes técnicas tais
como: tabelas de verdade, argumentos que
envolvam apenas as definições das operações, ou
ainda, recorrendo a propriedades já verificadas.
Pedro Teixeira
Tabelas de verdade
 “não é verdade …”
 Representa-se pelo símbolo ~.
 Forma simplificada: inverte o valor lógico da
proposição a que está a ser implicada.
Pedro Teixeira
Negação (~)
𝒑 ~𝒑
𝑉 𝐹
𝐹 𝑉
 Sejam 𝑎 e 𝑏 dois números pertencentes a ℝ, tais que:
Pedro Teixeira
Negação aplicada a operações
numéricas
𝒑 ~𝒑 ~𝒑
𝑎 = 𝑏 ~(𝑎 = 𝑏) 𝑎 ≠ 𝑏
𝑎 > 𝑏 ~(𝑎 > 𝑏) 𝑎 ≤ 𝑏
𝑎 ≥ 𝑏 ~(𝑎 ≥ 𝑏) 𝑎 < 𝑏
𝑎 < 𝑏 ~(𝑎 < 𝑏) 𝑎 ≥ 𝑏
𝑎 ≤ 𝑏 ~(𝑎 ≤ 𝑏) 𝑎 > 𝑏
⟺
Pedro Teixeira
Lei da dupla negação
 “a negação da negação de uma proposição apresenta
o mesmo valor lógico que a dita proposição”.
 ~(~𝑝) ⟺ 𝑝
Pedro Teixeira
Lei da Dupla negação
𝒑 ~𝒑 ~(~𝒑)
𝑉 𝐹 𝑉
𝐹 𝑉 𝐹
⟺
 A conjunção de duas proposições, p e q, é uma nova
proposição que se representa por p Ʌ q .
A conjunção p Ʌ q de duas proposições p e q é uma
proposição que é verdadeira se, e só se, p e q forem
ambas verdadeiras.
Pedro Teixeira
Conjunção
 A conjunção de duas proposições, p e q, é uma nova
proposição que se representa por p Ʌ q .
A conjunção p Ʌ q de duas proposições p e q é uma
proposição que é verdadeira se, e só se, p e q forem
ambas verdadeiras.
Pedro Teixeira
Conjunção
Já se utilizava a conjunção quando
resolvíamos sistemas de
equações.
Exemplo:
𝑥 = 1
𝑦 = 𝑥
⟺ 𝑥 = 1 Ʌ 𝑦 = 𝑥
 A conjunção de duas proposições, p e q, é uma nova
proposição que se representa por p V q .
A disjunção p V q de duas proposições p e q é uma
proposição que é falsa se, e só se, p e q forem ambas
falsas.
Pedro Teixeira
Disjunção
 A conjunção de duas proposições, p e q, é uma nova
proposição que se representa por p V q .
A disjunção p V q de duas proposições p e q é uma
proposição que é falsa se, e só se, p e q forem ambas
falsas.
Pedro Teixeira
Disjunção
Já se utilizava a disjunção, quando
resolvíamos uma equação pela lei do
anulamento do produto.
Exemplo:
𝑎 × 𝑏 = 0 ⟺ 𝑎 = 0 V 𝑏 = 0
 Recorda: uma proposição ou é verdadeira ou é falsa
Desse modo, a conjunção de uma proposição e a sua
negação será sempre falsa.
Pedro Teixeira
Principio da não contradição
𝒑 ~𝒑 𝒑 ∧ ~𝒑
𝑉 𝐹 𝐹
𝐹 𝑉 𝐹
O resultado é sempre F
 Recorda: uma proposição ou é verdadeira ou é falsa.
Desse modo, a disjunção de uma proposição com a
sua negação é sempre verdadeira.
Pedro Teixeira
Principio do terceiro excluído
𝒑 ~𝒑 𝒑 ∨ ~𝒑
𝑉 𝐹 𝑉
𝐹 𝑉 𝑉
O resultado é sempre V
Tautologia / contradição
Tautologia
 Uma proposição que tem
sempre o valor lógico de
verdade, independentemente
do valor lógico das
proposições que a compõe,
chama-se tautologia.
principio do terceiro excluído
Contradição
 Uma proposição que tem
sempre o valor lógico de
falsidade, independentemente
do valor lógico das
proposições que a compõe,
chama-se contradição.
Principio da não contradição
Pedro Teixeira
São proposições “especiais”
 Dadas as proposições p e q, chama-se implicação a
proposição representada por p⟹q
Pedro Teixeira
Implicação
Antecedente da implicação Consequente da implicação
Conhecer apenas o valor lógico do consequente não é
suficiente para concluir o valor lógico da implicação
Pedro Teixeira
implicação
A implicação p ⇒ q entre duas proposições p e q é uma nova
proposição que é falsa se, e só se, o antecedente p é verdadeiro
e o consequente q é falso.
 Recorda:
 Duas proposições são equivalentes se tiverem o mesmo
valor lógico
 Desse modo, pode-se dizer que a equivalência é verdadeira
quando as proposições sujeitas a esta tiverem o mesmo
valor lógico.
Pedro Teixeira
Equivalência
Operações numéricas Operações Lógicas
Pedro Teixeira
Importância das operações
I
m
p
o
r
t
â
n
c
i
a
I
m
p
o
r
t
â
n
c
i
a
Multiplicação e divisão
Soma e subtração
Negação
Conjunção e disjunção
Implicação e equivalência
 Propriedades comutativas:
 𝑝 ∧ 𝑞 ⟺ 𝑞 ∧ 𝑝
 𝑝 ∨ 𝑞 ⟺ 𝑞 ∨ 𝑞
 Propriedades associativas:
 𝑝 ∧ 𝑞 ∧ 𝑟 ⟺ 𝑝 ∧ 𝑞 ∧ 𝑟
 (𝑝 ∨ 𝑞) ∨ 𝑟 ⟺ 𝑝 ∨ (𝑞 ∨ 𝑟)
Pedro Teixeira
Propriedades das conjunções e
disjunções
 Propriedades distributivas:
 A conjunção é distributiva em relação à disjunção:
 𝑝 ∧ (𝑞 ∨ 𝑟) ⟺ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
 A disjunção é distributiva em relação à conjunção:
 𝑝 ∨ (𝑞 ∧ 𝑟) ⟺ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
Pedro Teixeira
Propriedades das conjunções e
disjunções
 Elementos neutros e Elementos absorventes
 V é o elemento absorvente da disjunção
o elemento neutro na conjunção.
 F é o elemento neutro da disjunção
o elemento absorvente da conjunção.
Pedro Teixeira
Propriedades das conjunções e das
disjunções
 Em linguagem recorrente:
 Negar que as duas proposições são simultaneamente
verdadeiras equivale a afirmar que pelo menos uma é
falsa.
 Negar que pelo menos uma das proposições é
verdadeira equivale a afirmar que as duas são
simultaneamente falsas
 Em linguagem matemática
 ~ 𝑝 ∧ 𝑞 ⟺ ~𝑝 ∨ ~𝑞
 ~ 𝑝 ∨ 𝑞 ⟺ ~𝑝 ∧ ~𝑞
Pedro Teixeira
Leis de Morgan
 Relação entre a implicação e a disjunção
𝑝 ⟹ 𝑞 ⟺ ~𝑝 ∧ 𝑞
Pedro Teixeira
Propriedades da implicação
 Negação de uma implicação
 Repara que: 𝑝 ⟹ 𝑞 ⟺ ~𝑝 ∧ 𝑞
Desse modo, ~(𝑝 ⟹ 𝑞) ⟺ ~ ~𝑝 ∧ 𝑞 ⟺ 𝑝 ∨ ~𝑞
Logo, ~(𝑝 ⟹ 𝑞) ⟺ 𝒑 ∨ ~𝒒
Pedro Teixeira
Propriedades da implicação
 Implicação contrarrecíproca:
𝑝 ⟹ 𝑞 ⟺ ~𝑞 ⟹ ~𝑝
Pedro Teixeira
Propriedades da implicação
 Propriedade transitiva da implicação
(𝑝 ⟹ 𝑞) ∧ (𝑞 ⟹ 𝑟) ⟹ (𝑝 ⟹ 𝑟)
“se p implica q e q implica r, então p implica r”
Pedro Teixeira
Propriedades da implicação
 Dupla implicação
𝑝 ⟹ 𝑞 ∧ 𝑞 ⟹ 𝑝 ⟺ 𝑝 ⟺ 𝑞
Pedro Teixeira
Propriedades da implicação
1.2. Condições e conjuntos
Pedro Teixeira
 Uma expressão proposicional ou condição é uma
expressão 𝑝(𝑥) envolvendo a variável 𝑥, tal que,
substituindo 𝑥 por um objeto 𝑎, se obtém a
proposição 𝑝(𝑎).
Pedro Teixeira
Expressão proposicional ou condição
Quantificadores
Quantificador universal ∀
 Dada uma condição 𝑝(𝑥),
∀𝒙, 𝒑 𝒙 é uma proposição
verdadeira se e só se se obtiver
sempre uma proposição
verdadeira aquando a
substituição de 𝑥 por um
número arbitrário.
 Num dado conjunto 𝑈, a
proposição ∀𝒙 ∈ 𝑼, 𝒑(𝒙) é uma
proposição verdadeira se e só
se se obtiver sempre uma
proposição verdadeira
aquando a substituição de 𝑥
por um elemento de 𝑈.
Pedro Teixeira
Quantificadores
Quantificador existencial ∃
 Dada uma condição 𝑝(𝑥),
∃𝒙: 𝒑 𝒙 é uma proposição
verdadeira se e só se, para pelo
menos um objeto 𝑎, 𝑝(𝑎) seja
verdadeira.
 Num dado conjunto 𝑈, a
proposição ∃𝒙 ∈ 𝑼: 𝒑(𝒙) é
uma proposição verdadeira
quando e apenas quando, para
pelo menos um objeto 𝑎, que
pertença a 𝑈 (𝑎 ∈ 𝑈), 𝑝 𝑎 seja
verdadeira.
Pedro Teixeira
Pedro Teixeira
Classificação de condições
 Uma condição p(x) é possível se a proposição
∃𝒙: 𝒑 𝒙 for verdadeira.
 Uma condição p(x) é possível num conjunto U se
∃𝒙 ∈ 𝑼: 𝒑(𝒙) for verdadeira
 Uma condição que não é possível é uma condição
impossível: ∄𝒙: 𝒑 𝒙
Pedro Teixeira
Condição possível e condição
impossível
 Uma condição p(x) é universal se a proposição
∀𝒙, 𝒑 𝒙 for verdadeira.
 Uma condição p(x) é universal num conjunto U se a
proposição ∀𝒙 ∈ 𝑼, 𝒑(𝒙) for verdadeira.
Pedro Teixeira
Condições universais
Sejam
𝑝(𝑥) uma condição possível;
𝑢(𝑥) uma condição universal;
𝑖(𝑥) uma condição impossível;
𝑞(𝑥) uma condição qualquer.
Pedro Teixeira
Propriedades da disjunção e
conjunção de condições
𝑞(𝑥) ∨ 𝑝(𝑥) ⟺ 𝑝(𝑥)
𝑞 𝑥 ∨ 𝑢 𝑥 ⟺ 𝑢 𝑥
𝑞(𝑥) ∨ 𝑖(𝑥) ⟺ 𝑞(𝑥)
Propriedades das disjunções Propriedades das conjunções
𝑞 𝑥 ∧ 𝑢 𝑥 ⟺ 𝑞 𝑥
𝑞(𝑥) ∧ 𝑖(𝑥) ⟺ 𝑖 𝑥
 ~ ∀𝑥, 𝑝 𝑥 ⟺ ∃𝑥: ~𝑝 𝑥
 ~ ∃𝑥: 𝑝 𝑥 ⟺ ∀𝑥, ~𝑝(𝑥)
Pedro Teixeira
Segundas leis de Morgan
 A negação de uma condição universal é uma condição
impossível.
 Se 𝑝(𝑥) ⟺ 𝑢(𝑥), então ~𝑝(𝑥) ⟺ 𝑖(𝑥)
 A negação de uma condição impossível é uma
condição universal.
 Se 𝑝(𝑥) ⟺ 𝑖(𝑥), então ~𝑝(𝑥) ⟺ 𝑢(𝑥)
Pedro Teixeira
Negação de uma condição
 ~ ∀𝑥, 𝑝 𝑥 ⟹ 𝑞 𝑥 ⟺ ∃𝑥: 𝑝 𝑥 ∧ ~𝑞(𝑥)
 ~ ∀𝑥: 𝑝 𝑥 ⟹ 𝑞 𝑥 ⟺ ∃𝑥, 𝑝 𝑥 ∧ ~𝑞(𝑥)
Pedro Teixeira
Negação de uma implicação
 ~ ∀𝑥 ∈ 𝑈, 𝑝 𝑥 ⟺ ∃𝑥 ∈ 𝑈: ~𝑝 𝑥
 ~ ∃𝑥 ∈: 𝑝 𝑥 ⟺ ∀𝑥 ∈ 𝑈, ~𝑝(𝑥)
Pedro Teixeira
Negação de proposições
quantificadas num conjunto U
A definição de um conjunto em extensão baseia-se na
discriminação de todos os elementos que o compõem.
𝐴 = 𝑎1; 𝑎2; … ; 𝑎 𝑛 , 𝑛 ∈ ℕ
A definição de um conjunto em compreensão é
determinar esse conjunto por meio de uma condição
𝐴 = 𝑥 ∈ 𝑈: 𝑝 𝑥 𝑜𝑢𝐴 = 𝑥: 𝑝 𝑥
sendo p(x) uma condição definida em U
Pedro Teixeira
Conjuntos: extensão / compreensão
∀𝒙, 𝒙 ∈ 𝑨 ⟺ 𝒑(𝒙).
 Dois conjuntos, 𝐴 𝑒 𝐵,
𝐴 = 𝐵 ⟺ ∀𝑥, 𝒙 ∈ 𝑨 ⟺ 𝒙 ∈ 𝑩
Pedro Teixeira
Igualdade de conjuntos
 Duas condições são equivalentes no mesmo conjunto
se e somente se definirem o mesmo conjunto em U
𝑝 𝑥 ⟺ 𝑞 𝑥
se e somente se
𝑥 ∈ 𝑈: 𝑝 𝑥 = {𝑥 ∈ 𝑈: 𝑞(𝑥)}
Pedro Teixeira
Condições equivalentes
 A intercessão de A com B corresponde ao conjunto de
todos os elementos que pertençam, em simultâneo, em
A e B.
𝐴 ∩ 𝐵 = {𝑥: 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵}
Pedro Teixeira
Intercessão de dois conjuntos
 A intercessão de A com B corresponde ao conjunto de
todos os elementos que pertençam a pelo menos a
um dos conjuntos, A ou B
𝐴 ∩ 𝐵 = {𝑥: 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵}
Pedro Teixeira
(Re)união de dois conjuntos
 Dois conjuntos A e B, diz-se A está contido em B ou
que A é um subconjunto de B quando todos os
elementos de A pertencerem a B
𝐴 ⊂ 𝐵 ⟺ ∀𝑥, 𝑥 ∈ 𝐴 ⟹ 𝑥 ∈ 𝐵
Pedro Teixeira
Relação de inclusão de dois
conjuntos
 Dados dois conjuntos, A e B, chama-se diferença entre
A e B (AB) ao conjunto dos elementos de A que não
pertencem a B:
𝐴B = {𝑥: 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵}
Pedro Teixeira
Diferença de conjuntos
Seja : 𝐴 um conjunto
𝐴 = 𝑈A = {𝑥: 𝑥 ∈ 𝑈 ∧ 𝑥 ∉ 𝐴}
𝐴 = 𝑈(𝑈A) = 𝐴
𝐴 ∪ 𝐵 = 𝑈 𝐴 ∪ 𝐵 = 𝐴 ∩ 𝐵 = {𝑥: 𝑥 ∈ 𝑈 ∧ 𝑥 ∉ 𝐴 ∪ 𝐵}
𝐴 ∩ 𝐵 = 𝑈 𝐴 ∩ 𝐵 = 𝐴 ∪ 𝐵 = {𝑥: 𝑥 ∈ 𝑈 ∧ 𝑥 ∉ 𝐴 ∩ 𝐵}
Pedro Teixeira
Complementaridade de conjuntos –
Leis de Morgan
∀𝑥, 𝑝 𝑥 ⟺ 𝑞 𝑥 ⟺
⟺ ∀𝑥, 𝑝 𝑥 ⟹ 𝑞 𝑥 ∧ 𝑞 𝑥 ⟹ 𝑝 𝑥
Pedro Teixeira
Dupla Implicação
𝐴 = 𝐵 ⟺ 𝐴 ⊂ 𝐵 ∧ 𝐵 ⊂ 𝐴 ⟺
⟺ ∀𝑥, 𝑥 ∈ 𝐴 ⟺ 𝑥 ∈ 𝐵
Pedro Teixeira
Principio da dupla inclusão
∀𝑥, 𝑝 𝑥 ⟹ 𝑞 𝑥 ⟺ ∀𝒙, ~𝒒(𝒙) ⟹ 𝒑(𝒙)
Pedro Teixeira
Contrarreciproco
Correspondência entre proposições e
conjuntos
Proposições Conjuntos
equivalência ∀𝑥, 𝑝(𝑥) ⟺ 𝑞(𝑥) 𝑃 = 𝑄 igualdade
negação ∀𝑥, ~𝑝(𝑥) 𝑃 complementaridade
disjunção ∀𝑥, 𝑝(𝑥) ∨ 𝑞(𝑥) 𝑃 ∪ 𝑄 reunião
conjunção ∀𝑥, 𝑝(𝑥) ∧ 𝑞(𝑥) 𝑃 ∩ 𝑄 intersecção
implicação ∀𝑥, 𝑝(𝑥) ⇒ 𝑞(𝑥) 𝑃 ⊂ 𝑄 inclusão

Mais conteúdo relacionado

Mais procurados

Simetrias no plano e no Espaço
Simetrias no plano e no EspaçoSimetrias no plano e no Espaço
Simetrias no plano e no Espaço
Nome Sobrenome
 
Tautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalênciasTautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalências
Aristóteles Meneses
 
Equações do 2.º grau
Equações do 2.º grauEquações do 2.º grau
Equações do 2.º grau
aldaalves
 
Interseção planos
Interseção planosInterseção planos
Interseção planos
anacdalves
 
Polinómios e monómios
Polinómios e monómiosPolinómios e monómios
Polinómios e monómios
aldaalves
 
Proposições condicionais e bicondicionais
Proposições condicionais e bicondicionaisProposições condicionais e bicondicionais
Proposições condicionais e bicondicionais
Sérgio de Castro
 

Mais procurados (20)

Contrução da tabela verdade
Contrução da tabela verdadeContrução da tabela verdade
Contrução da tabela verdade
 
Sucessões: Exercícios Resolvidos
Sucessões: Exercícios ResolvidosSucessões: Exercícios Resolvidos
Sucessões: Exercícios Resolvidos
 
Simetrias no plano e no Espaço
Simetrias no plano e no EspaçoSimetrias no plano e no Espaço
Simetrias no plano e no Espaço
 
Classe de palavras
Classe de palavrasClasse de palavras
Classe de palavras
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Tautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalênciasTautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalências
 
Equações do 2.º grau
Equações do 2.º grauEquações do 2.º grau
Equações do 2.º grau
 
Interseção planos
Interseção planosInterseção planos
Interseção planos
 
Funções
FunçõesFunções
Funções
 
Polinómios e monómios
Polinómios e monómiosPolinómios e monómios
Polinómios e monómios
 
Cantigas de amigo
Cantigas de amigoCantigas de amigo
Cantigas de amigo
 
Matemática radicais
Matemática   radicaisMatemática   radicais
Matemática radicais
 
Formulario iave-2018-mat-a
Formulario iave-2018-mat-aFormulario iave-2018-mat-a
Formulario iave-2018-mat-a
 
Filosofia 10º Ano - Os Valores
Filosofia 10º Ano - Os ValoresFilosofia 10º Ano - Os Valores
Filosofia 10º Ano - Os Valores
 
Equações e Formulas da Física.
Equações e Formulas da Física.Equações e Formulas da Física.
Equações e Formulas da Física.
 
Proposições condicionais e bicondicionais
Proposições condicionais e bicondicionaisProposições condicionais e bicondicionais
Proposições condicionais e bicondicionais
 
Processos fonológicos
Processos fonológicosProcessos fonológicos
Processos fonológicos
 
Probabilidades
ProbabilidadesProbabilidades
Probabilidades
 
Pronominalização
PronominalizaçãoPronominalização
Pronominalização
 
Funções sintáticas
Funções sintáticasFunções sintáticas
Funções sintáticas
 

Destaque

Teoria dos conjuntos.PPT
Teoria dos conjuntos.PPTTeoria dos conjuntos.PPT
Teoria dos conjuntos.PPT
Jeferson S. J.
 
Aula introdução à lógica matemática
Aula introdução à lógica matemáticaAula introdução à lógica matemática
Aula introdução à lógica matemática
Aristóteles Meneses
 

Destaque (20)

Unidade 1 logica e teoria de conjuntos
Unidade 1   logica e teoria de conjuntosUnidade 1   logica e teoria de conjuntos
Unidade 1 logica e teoria de conjuntos
 
Teoria de Conjuntos - PPT
Teoria de Conjuntos - PPTTeoria de Conjuntos - PPT
Teoria de Conjuntos - PPT
 
Teste de matemática A 10ºano global
Teste de matemática A 10ºano  globalTeste de matemática A 10ºano  global
Teste de matemática A 10ºano global
 
Implicação Lógica
Implicação LógicaImplicação Lógica
Implicação Lógica
 
TEORIA DE CONJUNTOS
TEORIA DE CONJUNTOS TEORIA DE CONJUNTOS
TEORIA DE CONJUNTOS
 
Teoria dos conjuntos.PPT
Teoria dos conjuntos.PPTTeoria dos conjuntos.PPT
Teoria dos conjuntos.PPT
 
Logica
LogicaLogica
Logica
 
Teoria dos conjuntos 1º ANO - Ensino Médio
Teoria dos conjuntos 1º ANO - Ensino MédioTeoria dos conjuntos 1º ANO - Ensino Médio
Teoria dos conjuntos 1º ANO - Ensino Médio
 
Conceito de-onda.154.189
Conceito de-onda.154.189Conceito de-onda.154.189
Conceito de-onda.154.189
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Introduccion a la logica matematica ccesa007
Introduccion a la logica matematica ccesa007Introduccion a la logica matematica ccesa007
Introduccion a la logica matematica ccesa007
 
Logica
LogicaLogica
Logica
 
Aula8 diagrama sequencia
Aula8 diagrama sequenciaAula8 diagrama sequencia
Aula8 diagrama sequencia
 
Logica computacional
Logica computacionalLogica computacional
Logica computacional
 
Introdução à Lógica de Predicados
Introdução à Lógica de PredicadosIntrodução à Lógica de Predicados
Introdução à Lógica de Predicados
 
Teste 2 vesão 1 - 10.º Ano
Teste 2 vesão 1 - 10.º AnoTeste 2 vesão 1 - 10.º Ano
Teste 2 vesão 1 - 10.º Ano
 
Termologia
TermologiaTermologia
Termologia
 
Teoría de los conjuntos
Teoría de los conjuntosTeoría de los conjuntos
Teoría de los conjuntos
 
Aula introdução à lógica matemática
Aula introdução à lógica matemáticaAula introdução à lógica matemática
Aula introdução à lógica matemática
 
Resumo a lógica matemática para concursos
Resumo a lógica matemática para concursosResumo a lógica matemática para concursos
Resumo a lógica matemática para concursos
 

Semelhante a Lógica e teoria de conjuntos ppt

Sentenças abertas, implicações e equivalências lógicas
Sentenças abertas, implicações e equivalências lógicasSentenças abertas, implicações e equivalências lógicas
Sentenças abertas, implicações e equivalências lógicas
Sérgio de Castro
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos
Wallysson Mendes
 
Lógica, conjuntos e intervalos
Lógica, conjuntos e intervalosLógica, conjuntos e intervalos
Lógica, conjuntos e intervalos
Sérgio de Castro
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos
Wallysson Mendes
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos
Felipe Renan
 
Regras de inferência
Regras de inferênciaRegras de inferência
Regras de inferência
Isaque Tomé
 
Mat ii aula 7 - noções de lógica - quantificadores
Mat ii   aula 7 - noções de lógica - quantificadoresMat ii   aula 7 - noções de lógica - quantificadores
Mat ii aula 7 - noções de lógica - quantificadores
JD Dantas
 

Semelhante a Lógica e teoria de conjuntos ppt (20)

Expoente 10 sintese tema i
Expoente 10 sintese tema iExpoente 10 sintese tema i
Expoente 10 sintese tema i
 
Lógica
LógicaLógica
Lógica
 
1657721272624.pdf
1657721272624.pdf1657721272624.pdf
1657721272624.pdf
 
Lógica para ciencia da computaçao joao nunes souza
Lógica para ciencia da computaçao   joao nunes souzaLógica para ciencia da computaçao   joao nunes souza
Lógica para ciencia da computaçao joao nunes souza
 
Condições
CondiçõesCondições
Condições
 
Lógica
LógicaLógica
Lógica
 
Sentenças abertas, implicações e equivalências lógicas
Sentenças abertas, implicações e equivalências lógicasSentenças abertas, implicações e equivalências lógicas
Sentenças abertas, implicações e equivalências lógicas
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos
 
Lógica, conjuntos e intervalos
Lógica, conjuntos e intervalosLógica, conjuntos e intervalos
Lógica, conjuntos e intervalos
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos
 
1 -logica_proposicional
1  -logica_proposicional1  -logica_proposicional
1 -logica_proposicional
 
Introd logica mat
Introd logica matIntrod logica mat
Introd logica mat
 
Logic1
Logic1Logic1
Logic1
 
Regras de inferência
Regras de inferênciaRegras de inferência
Regras de inferência
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Fundamentos Teóricos da Computação - UFAM
Fundamentos Teóricos da Computação - UFAMFundamentos Teóricos da Computação - UFAM
Fundamentos Teóricos da Computação - UFAM
 
Lista 0 - Bases Matemáticas
Lista 0 - Bases MatemáticasLista 0 - Bases Matemáticas
Lista 0 - Bases Matemáticas
 
Teoria dos conjuntos
Teoria dos conjuntosTeoria dos conjuntos
Teoria dos conjuntos
 
Mat ii aula 7 - noções de lógica - quantificadores
Mat ii   aula 7 - noções de lógica - quantificadoresMat ii   aula 7 - noções de lógica - quantificadores
Mat ii aula 7 - noções de lógica - quantificadores
 

Mais de Pedro Teixeira

Mais de Pedro Teixeira (18)

Exercício resolvido 1 (página 110 manual dimensões 11.º ano)
Exercício resolvido 1 (página 110 manual dimensões 11.º ano)Exercício resolvido 1 (página 110 manual dimensões 11.º ano)
Exercício resolvido 1 (página 110 manual dimensões 11.º ano)
 
Q1 a
Q1  aQ1  a
Q1 a
 
Questão de aula 3 miniteste + critérios 10
Questão de aula 3 miniteste + critérios 10Questão de aula 3 miniteste + critérios 10
Questão de aula 3 miniteste + critérios 10
 
Questão de aula 2 funções + critérios 10 ano
Questão de aula 2 funções + critérios 10 anoQuestão de aula 2 funções + critérios 10 ano
Questão de aula 2 funções + critérios 10 ano
 
Teste 4 - álgebra + funções (5.1-5.3) + critérios de correção
Teste 4 - álgebra + funções (5.1-5.3) + critérios de correçãoTeste 4 - álgebra + funções (5.1-5.3) + critérios de correção
Teste 4 - álgebra + funções (5.1-5.3) + critérios de correção
 
Teste 5 - funções + geometria analitica + critérios de avaçiação
Teste 5 - funções + geometria analitica  + critérios de avaçiaçãoTeste 5 - funções + geometria analitica  + critérios de avaçiação
Teste 5 - funções + geometria analitica + critérios de avaçiação
 
Questão de aula modelo iii
Questão de aula modelo iiiQuestão de aula modelo iii
Questão de aula modelo iii
 
Questão de aula modelo II - funções
Questão de aula modelo II - funçõesQuestão de aula modelo II - funções
Questão de aula modelo II - funções
 
Teste 2 - Álgebra; Geometria de Plano 10 ano
Teste 2 - Álgebra; Geometria de Plano 10 anoTeste 2 - Álgebra; Geometria de Plano 10 ano
Teste 2 - Álgebra; Geometria de Plano 10 ano
 
Teste modelo 4 - álgebra + funções (5.1-5.3) 10 ano
Teste modelo 4 - álgebra + funções (5.1-5.3) 10 anoTeste modelo 4 - álgebra + funções (5.1-5.3) 10 ano
Teste modelo 4 - álgebra + funções (5.1-5.3) 10 ano
 
Teste 3 - logica e TC + GPE 10ºano
Teste 3 - logica e TC + GPE 10ºanoTeste 3 - logica e TC + GPE 10ºano
Teste 3 - logica e TC + GPE 10ºano
 
Questão de aula 1 + Critérios de Classificação Lógica 10 Ano
Questão de aula 1 + Critérios de Classificação Lógica 10 AnoQuestão de aula 1 + Critérios de Classificação Lógica 10 Ano
Questão de aula 1 + Critérios de Classificação Lógica 10 Ano
 
Exercícios do caderno de apoio logica
Exercícios do caderno de apoio   logicaExercícios do caderno de apoio   logica
Exercícios do caderno de apoio logica
 
Matemática 11º ano
Matemática 11º anoMatemática 11º ano
Matemática 11º ano
 
Estudo das funções do tipo y=1/x
Estudo das funções do tipo y=1/xEstudo das funções do tipo y=1/x
Estudo das funções do tipo y=1/x
 
Teste de matemática 10º ano 3ºperiodo
Teste de matemática 10º ano 3ºperiodoTeste de matemática 10º ano 3ºperiodo
Teste de matemática 10º ano 3ºperiodo
 
Testes modelo- Funções Racionais Texto Editores
Testes modelo- Funções Racionais Texto EditoresTestes modelo- Funções Racionais Texto Editores
Testes modelo- Funções Racionais Texto Editores
 
1 trigonometria
1 trigonometria1 trigonometria
1 trigonometria
 

Último

PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
azulassessoria9
 
421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf
421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf
421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf
LeloIurk1
 
Slide - EBD ADEB 2024 Licao 02 2Trim.pptx
Slide - EBD ADEB 2024 Licao 02 2Trim.pptxSlide - EBD ADEB 2024 Licao 02 2Trim.pptx
Slide - EBD ADEB 2024 Licao 02 2Trim.pptx
edelon1
 
matematica aula didatica prática e tecni
matematica aula didatica prática e tecnimatematica aula didatica prática e tecni
matematica aula didatica prática e tecni
CleidianeCarvalhoPer
 
Revolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividadesRevolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividades
FabianeMartins35
 
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
LeloIurk1
 
apostila projeto de vida 2 ano ensino médio
apostila projeto de vida 2 ano ensino médioapostila projeto de vida 2 ano ensino médio
apostila projeto de vida 2 ano ensino médio
rosenilrucks
 
A QUATRO MÃOS - MARILDA CASTANHA . pdf
A QUATRO MÃOS  -  MARILDA CASTANHA . pdfA QUATRO MÃOS  -  MARILDA CASTANHA . pdf
A QUATRO MÃOS - MARILDA CASTANHA . pdf
Ana Lemos
 

Último (20)

atividades_reforço_4°ano_231206_132728.pdf
atividades_reforço_4°ano_231206_132728.pdfatividades_reforço_4°ano_231206_132728.pdf
atividades_reforço_4°ano_231206_132728.pdf
 
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIA
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIAPROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIA
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIA
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
 
PROJETO DE EXTENSÃO - EDUCAÇÃO FÍSICA BACHARELADO.pdf
PROJETO DE EXTENSÃO - EDUCAÇÃO FÍSICA BACHARELADO.pdfPROJETO DE EXTENSÃO - EDUCAÇÃO FÍSICA BACHARELADO.pdf
PROJETO DE EXTENSÃO - EDUCAÇÃO FÍSICA BACHARELADO.pdf
 
planejamento_estrategico_-_gestao_2021-2024_16015654.pdf
planejamento_estrategico_-_gestao_2021-2024_16015654.pdfplanejamento_estrategico_-_gestao_2021-2024_16015654.pdf
planejamento_estrategico_-_gestao_2021-2024_16015654.pdf
 
421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf
421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf
421243121-Apostila-Ensino-Religioso-Do-1-ao-5-ano.pdf
 
Currículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdfCurrículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdf
 
Slide - EBD ADEB 2024 Licao 02 2Trim.pptx
Slide - EBD ADEB 2024 Licao 02 2Trim.pptxSlide - EBD ADEB 2024 Licao 02 2Trim.pptx
Slide - EBD ADEB 2024 Licao 02 2Trim.pptx
 
matematica aula didatica prática e tecni
matematica aula didatica prática e tecnimatematica aula didatica prática e tecni
matematica aula didatica prática e tecni
 
Jogo de Rimas - Para impressão em pdf a ser usado para crianças
Jogo de Rimas - Para impressão em pdf a ser usado para criançasJogo de Rimas - Para impressão em pdf a ser usado para crianças
Jogo de Rimas - Para impressão em pdf a ser usado para crianças
 
Slides Lição 6, CPAD, As Nossas Armas Espirituais, 2Tr24.pptx
Slides Lição 6, CPAD, As Nossas Armas Espirituais, 2Tr24.pptxSlides Lição 6, CPAD, As Nossas Armas Espirituais, 2Tr24.pptx
Slides Lição 6, CPAD, As Nossas Armas Espirituais, 2Tr24.pptx
 
Revolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividadesRevolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividades
 
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
 
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdfRecomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
 
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdf
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdfApresentação ISBET Jovem Aprendiz e Estágio 2023.pdf
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdf
 
apostila projeto de vida 2 ano ensino médio
apostila projeto de vida 2 ano ensino médioapostila projeto de vida 2 ano ensino médio
apostila projeto de vida 2 ano ensino médio
 
aula de bioquímica bioquímica dos carboidratos.ppt
aula de bioquímica bioquímica dos carboidratos.pptaula de bioquímica bioquímica dos carboidratos.ppt
aula de bioquímica bioquímica dos carboidratos.ppt
 
Projeto de Extensão - ENGENHARIA DE SOFTWARE - BACHARELADO.pdf
Projeto de Extensão - ENGENHARIA DE SOFTWARE - BACHARELADO.pdfProjeto de Extensão - ENGENHARIA DE SOFTWARE - BACHARELADO.pdf
Projeto de Extensão - ENGENHARIA DE SOFTWARE - BACHARELADO.pdf
 
A QUATRO MÃOS - MARILDA CASTANHA . pdf
A QUATRO MÃOS  -  MARILDA CASTANHA . pdfA QUATRO MÃOS  -  MARILDA CASTANHA . pdf
A QUATRO MÃOS - MARILDA CASTANHA . pdf
 
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcanteCOMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
 

Lógica e teoria de conjuntos ppt

  • 1. Lógica e Teoria de Conjuntos Matemática 10º ANO Pedro Teixeira
  • 2. 1.1. Introdução à lógica Bivalente Pedro Teixeira
  • 3. Designações / termos Proposição Designação correta é toda a expressão com significado que representa um objeto. Composição de termos / designações, apresentando um nexo entre eles Maneira de perceber na lógica matemática São palavras (nomes + advérbios) Ligação entre termos através de um verbo (ex: “é”)  são frases Exemplos 3; 5; “pato”; “galinha”; “ovo”; 𝜋 𝑥 = 3; 25=5; 2+9=7; a galinha pôs o ovo. Pedro Teixeira Distinção entre termos/ designações e proposições 𝑥 = 3 “x é igual a 3”
  • 4.  Uma proposição é toda a expressão 𝒑 suscitável de um valor lógico Pedro Teixeira proposição Lógica Bivalente 2 valências = 2 valores VERDADE FALSIDADE V ou 1 F ou 0 O universo dos valores lógicos é o conjunto: {V; F} ou {1; 0}
  • 5.  Qualquer proposição obedece aos seguintes princípios: Princípio da não contradição: Uma proposição não pode ser verdadeira nem falsa em simultâneo. Princípio do terceiro excluído: Uma proposição ou é verdadeira ou é falsa; isto é: verifica-se sempre um destes casos e nunca um terceiro Pedro Teixeira Princípios gerais das proposições
  • 6.  Proposições equivalentes são proposições que apresentam o mesmo valor lógico  Às vezes, quando estamos a indicar o valor lógico das proposições podemos usar o símbolo da equivalência (⟺):  3,14159 = 𝜋 ⟺ 𝐹,  8 12 = 16 3 ⟺ 𝑉 ;  Sendo V e F proposições Verdadeira e Falsa, respetivamente Pedro Teixeira Proposições equivalentes
  • 8.  Para demonstrar propriedades das operações com proposições , podem usar-se diferentes técnicas tais como: tabelas de verdade, argumentos que envolvam apenas as definições das operações, ou ainda, recorrendo a propriedades já verificadas. Pedro Teixeira Tabelas de verdade
  • 9.  “não é verdade …”  Representa-se pelo símbolo ~.  Forma simplificada: inverte o valor lógico da proposição a que está a ser implicada. Pedro Teixeira Negação (~) 𝒑 ~𝒑 𝑉 𝐹 𝐹 𝑉
  • 10.  Sejam 𝑎 e 𝑏 dois números pertencentes a ℝ, tais que: Pedro Teixeira Negação aplicada a operações numéricas 𝒑 ~𝒑 ~𝒑 𝑎 = 𝑏 ~(𝑎 = 𝑏) 𝑎 ≠ 𝑏 𝑎 > 𝑏 ~(𝑎 > 𝑏) 𝑎 ≤ 𝑏 𝑎 ≥ 𝑏 ~(𝑎 ≥ 𝑏) 𝑎 < 𝑏 𝑎 < 𝑏 ~(𝑎 < 𝑏) 𝑎 ≥ 𝑏 𝑎 ≤ 𝑏 ~(𝑎 ≤ 𝑏) 𝑎 > 𝑏 ⟺
  • 11. Pedro Teixeira Lei da dupla negação
  • 12.  “a negação da negação de uma proposição apresenta o mesmo valor lógico que a dita proposição”.  ~(~𝑝) ⟺ 𝑝 Pedro Teixeira Lei da Dupla negação 𝒑 ~𝒑 ~(~𝒑) 𝑉 𝐹 𝑉 𝐹 𝑉 𝐹 ⟺
  • 13.  A conjunção de duas proposições, p e q, é uma nova proposição que se representa por p Ʌ q . A conjunção p Ʌ q de duas proposições p e q é uma proposição que é verdadeira se, e só se, p e q forem ambas verdadeiras. Pedro Teixeira Conjunção
  • 14.  A conjunção de duas proposições, p e q, é uma nova proposição que se representa por p Ʌ q . A conjunção p Ʌ q de duas proposições p e q é uma proposição que é verdadeira se, e só se, p e q forem ambas verdadeiras. Pedro Teixeira Conjunção Já se utilizava a conjunção quando resolvíamos sistemas de equações. Exemplo: 𝑥 = 1 𝑦 = 𝑥 ⟺ 𝑥 = 1 Ʌ 𝑦 = 𝑥
  • 15.  A conjunção de duas proposições, p e q, é uma nova proposição que se representa por p V q . A disjunção p V q de duas proposições p e q é uma proposição que é falsa se, e só se, p e q forem ambas falsas. Pedro Teixeira Disjunção
  • 16.  A conjunção de duas proposições, p e q, é uma nova proposição que se representa por p V q . A disjunção p V q de duas proposições p e q é uma proposição que é falsa se, e só se, p e q forem ambas falsas. Pedro Teixeira Disjunção Já se utilizava a disjunção, quando resolvíamos uma equação pela lei do anulamento do produto. Exemplo: 𝑎 × 𝑏 = 0 ⟺ 𝑎 = 0 V 𝑏 = 0
  • 17.  Recorda: uma proposição ou é verdadeira ou é falsa Desse modo, a conjunção de uma proposição e a sua negação será sempre falsa. Pedro Teixeira Principio da não contradição 𝒑 ~𝒑 𝒑 ∧ ~𝒑 𝑉 𝐹 𝐹 𝐹 𝑉 𝐹 O resultado é sempre F
  • 18.  Recorda: uma proposição ou é verdadeira ou é falsa. Desse modo, a disjunção de uma proposição com a sua negação é sempre verdadeira. Pedro Teixeira Principio do terceiro excluído 𝒑 ~𝒑 𝒑 ∨ ~𝒑 𝑉 𝐹 𝑉 𝐹 𝑉 𝑉 O resultado é sempre V
  • 19. Tautologia / contradição Tautologia  Uma proposição que tem sempre o valor lógico de verdade, independentemente do valor lógico das proposições que a compõe, chama-se tautologia. principio do terceiro excluído Contradição  Uma proposição que tem sempre o valor lógico de falsidade, independentemente do valor lógico das proposições que a compõe, chama-se contradição. Principio da não contradição Pedro Teixeira São proposições “especiais”
  • 20.  Dadas as proposições p e q, chama-se implicação a proposição representada por p⟹q Pedro Teixeira Implicação Antecedente da implicação Consequente da implicação Conhecer apenas o valor lógico do consequente não é suficiente para concluir o valor lógico da implicação
  • 21. Pedro Teixeira implicação A implicação p ⇒ q entre duas proposições p e q é uma nova proposição que é falsa se, e só se, o antecedente p é verdadeiro e o consequente q é falso.
  • 22.  Recorda:  Duas proposições são equivalentes se tiverem o mesmo valor lógico  Desse modo, pode-se dizer que a equivalência é verdadeira quando as proposições sujeitas a esta tiverem o mesmo valor lógico. Pedro Teixeira Equivalência
  • 23. Operações numéricas Operações Lógicas Pedro Teixeira Importância das operações I m p o r t â n c i a I m p o r t â n c i a Multiplicação e divisão Soma e subtração Negação Conjunção e disjunção Implicação e equivalência
  • 24.  Propriedades comutativas:  𝑝 ∧ 𝑞 ⟺ 𝑞 ∧ 𝑝  𝑝 ∨ 𝑞 ⟺ 𝑞 ∨ 𝑞  Propriedades associativas:  𝑝 ∧ 𝑞 ∧ 𝑟 ⟺ 𝑝 ∧ 𝑞 ∧ 𝑟  (𝑝 ∨ 𝑞) ∨ 𝑟 ⟺ 𝑝 ∨ (𝑞 ∨ 𝑟) Pedro Teixeira Propriedades das conjunções e disjunções
  • 25.  Propriedades distributivas:  A conjunção é distributiva em relação à disjunção:  𝑝 ∧ (𝑞 ∨ 𝑟) ⟺ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)  A disjunção é distributiva em relação à conjunção:  𝑝 ∨ (𝑞 ∧ 𝑟) ⟺ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟) Pedro Teixeira Propriedades das conjunções e disjunções
  • 26.  Elementos neutros e Elementos absorventes  V é o elemento absorvente da disjunção o elemento neutro na conjunção.  F é o elemento neutro da disjunção o elemento absorvente da conjunção. Pedro Teixeira Propriedades das conjunções e das disjunções
  • 27.  Em linguagem recorrente:  Negar que as duas proposições são simultaneamente verdadeiras equivale a afirmar que pelo menos uma é falsa.  Negar que pelo menos uma das proposições é verdadeira equivale a afirmar que as duas são simultaneamente falsas  Em linguagem matemática  ~ 𝑝 ∧ 𝑞 ⟺ ~𝑝 ∨ ~𝑞  ~ 𝑝 ∨ 𝑞 ⟺ ~𝑝 ∧ ~𝑞 Pedro Teixeira Leis de Morgan
  • 28.  Relação entre a implicação e a disjunção 𝑝 ⟹ 𝑞 ⟺ ~𝑝 ∧ 𝑞 Pedro Teixeira Propriedades da implicação
  • 29.  Negação de uma implicação  Repara que: 𝑝 ⟹ 𝑞 ⟺ ~𝑝 ∧ 𝑞 Desse modo, ~(𝑝 ⟹ 𝑞) ⟺ ~ ~𝑝 ∧ 𝑞 ⟺ 𝑝 ∨ ~𝑞 Logo, ~(𝑝 ⟹ 𝑞) ⟺ 𝒑 ∨ ~𝒒 Pedro Teixeira Propriedades da implicação
  • 30.  Implicação contrarrecíproca: 𝑝 ⟹ 𝑞 ⟺ ~𝑞 ⟹ ~𝑝 Pedro Teixeira Propriedades da implicação
  • 31.  Propriedade transitiva da implicação (𝑝 ⟹ 𝑞) ∧ (𝑞 ⟹ 𝑟) ⟹ (𝑝 ⟹ 𝑟) “se p implica q e q implica r, então p implica r” Pedro Teixeira Propriedades da implicação
  • 32.  Dupla implicação 𝑝 ⟹ 𝑞 ∧ 𝑞 ⟹ 𝑝 ⟺ 𝑝 ⟺ 𝑞 Pedro Teixeira Propriedades da implicação
  • 33. 1.2. Condições e conjuntos Pedro Teixeira
  • 34.  Uma expressão proposicional ou condição é uma expressão 𝑝(𝑥) envolvendo a variável 𝑥, tal que, substituindo 𝑥 por um objeto 𝑎, se obtém a proposição 𝑝(𝑎). Pedro Teixeira Expressão proposicional ou condição
  • 35. Quantificadores Quantificador universal ∀  Dada uma condição 𝑝(𝑥), ∀𝒙, 𝒑 𝒙 é uma proposição verdadeira se e só se se obtiver sempre uma proposição verdadeira aquando a substituição de 𝑥 por um número arbitrário.  Num dado conjunto 𝑈, a proposição ∀𝒙 ∈ 𝑼, 𝒑(𝒙) é uma proposição verdadeira se e só se se obtiver sempre uma proposição verdadeira aquando a substituição de 𝑥 por um elemento de 𝑈. Pedro Teixeira
  • 36. Quantificadores Quantificador existencial ∃  Dada uma condição 𝑝(𝑥), ∃𝒙: 𝒑 𝒙 é uma proposição verdadeira se e só se, para pelo menos um objeto 𝑎, 𝑝(𝑎) seja verdadeira.  Num dado conjunto 𝑈, a proposição ∃𝒙 ∈ 𝑼: 𝒑(𝒙) é uma proposição verdadeira quando e apenas quando, para pelo menos um objeto 𝑎, que pertença a 𝑈 (𝑎 ∈ 𝑈), 𝑝 𝑎 seja verdadeira. Pedro Teixeira
  • 38.  Uma condição p(x) é possível se a proposição ∃𝒙: 𝒑 𝒙 for verdadeira.  Uma condição p(x) é possível num conjunto U se ∃𝒙 ∈ 𝑼: 𝒑(𝒙) for verdadeira  Uma condição que não é possível é uma condição impossível: ∄𝒙: 𝒑 𝒙 Pedro Teixeira Condição possível e condição impossível
  • 39.  Uma condição p(x) é universal se a proposição ∀𝒙, 𝒑 𝒙 for verdadeira.  Uma condição p(x) é universal num conjunto U se a proposição ∀𝒙 ∈ 𝑼, 𝒑(𝒙) for verdadeira. Pedro Teixeira Condições universais
  • 40. Sejam 𝑝(𝑥) uma condição possível; 𝑢(𝑥) uma condição universal; 𝑖(𝑥) uma condição impossível; 𝑞(𝑥) uma condição qualquer. Pedro Teixeira Propriedades da disjunção e conjunção de condições 𝑞(𝑥) ∨ 𝑝(𝑥) ⟺ 𝑝(𝑥) 𝑞 𝑥 ∨ 𝑢 𝑥 ⟺ 𝑢 𝑥 𝑞(𝑥) ∨ 𝑖(𝑥) ⟺ 𝑞(𝑥) Propriedades das disjunções Propriedades das conjunções 𝑞 𝑥 ∧ 𝑢 𝑥 ⟺ 𝑞 𝑥 𝑞(𝑥) ∧ 𝑖(𝑥) ⟺ 𝑖 𝑥
  • 41.  ~ ∀𝑥, 𝑝 𝑥 ⟺ ∃𝑥: ~𝑝 𝑥  ~ ∃𝑥: 𝑝 𝑥 ⟺ ∀𝑥, ~𝑝(𝑥) Pedro Teixeira Segundas leis de Morgan
  • 42.  A negação de uma condição universal é uma condição impossível.  Se 𝑝(𝑥) ⟺ 𝑢(𝑥), então ~𝑝(𝑥) ⟺ 𝑖(𝑥)  A negação de uma condição impossível é uma condição universal.  Se 𝑝(𝑥) ⟺ 𝑖(𝑥), então ~𝑝(𝑥) ⟺ 𝑢(𝑥) Pedro Teixeira Negação de uma condição
  • 43.  ~ ∀𝑥, 𝑝 𝑥 ⟹ 𝑞 𝑥 ⟺ ∃𝑥: 𝑝 𝑥 ∧ ~𝑞(𝑥)  ~ ∀𝑥: 𝑝 𝑥 ⟹ 𝑞 𝑥 ⟺ ∃𝑥, 𝑝 𝑥 ∧ ~𝑞(𝑥) Pedro Teixeira Negação de uma implicação
  • 44.  ~ ∀𝑥 ∈ 𝑈, 𝑝 𝑥 ⟺ ∃𝑥 ∈ 𝑈: ~𝑝 𝑥  ~ ∃𝑥 ∈: 𝑝 𝑥 ⟺ ∀𝑥 ∈ 𝑈, ~𝑝(𝑥) Pedro Teixeira Negação de proposições quantificadas num conjunto U
  • 45. A definição de um conjunto em extensão baseia-se na discriminação de todos os elementos que o compõem. 𝐴 = 𝑎1; 𝑎2; … ; 𝑎 𝑛 , 𝑛 ∈ ℕ A definição de um conjunto em compreensão é determinar esse conjunto por meio de uma condição 𝐴 = 𝑥 ∈ 𝑈: 𝑝 𝑥 𝑜𝑢𝐴 = 𝑥: 𝑝 𝑥 sendo p(x) uma condição definida em U Pedro Teixeira Conjuntos: extensão / compreensão ∀𝒙, 𝒙 ∈ 𝑨 ⟺ 𝒑(𝒙).
  • 46.  Dois conjuntos, 𝐴 𝑒 𝐵, 𝐴 = 𝐵 ⟺ ∀𝑥, 𝒙 ∈ 𝑨 ⟺ 𝒙 ∈ 𝑩 Pedro Teixeira Igualdade de conjuntos
  • 47.  Duas condições são equivalentes no mesmo conjunto se e somente se definirem o mesmo conjunto em U 𝑝 𝑥 ⟺ 𝑞 𝑥 se e somente se 𝑥 ∈ 𝑈: 𝑝 𝑥 = {𝑥 ∈ 𝑈: 𝑞(𝑥)} Pedro Teixeira Condições equivalentes
  • 48.  A intercessão de A com B corresponde ao conjunto de todos os elementos que pertençam, em simultâneo, em A e B. 𝐴 ∩ 𝐵 = {𝑥: 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵} Pedro Teixeira Intercessão de dois conjuntos
  • 49.  A intercessão de A com B corresponde ao conjunto de todos os elementos que pertençam a pelo menos a um dos conjuntos, A ou B 𝐴 ∩ 𝐵 = {𝑥: 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵} Pedro Teixeira (Re)união de dois conjuntos
  • 50.  Dois conjuntos A e B, diz-se A está contido em B ou que A é um subconjunto de B quando todos os elementos de A pertencerem a B 𝐴 ⊂ 𝐵 ⟺ ∀𝑥, 𝑥 ∈ 𝐴 ⟹ 𝑥 ∈ 𝐵 Pedro Teixeira Relação de inclusão de dois conjuntos
  • 51.  Dados dois conjuntos, A e B, chama-se diferença entre A e B (AB) ao conjunto dos elementos de A que não pertencem a B: 𝐴B = {𝑥: 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵} Pedro Teixeira Diferença de conjuntos
  • 52. Seja : 𝐴 um conjunto 𝐴 = 𝑈A = {𝑥: 𝑥 ∈ 𝑈 ∧ 𝑥 ∉ 𝐴} 𝐴 = 𝑈(𝑈A) = 𝐴 𝐴 ∪ 𝐵 = 𝑈 𝐴 ∪ 𝐵 = 𝐴 ∩ 𝐵 = {𝑥: 𝑥 ∈ 𝑈 ∧ 𝑥 ∉ 𝐴 ∪ 𝐵} 𝐴 ∩ 𝐵 = 𝑈 𝐴 ∩ 𝐵 = 𝐴 ∪ 𝐵 = {𝑥: 𝑥 ∈ 𝑈 ∧ 𝑥 ∉ 𝐴 ∩ 𝐵} Pedro Teixeira Complementaridade de conjuntos – Leis de Morgan
  • 53. ∀𝑥, 𝑝 𝑥 ⟺ 𝑞 𝑥 ⟺ ⟺ ∀𝑥, 𝑝 𝑥 ⟹ 𝑞 𝑥 ∧ 𝑞 𝑥 ⟹ 𝑝 𝑥 Pedro Teixeira Dupla Implicação
  • 54. 𝐴 = 𝐵 ⟺ 𝐴 ⊂ 𝐵 ∧ 𝐵 ⊂ 𝐴 ⟺ ⟺ ∀𝑥, 𝑥 ∈ 𝐴 ⟺ 𝑥 ∈ 𝐵 Pedro Teixeira Principio da dupla inclusão
  • 55. ∀𝑥, 𝑝 𝑥 ⟹ 𝑞 𝑥 ⟺ ∀𝒙, ~𝒒(𝒙) ⟹ 𝒑(𝒙) Pedro Teixeira Contrarreciproco
  • 56. Correspondência entre proposições e conjuntos Proposições Conjuntos equivalência ∀𝑥, 𝑝(𝑥) ⟺ 𝑞(𝑥) 𝑃 = 𝑄 igualdade negação ∀𝑥, ~𝑝(𝑥) 𝑃 complementaridade disjunção ∀𝑥, 𝑝(𝑥) ∨ 𝑞(𝑥) 𝑃 ∪ 𝑄 reunião conjunção ∀𝑥, 𝑝(𝑥) ∧ 𝑞(𝑥) 𝑃 ∩ 𝑄 intersecção implicação ∀𝑥, 𝑝(𝑥) ⇒ 𝑞(𝑥) 𝑃 ⊂ 𝑄 inclusão