01 - Estrutura Lógica e Lógica Sentencial

Licensed to Larissa dos Santos - lara20vinte@gmail.com - 055.769.
083-84
Operadores Lógicos
Princípios da Lógica
Lógica: É a área da matemática que Princípio do terceiro excluído

analisa determinada proposição, para
identificar se a afirmação é Uma proposição só pode ser verdadeira
Verdadeira ou Falsa. ou falsa, não se admitindo outra
possibilidade.
Princípio da identidade Princípio da não contradição

Uma proposição não pode ser
Uma proposição verdadeira é sempre
verdadeira e falsa ao mesmo tempo.
verdadeira. uma proposição falsa é
sempre falsa.
Licensed to Larissa dos Santos - lara20vinte@gmail.com - 055.769.083-84
Proposições Lógicas
Conceito Não são Proposições
Uma oração declarativa que pode 1) Sentenças Interrogativas
ser classificada como “Falsa” ou 2) Sentenças Imperativas (Ordens)
“Verdadeira”.
3) Sentenças Exclamativas
presença de 4) Sentenças sem verbo
não pode ser
sujeito e
exclamativa, 5) Sentenças Abertas
predicado
interrogativa ou Ex: “x + 2 = 9”
imperativa 6) Paradoxos
Tipos de Proposições
Valores Lógicos de uma Proposição:
Simples: não possui nenhum conectivo lógico O valor lógico de uma proposição é V se a
proposição for verdadeira e F se ela for falsa.
Compostas: São duas ou mais proposições
conectadas entre si. Exemplos: O número 17 é primo. verdadeira
(apresenta conectivo lógico) Todo número divisível por 5 termina em 5. falsa
Sentenças Abertas
Conceito Exemplos de Sentenças Abertas:
São aquelas que não podemos determinar
o sujeito da sentença. Não pode ser nem 1. Ele é o gerente do banco. (Quem é ele?)
V (verdadeiro) nem F (falso). Não está definido quem é o gerente do banco.
2. x + 4 = 8 (Quem é o x? É número?)
Obs.:
Sentenças Matemáticas com incógnitas. Só é
O sujeito é uma variável que pode ser possível definir se é verdadeiro ou falso quando
substituído por um elemento,
definirmos os valores das incógnitas.
transformando a expressão em uma
proposição que pode assumir o valor
de V ou F.” 3. Que prova difícil. (Frases Exclamativas)
Frases Exclamativas expressam pensamentos
subjetivos, aos quais não temos uma
interpretação formal.
Conectivos Lógicos
Conceito Conjunção
São palavras ou expressões Conectivo: e (v)
que usamos para formar novas
proposições, a partir de
V: se ambas forem V
Valor Lógico:
outras proposições. F: se uma ou mais for F
Disjunção
Condicional Conectivo: ou ( v )
Conectivo: Se ... então (→) Valor Lógico: V: se uma ou mais for V
Bicondicional F: se ambas forem F
Valor Lógico:
V: nos outros casos Conectivo: Se e somente se (↔) Disjunção Exclusiva
F: se a primeira V
Valor Lógico: Conectivo: ou ... ou ( v )
e a segunda F
V: se forem iguais
F: se forem diferentes Valor Lógico: V: se forem contrários V
F: se forem iguais F
Exemplos de Proposições Compostas

Conjunção Disjunção
p: Pedro é alto.
p: Pedro é alto.
q: João é baixo.
q: João é baixo.
p q: Pedro é alto e João é baixo

p v q: Pedro é alto ou João é baixo
v
Condicional Disjunção Exclusiva

p: Pedro é alto. p: Pedro é alto.
q: João é baixo. Bicondicional q: João é baixo.
p: Pedro é alto.
p → q: Se Pedro é alto, então João é baixo p v q: Ou Pedro é alto ou João é baixo
q: João é baixo.
p ↔ q: Pedro é alto se, e somente se, João é baixo

Negação de Proposição Simples

