Introdução À Lógica Proposicional: Prof. Sérgio Felipe

Fazer download em pdf ou txt
Fazer download em pdf ou txt
Você está na página 1de 60

Introdução à Lógica Proposicional

Prof. Sérgio Felipe


Departamento de Matemática
Instituto Federal de Minas Gerais
Campus São João Evangelista

09 de fevereiro de 2023
Lógica Matemática

Utiliza uma linguagem teórica.


Lógica Matemática

Utiliza uma linguagem teórica.

• Termo: expressão que nomeia um objeto;


Lógica Matemática

Utiliza uma linguagem teórica.

• Termo: expressão que nomeia um objeto;


• Enunciado: expressão que caracteriza, que dá uma propriedade envolvendo termos;
Lógica Matemática

Utiliza uma linguagem teórica.

• Termo: expressão que nomeia um objeto;


• Enunciado: expressão que caracteriza, que dá uma propriedade envolvendo termos;
• Aberto: quando não é possível identificar sua valorização.
Lógica Matemática

Utiliza uma linguagem teórica.

• Termo: expressão que nomeia um objeto;


• Enunciado: expressão que caracteriza, que dá uma propriedade envolvendo termos;
• Aberto: quando não é possível identificar sua valorização.
x + y = 5.
Lógica Matemática

Utiliza uma linguagem teórica.

• Termo: expressão que nomeia um objeto;


• Enunciado: expressão que caracteriza, que dá uma propriedade envolvendo termos;
• Aberto: quando não é possível identificar sua valorização.
x + y = 5.
• Fechado: quando é possível identificar sua valorização.
Lógica Matemática

Utiliza uma linguagem teórica.

• Termo: expressão que nomeia um objeto;


• Enunciado: expressão que caracteriza, que dá uma propriedade envolvendo termos;
• Aberto: quando não é possível identificar sua valorização.
x + y = 5.
• Fechado: quando é possível identificar sua valorização.
3 + 8 = 10.
Lógica Matemática

Utiliza uma linguagem teórica.

• Termo: expressão que nomeia um objeto;


• Enunciado: expressão que caracteriza, que dá uma propriedade envolvendo termos;
• Aberto: quando não é possível identificar sua valorização.
x + y = 5.
• Fechado: quando é possível identificar sua valorização.
3 + 8 = 10.
• Proposição: é um nome que se dá ao enunciado fechado.
Princípios básicos de Lógica Matemática

• Princípio da identidade: garante que uma proposição é igual a ela mesma.


Princípios básicos de Lógica Matemática

• Princípio da identidade: garante que uma proposição é igual a ela mesma.


• Princípio da não-contradição: dada uma proposição ela só possui um único valor lógico.
Princípios básicos de Lógica Matemática

• Princípio da identidade: garante que uma proposição é igual a ela mesma.


• Princípio da não-contradição: dada uma proposição ela só possui um único valor lógico.
• Princípio do terceiro excluído: só há dois valores lógicos possíveis para qualquer que
seja a proposição V (verdade) ou F (falsidade), não há uma outra valorização possível
(lógica bivalente).
Elementos Gramaticais da Linguagem Simbólica
• Funtores: formam termos a partir de termos:

+, ×, ∪, ∩.
Elementos Gramaticais da Linguagem Simbólica
• Funtores: formam termos a partir de termos:

+, ×, ∪, ∩.

• Juntores (ou conectivos): formam enunciados a partir de enunciados.


Elementos Gramaticais da Linguagem Simbólica
• Funtores: formam termos a partir de termos:

+, ×, ∪, ∩.

• Juntores (ou conectivos): formam enunciados a partir de enunciados.

Símbolo, Leitura Operação Lógica


∧, e Conjunção
∨, ou Disjunção (inclusiva)
⊻, ou ... ou Disjunção exclusiva
∼ ou ¬, não Negação
→, se ..., então ... Condicional (ou Implicação)
↔, se, e somente, se Bicondicional (ou Bi Implicação)
Elementos Gramaticais da Linguagem Simbólica

• Predicadores: formam enunciados a partir de termos: ∈, =.


Elementos Gramaticais da Linguagem Simbólica