Conceito:
Caso 1: A frase não possui o advérbio não, logo colocamos
A negação de uma proposição o advérbio antes do verbo de ligação.
é mudar o valor lógico, sem
p: Salvador tem praia.
perder o sentido. Exemplo:
~p: Salvador não tem praia.
Forma Simbólica:
~p: Não é verdade que Salvador tem praia.
A forma simbólica da negação é ~p Outras formas:
~p: É falso que Salvador não tem praia.
p ~p Obs.:
O CESPE utiliza o
Caso 2: A frase possui o advérbio não , nesse caso é só
V F
símbolo 
para retirar o advérbio não.
F V representar a negação. q: A Argentina não é um país da América do Sul.
Exemplo:
~q: A Argentina é um país da América do Sul.
Obs.:
No caso de dupla negação: não há alteração. p ~p
No caso várias negações:
Caso 3: = ≠
Quantidade ímpar = VL será invertido. Negação dos ≥ <
símbolos ≤ >
Quantidade par = VL continua o mesmo.
matemáticos > ≤
< ≥
Tabela-Verdade
Conceito
É uma maneira prática de organizar
os valores lógicos de uma
proposição simples ou composta. Exemplo: Construa a tabela-verdade da
proposição P(p,q) = p ↔ q
Número de Linhas
É fornecido pela expressão 2n 1. Calcular o número de linhas
n = 2 (p e q) 2 n = 22 = 4
n = Número de proposições simples (distintas)
2 = Número de valores lógicos possíveis (V ou F) 2. Preencher a tabela
p q p ↔ q
Preenchendo a Tabela:
V 1V V V
1. Preencher cada coluna com X valores V seguidos de X valores F 2V
V 1F F F
A primeira coluna temos X1 = Número de linhas dividido por 2
A segunda coluna temos X2 = X1 divido por 2 F V F
Continuando até Xn 2F
F F V
2. Adicionar colunas relativas as proposições com os conectivos.
X1 = 4/2 = 2
X2 = X1/2 = 2/2 = 1 V: se forem iguais
F: se forem diferentes
Tabela-Verdade das Proposições

Conjunção Disjunção
p q p v q p q p v q
V V V V V V
V F F V F V
F V F F V V
F F F F F F
Condicional Disjunção Exclusiva

Bicondicional
p q p → q
p q p ↔ q p q p v q
V V V
V V V V V F
V F F
V F F V F V
F V V
F V F F V V
F F V
F F V F F F
Exemplo:
Sequencia para
Resolução de Questões Sendo, p = V, q = F e r = V
Resolva p → q v (~r)
1. Negação (  )
2. Conjunção 1. Substituir o valor lógico na equação
(v)
ou
Disjunção ( v ) V → F v (~V)
3. Disjunção Exclusiva ( v ) 2. Resolver a Negação
p q p v q
4. Condicional (→) V→ F v F
3. Resolver a Disjunção V V V
5. Bicondicional (↔) V F V
V→ F v F
F V V
Com Marcadores: V→ F F F F
1. Parênteses ( ) 4. Resolver a Condicional p q p → q

2. Colchetes [ ] V V V
V→ F
V F F
3. Chaves { }
F V V
Resposta: F
F F V
Tabela-Verdade
Casos Especiais
Tautologia
Contingência
É uma proposição composta que é
sempre verdadeira, Consiste numa proposição
independentemente do valor lógico Contradição composta que pode ser verdadeira
das proposições simples que a ou falsa, dependendo do valor
É uma proposição lógica composta
constituem. lógico das premissas que a
que é sempre falsa,
constituem.
Todos os Valores da última coluna da independentemente do valor lógico
Tabela-Verdade, são V das proposições simples que a Nos Valores da última coluna da
constituem. Tabela-Verdade, apresenta pelo
Exemplo: p ∨ (¬ p) menos um V e pelo menos um F.
Todos os Valores da última coluna da
Tabela-Verdade, são F
p ¬p p ∨ (¬ p) Exemplo: p → (¬ p)
Exemplo: p (¬ p)
∨
V F V
p ¬p p → (¬ p)
F V V p ¬p p
∨ (¬ p)
V F F
V F F
F V V
F V F
Negação de Proposição Composta