• Predicadores: formam enunciados a partir de termos: ∈, =.


• Operadores:
Elementos Gramaticais da Linguagem Simbólica

• Predicadores: formam enunciados a partir de termos: ∈, =.


• Operadores:
• Qualificadores: formam termos a partir de enunciado. A coleção.../ O artigo definido...
Elementos Gramaticais da Linguagem Simbólica

• Predicadores: formam enunciados a partir de termos: ∈, =.


• Operadores:
• Qualificadores: formam termos a partir de enunciado. A coleção.../ O artigo definido...
• Quantificador: formam enunciados a partir de enunciados, sua principal função é
transformar um enunciado aberto em fechado.
Elementos Gramaticais da Linguagem Simbólica

• Predicadores: formam enunciados a partir de termos: ∈, =.


• Operadores:
• Qualificadores: formam termos a partir de enunciado. A coleção.../ O artigo definido...
• Quantificador: formam enunciados a partir de enunciados, sua principal função é
transformar um enunciado aberto em fechado.

Símbolo, Leitura Operação Lógica


∀, Para Todo Quantificador Universal
∃, Existe Quantificador Existencial
Elementos Gramaticais da Linguagem Simbólica

Proposição (enunciado fechado):


• Simples: quando não pode ser decomposta em proposições. Representadas por letras
minúsculas do alfabeto latino.
Elementos Gramaticais da Linguagem Simbólica

Proposição (enunciado fechado):


• Simples: quando não pode ser decomposta em proposições. Representadas por letras
minúsculas do alfabeto latino.
• Composta: quando pode ser decomposta em proposições. Representadas por letras
maiúsculas do alfabeto latino.
Elementos Gramaticais da Linguagem Simbólica

Proposição (enunciado fechado):


• Simples: quando não pode ser decomposta em proposições. Representadas por letras
minúsculas do alfabeto latino.
• Composta: quando pode ser decomposta em proposições. Representadas por letras
maiúsculas do alfabeto latino.
Exemplos:
p: João é careca.
q: Pedro é estudante.
P: João é careca e Pedro é estudante.
P: p ∧ q.
Tabela Verdade
Disjunção Bicondicional
Negação p q p ∨q p q p↔q
p ∼p V V V V V V
V F V F V V F F
F V F V V F V F
F F F F F V
Conjunção
p q p ∧q Condicional Disjunção Exclusiva
V V V p q p→q p q p ⊻q
V F F V V V V V F
F V F V F F V F V
F F F F V V F V V
F F V F F F
Ordem de preferência dos principais conectivos

Do mais fraco ao mais forte:


1. ∼
2. ∨ ou ∧
3. →
4. ↔
Exemplos

1. Sejam as proposições p: Está quente e q: Está ensolarado. Traduzir para a linguagem


corrente as seguintes proposições:
(a) ∼ p
Exemplos

1. Sejam as proposições p: Está quente e q: Está ensolarado. Traduzir para a linguagem


corrente as seguintes proposições:
(a) ∼ p
Não está quente.
Exemplos

1. Sejam as proposições p: Está quente e q: Está ensolarado. Traduzir para a linguagem


corrente as seguintes proposições:
(a) ∼ p
Não está quente.
(b) p ∧ q
Exemplos

1. Sejam as proposições p: Está quente e q: Está ensolarado. Traduzir para a linguagem


corrente as seguintes proposições:
(a) ∼ p
Não está quente.
(b) p ∧ q
Está quente e está ensolarado.
Exemplos

1. Sejam as proposições p: Está quente e q: Está ensolarado. Traduzir para a linguagem


corrente as seguintes proposições:
(a) ∼ p
Não está quente.
(b) p ∧ q
Está quente e está ensolarado.
(c) p ∨ q
Exemplos

1. Sejam as proposições p: Está quente e q: Está ensolarado. Traduzir para a linguagem


corrente as seguintes proposições:
(a) ∼ p
Não está quente.
(b) p ∧ q
Está quente e está ensolarado.
(c) p ∨ q
Está quente ou está ensolarado.
Exemplos
2. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
(a) 2 + 1 = 3 e 4 + 2 = 6.
Exemplos
2. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
(a) 2 + 1 = 3 e 4 + 2 = 6.
|2 +{z
1 = 3} e 4| +{z
2 = 6}, logo, V ∧ V = V .
V V

p
(b) 2 < π e π2 é racional.
Exemplos
2. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
(a) 2 + 1 = 3 e 4 + 2 = 6.
|2 +{z
1 = 3} e 4| +{z
2 = 6}, logo, V ∧ V = V .
V V

p
(b) 2 < π e π2 é racional.
p 2
| 2{z< π} e |π é racional
{z }, logo, V ∧ F = F .
V F

105
(c) −3 < −1 ∧ 102
= 1.000
Exemplos
2. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
(a) 2 + 1 = 3 e 4 + 2 = 6.
|2 +{z
1 = 3} e 4| +{z
2 = 6}, logo, V ∧ V = V .
V V

p
(b) 2 < π e π2 é racional.
p 2
| 2{z< π} e |π é racional
{z }, logo, V ∧ F = F .
V F

5
(c) −3 < −1 ∧ 10 102
= 1.000
105
|−3 {z
< −1} ∧ 2
= 1.000, logo, V ∧ V = V .
V |10 {z }
V
Exemplos

3. Sabendo que os valores lógicos das proposições p e q são respectivamente F e V,


determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
V (p) = F e V (q) = V .
Exemplos

3. Sabendo que os valores lógicos das proposições p e q são respectivamente F e V,


determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
V (p) = F e V (q) = V .
(a) p ∧ q
Exemplos

3. Sabendo que os valores lógicos das proposições p e q são respectivamente F e V,


determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
V (p) = F e V (q) = V .
(a) p ∧ q
F ∧V = F
Exemplos

3. Sabendo que os valores lógicos das proposições p e q são respectivamente F e V,


determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
V (p) = F e V (q) = V .
(a) p ∧ q
F ∧V = F
(b) ∼ p ∧ q
Exemplos

3. Sabendo que os valores lógicos das proposições p e q são respectivamente F e V,


determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
V (p) = F e V (q) = V .
(a) p ∧ q
F ∧V = F
(b) ∼ p ∧ q
V ∧V = V
Exemplos

3. Sabendo que os valores lógicos das proposições p e q são respectivamente F e V,


determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
V (p) = F e V (q) = V .
(a) p ∧ q
F ∧V = F
(b) ∼ p ∧ q
V ∧V = V
(c) p ∧ ∼ q
Exemplos

3. Sabendo que os valores lógicos das proposições p e q são respectivamente F e V,


determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
V (p) = F e V (q) = V .
(a) p ∧ q
F ∧V = F
(b) ∼ p ∧ q
V ∧V = V
(c) p ∧ ∼ q
F ∧F = F
Exemplos

3. Sabendo que os valores lógicos das proposições p e q são respectivamente F e V,


determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
V (p) = F e V (q) = V .
(a) p ∧ q
F ∧V = F
(b) ∼ p ∧ q
V ∧V = V
(c) p ∧ ∼ q
F ∧F = F
(d) ∼ p ∨ ∼ q
Exemplos

3. Sabendo que os valores lógicos das proposições p e q são respectivamente F e V,


determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
V (p) = F e V (q) = V .
(a) p ∧ q
F ∧V = F
(b) ∼ p ∧ q
V ∧V = V
(c) p ∧ ∼ q
F ∧F = F
(d) ∼ p ∨ ∼ q
V ∨F = V
Exemplos

4. Determinar o valor lógico de p, ou seja, V (p) em cada um dos seguintes casos,


sabendo:
(a) V (q) = V e V (p ∧ q) = F
Exemplos

4. Determinar o valor lógico de p, ou seja, V (p) em cada um dos seguintes casos,


sabendo:
(a) V (q) = V e V (p ∧ q) = F
V (p) = F
Exemplos

4. Determinar o valor lógico de p, ou seja, V (p) em cada um dos seguintes casos,


sabendo:
(a) V (q) = V e V (p ∧ q) = F
V (p) = F
(b) V (q) = V e V (p ∨ q) = V
Exemplos