Conceito: Condicional
Na negação de proposições compostas, Conservar a primeira proposição colocar o
devemos utilizar as fórmulas de negação, isto conectivo “e” e depois negar somente a
é, expressões equivalentes a segunda proposição.
negação das proposições.
~(p → q) = p ~qv
Conjunção
(1ª Lei de Morgan)
p → q: Se Pedro é alto, então João é baixo
Negar a primeira proposição depois
colocar o conectivo “ou” e negar a Disjunção ~(p → q): Pedro é alto e João não é baixo
segunda proposição. (2ª Lei de Morgan)
Negar a primeira proposição depois Bicondicional
~(p q) = ~p v ~q
v
colocar o conectivo “e” e negar a Conservar a primeira, conservar a
segunda proposição. segunda e trocar o se somente se
p q: Pedro é alto e João é baixo
v
pelo ou exclusivo.
~(p v q) = ~p ~q
v
~(p q): Pedro não é alto ou João não é baixo
v
~(p ↔ q) = p v q
p v q: Pedro é alto ou João é baixo
~(p v q): Pedro não é alto e João não é baixo
Equivalência Lógica
Propriedades Fundamentais
Idempotente Distributivas
(p p) = p p (p v r) = (p q) v (p r)
v v v v
(p v p) = p p v (p r) = (p v q) (p v r)
v v
Absorção Comutativas Associativas

p v (p q) = p
v p q=q p
v v
(p q) r = p (q r)
v v v v
p (p v q) = p
v pvq = qvp (p v q) v r = p v (q v r)
p↔ q = q ↔p
Equivalência Lógica
Disjunção
Conceito
p v q = ~p → q
Duas proposições são equivalentes,
quando apresentam tabelas-
verdades iguais.
Condicional Bicondicional
Condição Suficiente x Necessária
p → q = ~q → ~p p ↔ q = ~p ↔ ~q
Na proposição: p → q
p é condição suficiente para q. p → q = ~p v q p ↔ q = (p → q) (q →p)
v
q é condição necessária para p
Disjunção Exclusiva p ↔ q = (~q→ ~p) (q→ p)

v
Na proposição: p ↔ q
p é condição necessária e p ↔ q = (p→ q) (~p → ~q)
v
suficiente para q, e vice-versa. p v q = p ↔ ~q
p ↔ q = (~q→ ~p) (~p → ~q)
v
p v q = ~p ↔ q
Diagramas Lógicos
Todo A é B Algum A não é B
B Nenhum A é B
Algum A é B A B
A
B A
B A Algum A não é B = V
Todo A é B = V
Todo A é B = F
Nenhum A é B = F Nenhum A é B = V
Algum A é B = V Algum A é B = V Nenhum A é B = Indeterminado
Algum A não é B = F Todo A é B = F Algum A é B = Indeterminado

Nenhum A é B = F
Algum A é B = F
Todo A é B = Indeterminado
Algum A não é B = V
Algum A não é B = Indeterminado
Diagramas Lógicos
Algumas Regras Importantes
Regra 1
A partir de duas premissas negativas Regra 3
não há conclusão válida.
A partir de duas premissas particulares não há
Nenhum A é C conclusão válida.
Nenhum B é C Algum A é B
Logo, ? (nada se pode concluir) Algum C é B
Situações
nada se pode
Regra 2 Logo, ?
concluir
Possíveis
A partir de duas premissas positivas não podemos

tirar uma conclusão negativa. C C
Todo A é B
B
Algum A é C
A B
Algum C não é A Não podemos
Logo, ou concluir sobre
Algum C não é B essa área. A B
C A
Inválidos
Negação das Proposições
Categóricas
Todo A é B Algum A não é B
Pelo menos um A não é B Nenhum A não é B
Algum A não é B Nenhum A é B Todo A é B

Algum A é B
Existe A que não é B
Algum A é B
Nenhum A é B
Pelo menos um A é B
Todo A não é B
Existe A que não é B

01 - Estrutura Lógica e Lógica Sentencial

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

01 - Estrutura Lógica e Lógica Sentencial

Enviado por

Direitos autorais:

Formatos disponíveis

Licensed to Larissa dos Santos - lara20vinte@gmail.com - 055.769.

Lógica: É a área da matemática que Princípio do terceiro excluído

Princípio da identidade Princípio da não contradição

Exemplos de Proposições Compostas

p q: Pedro é alto e João é baixo

Condicional Disjunção Exclusiva

p ↔ q: Pedro é alto se, e somente se, João é baixo

Negação de Proposição Simples

Tabela-Verdade das Proposições

Condicional Disjunção Exclusiva

1. Parênteses ( ) 4. Resolver a Condicional p q p → q

Negação de Proposição Composta

Absorção Comutativas Associativas

Disjunção Exclusiva p ↔ q = (~q→ ~p) (q→ p)

Algum A não é B = F Todo A é B = F Algum A é B = Indeterminado

A partir de duas premissas positivas não podemos

Pelo menos um A não é B Nenhum A não é B

Algum A não é B Nenhum A é B Todo A é B

Você também pode gostar