4. Determinar o valor lógico de p, ou seja, V (p) em cada um dos seguintes casos,


sabendo:
(a) V (q) = V e V (p ∧ q) = F
V (p) = F
(b) V (q) = V e V (p ∨ q) = V
V (p) = V ou V (p) = F
Exemplos

4. Determinar o valor lógico de p, ou seja, V (p) em cada um dos seguintes casos,


sabendo:
(a) V (q) = V e V (p ∧ q) = F
V (p) = F
(b) V (q) = V e V (p ∨ q) = V
V (p) = V ou V (p) = F
(c) V (q) = V e V (p → q) = V
Exemplos

4. Determinar o valor lógico de p, ou seja, V (p) em cada um dos seguintes casos,


sabendo:
(a) V (q) = V e V (p ∧ q) = F
V (p) = F
(b) V (q) = V e V (p ∨ q) = V
V (p) = V ou V (p) = F
(c) V (q) = V e V (p → q) = V
V (p) = V ou V (p) = F
Exemplos
5. Determinar o valor lógico de p e q em cada um dos seguintes casos, sabendo:
(a) V (p → q) = F e V (p ∧ q) = F
Exemplos
5. Determinar o valor lógico de p e q em cada um dos seguintes casos, sabendo:
(a) V (p → q) = F e V (p ∧ q) = F
V (p) = V e V (q) = F
Exemplos
5. Determinar o valor lógico de p e q em cada um dos seguintes casos, sabendo:
(a) V (p → q) = F e V (p ∧ q) = F
V (p) = V e V (q) = F
(b) V (p → q) = V e V (p ∨ q) = V
Exemplos
5. Determinar o valor lógico de p e q em cada um dos seguintes casos, sabendo:
(a) V (p → q) = F e V (p ∧ q) = F
V (p) = V e V (q) = F
(b) V (p → q) = V e V (p ∨ q) = V
V (p) = V e V (q) = V
ou
V (p) = F e V (q) = V
Exemplos
5. Determinar o valor lógico de p e q em cada um dos seguintes casos, sabendo:
(a) V (p → q) = F e V (p ∧ q) = F
V (p) = V e V (q) = F
(b) V (p → q) = V e V (p ∨ q) = V
V (p) = V e V (q) = V
ou
V (p) = F e V (q) = V
(c) V (p ↔ q) = F e V (p ∨ q) = V
Exemplos
5. Determinar o valor lógico de p e q em cada um dos seguintes casos, sabendo:
(a) V (p → q) = F e V (p ∧ q) = F
V (p) = V e V (q) = F
(b) V (p → q) = V e V (p ∨ q) = V
V (p) = V e V (q) = V
ou
V (p) = F e V (q) = V
(c) V (p ↔ q) = F e V (p ∨ q) = V
V (p) = V e V (q) = F
ou
V (p) = F e V (q) = V
Exemplos
5. Determinar o valor lógico de p e q em cada um dos seguintes casos, sabendo:
(a) V (p → q) = F e V (p ∧ q) = F
V (p) = V e V (q) = F
(b) V (p → q) = V e V (p ∨ q) = V
V (p) = V e V (q) = V
ou
V (p) = F e V (q) = V
(c) V (p ↔ q) = F e V (p ∨ q) = V
V (p) = V e V (q) = F
ou
V (p) = F e V (q) = V
(d) V (p ↔ q) = F e V (p ∧ q) = F
Exemplos
5. Determinar o valor lógico de p e q em cada um dos seguintes casos, sabendo:
(a) V (p → q) = F e V (p ∧ q) = F
V (p) = V e V (q) = F
(b) V (p → q) = V e V (p ∨ q) = V
V (p) = V e V (q) = V
ou
V (p) = F e V (q) = V
(c) V (p ↔ q) = F e V (p ∨ q) = V
V (p) = V e V (q) = F
ou
V (p) = F e V (q) = V
(d) V (p ↔ q) = F e V (p ∧ q) = F
V (p) = V e V (q) = F
ou
V (p) = F e V (q) = V
Agradecimento

Obrigado!

[email protected]

Você também pode gostar