Bem vindos à

Lógica Matemática
para Sistemas de
Informação
com Prof. Cleyton Slaviero
Aula de hoje:

Lógica
proposicional
- Proposições e Conectivos;
- Alfabeto da LP;
- De frases a fórmulas em LP.
Lógica Proposicional
Observe as seguintes sentenças:

1. Hoje é segunda-feira ou sexta-feira. Hoje não é segunda-feira. Portanto,

Hoje é sexta-feira.
2. Rembrandt pintou a Mona Lisa ou Michelângelo a pintou. Não foi
Rembrandt quem a pintou. Portanto, Michelângelo pintou a Mona Lisa.
3. Ele é menor de 18 anos ou é um irresponsável. Ele não é menor de 18
anos. Portanto, ele é um irresponsável.
Lógica Proposicional
Observe as seguintes sentenças, agora reorganizadas. São as mesmas frases, mas escritas
ligeiramente diferentes.

1. [Hoje é segunda-feira OU Hoje é sexta-feira].

[Não é,hoje, segunda-feira].
Portanto, Hoje é sexta-feira.

2. [Rembrandt pintou a Mona Lisa OU Michelângelo pintou a Monalisa]

[Não foi Rembrandt quem a pintou].
Portanto, Michelângelo pintou a Mona Lisa.

3. [Ele é menor de 18 anos OU é um irresponsável.]

[Não é, ele, menor de 18 anos.]
Portanto, ele é um irresponsável.
Lógica Proposicional
Os 3 argumentos anteriores têm a mesma estrutura:
P OU Q
Não é o caso que P
Portanto, Q
O propósito da lógica proposicional é nos possibilitar enxergar os
argumentos de um jeito formal, a fim de poder verificar, dentre
outras coisas, a validade dos argumentos.
Lógica [Proposicional] é...
Especificação de uma linguagem para representar
conhecimento.
Estudo de métodos para verificar fórmulas ou
argumentos válidos e definição de formas (sistemas) de
dedução.

6
Para guardar...
Proposições precisam ser declarativas.
Proposições precisam ser verdadeiras ou falsas.
O tempo verbal não importa (para esta lógica)
Estamos interessados na forma/estrutura, não no
conteúdo.

7
Formas de argumento
A lógica trata de formas de argumentos consistindo de letras sentenciais
combinadas com as expressões:

● “não é o caso que”, “não”

● “e”
● “ou”
● “se” ... “então”
● "e e somente se"

Estas expressões são chamadas de operadores ou conectivos

lógicos.
Não é o caso que ou simplesmente nã0
Prefixa uma sentença para formar uma nova sentença a qual chamamos a
negação da primeira. Exemplo: A sentença

Não é o caso que ele seja fumante.

é a negação da sentença

Ele é fumante.

Variações gramaticais da negação:

Ele é não-fumante, Ele não é fumante e Ele não fuma.

Conectivo e
Uma composição constituindo-se de duas sentenças ligadas por e chama-se
conjunção.

Chove e faz calor

A conjunção também pode ser expressa por palavras como: 'mas', 'todavia',
'embora', 'contudo', ...

Chove mas faz calor

Conectivo ou
Um enunciado composto consistindo de duas sentenças
ligadas por ou chama-se disjunção.

Chove ou faz calor

Conectivo se… então
Enunciados do tipo se ... então ... chamam-se condicionais.

Forma do condicional:

Se antecedente então consequente

Exemplo:

ʻSe sinto frio então visto o casaco '.

Conectivo se… então

Se antecedente então consequente

● O antecedente é condição suficiente para ocorrência do consequente
● O consequente é condição necessária para ocorrência do antecedente

Se Adamastor é juiz então Adamastor é advogado

● Alguém ser juiz é suficiente para dizer que é advogado, mas não é necessário
○ Todo juiz é um advogado formado
○ Temos vários advogados que não são juízes
● para alguém ser juiz é necessário que seja advogado, mas não é suficiente
○ Precisa passar na prova da ordem, em concurso, estudar muito, etc etc etc…
Conectivo se… então
Exemplo:
O que é necessário para um aluno ser aprovado em Lógica Matemática?

Um aluno ter sido aprovado em Lógica Matemática é suficiente para dizer que ele
fez o que pra chegar nesse status?
Conectivo se… então
Exemplo:
O fogo é uma condição necessária para a fumaça
ou

Se houver fumaça então haverá fogo

ʻSe chover então molha a ruaʼ

- É suficiente chover para você deduzir que a rua fica molhada

- O fato da rua ficar molhada não garante que choveu
Conectivo se… então

Uma condicional também pode ser expressa na ordem

inversa.
ʻVisto o casaco se sentir frioʼ mantém a semântica de

ʻSe sentir frio, visto o casacoʼ

ʻSe sentir frio então visto o casacoʼ

se… então combinado com negação
Combinado com negação:

● Se não P então Q
○ Q a menos que P
○ a não ser que P, Q

ʻClara vai à praia a menos que chovaʼ ou

Se não chove então Clara vai à praia (se chover não se sabe...)
Conectivo se… então
Variações gramaticais da condicional: (P e Q sentenças quaisquer)

● Se P então Q
● P implica em Q; P, logo Q
● Q se P; Q segue de P
● P é condição suficiente para Q
● Q é condição necessária para P
Conectivo se… então
Exercício. Identifique antecedente e conseqüente das seguintes
proposições:

1. Se a chuva continuar o rio vai transbordar.

2. Maria vende o carro, se comprar a casa.

3. Os abacates só estão maduros quando estão escuros e macios.

4. Para concluir esta atividade, é preciso assistir ao vídeo.

5. Basta mexer bastante e o suco estará pronto!

...se e somente se...
Os enunciados formados com a expressão ...se e somente se... são chamados
bicondicionais.

Um bicondicional pode ser considerado como uma conjunção de dois

condicionais.

● P se e somente se Q
● P se Q e P somente se Q
● se Q então P e P somente se Q
● se Q então P e se P então Q
● se P então Q e se Q então P
...se e somente se...
Exemplo:

T é um triângulo se e somente se T é um polígono de três lados

Equivale a:

T é um triângulo se T é um polígono de três lados;

e T é um triângulo somente se T é um polígono de três lados.

Que equivale:

Se T é um polígono de três lados, então T é um triângulo; e se T é um triângulo, então T

é um polígono de três lados.
alfabeto da
lógica
proposicional.
Contextualizando
- Declarações dependem de provas
- Como caracterizar tais provas?
- Precisa ser algo reprodutível
- Precisa ser algo claro

Precisamos raciocinar!
Raciocinar = calcular razão (argumentos)
Precisamos de um sistema claro, não ambíguo.

Lógica Proposicional
O que precisamos fazer?
- Definir uma linguagem para representar
conhecimento
- Definir métodos para verificar argumentos válidos.

Hoje vamos começar a estudar o item 1 e

definir uma linguagem da lógica
proposicional.
Linguagem da lógica proposicional

- Língua portuguesa:
- símbolos (letras) formam
palavras a partir de um alfabeto,
usando regras de formação
(sintaxe)
Linguagem da lógica proposicional

- Lógica Proposicional
- símbolos (letras e outros
caracteres) formam fórmulas a
partir de um alfabeto, usando
regras de formação (sintaxe)
Alfabeto da lógica proposicional
- Uma linguagem da LP é formada a partir dos símbolos:
- Símbolos de pontuação
- (e)
- Um conjunto (enumerável) de símbolos
proposicionais (p,q,r,s,t,u…p1,p2…)
- conectivos lógicos
- ∧, ∨, ¬, →, <->
Alfabeto da lógica proposicional

- **Negação : ¬ (podendo usar ~ também)

- *Conjunção (e): ∧
- *Disjunção (ou): ∨
- *Implicação (se…então) →
- *Dupla-implicação ( … se e somente se…): <->
* operadores binários ; ** operador unário
Fórmula bem formada (fbf)
Uma fbf (H,G,...) é definida indutivamente pelas seguintes regras:

- Uma variável proposicional é uma fórmula (p,q,r,s…)

- Se H é uma fórmula, então ¬H também é.
- Se H e G são fórmulas:
- (H∧G),(H∨G),(H→G) e (H <-> G ) também são.
- Nada mais é fórmula.
Exercício
Quais das fórmulas abaixo são fbf?

- p→q→
- p→q∨r
- (p→q)∨r
- p→(q∨r)
- p→q(∨r)
- r∨s∧t → s
- r∨s∧(t → s)
- (r∨s∧t) → s
Exercícios
Usando C: faz calor; F: faz frio; S: o sol está brilhando, transcreva as sentencas abaixo
(Mortari, 2016):
(a) Faz calor.

(b) Não faz calor.

(c) Faz calor ou faz frio.

(d) O sol está brilhando, mas não faz calor.

(e) Se não faz calor, então faz frio.

(f) Faz frio, se o Sol não está brilhando

Exercícios
Usando M: miau e um gato; C: Cleo e um peixe; T: Tweety é um pássaro, transcreva as
sentenças a seguir:
(a) Não é verdade que Miau não é um gato.

(b) Miau é um gato, se Cleo não é um peixe.

(c) Cleo é um peixe se e somente se Miau não é um gato.

(d) Se Tweety é um pássaro e Cléo é um peixe, miau não é um gato.

(e) Ou Miau é um gato, ou Tweety é um pássaro.

Exercícios
Traduzir as fórmulas da linguagem proposicional para o portugues, considerando que
A: Aristoteles e um filosofo; B: Platão e um filósofo; C: Sócrates é um filósofo; D:
Sócrates gosta de Platão; E: Platão gosta de Sócrates; F: Platão detesta Aristóteles.

(a) ¬A
(b) A∧B
(c) A∧¬C
(d) C ∧ D
(e) ¬D∨¬E
(f) ¬A→¬F
Precedência de operadores
Operadores têm ¬ alta Operadores têm
preferências ao serem preferências ao serem
∧
avaliados. avaliados.
∨
Podemos mudar isso Podemos mudar isso
com o uso de , com o uso de
parênteses (como na parênteses (como na
⇒
matemática) matemática)
⇔ baixa
Árvore sintática
- É possível construir uma árvore sintática a partir de uma fórmula bem
formada.
- Isso pode nos ajudar a observar a ordem de avaliação das fórmulas.
- Uma árvore é uma estrutura que contém raiz, nós intermediários e folhas.
- Podemos ver cada parte de uma árvore como uma subárvore
- Regras de formação:
- H= {p,q,r,…} >>> raiz H.
- H op G >>> op como raiz, subárvore esquerda, H ; subárvore direita, B
- ¬H >>> raiz ¬ , subárvore única H
- Raiz inicial é o operador principal, também chamado de construtor
- exemplo: (p ⇒ r) ⇔ ((¬p) ∨ q)) >>>- Construtor : ⇔.
Exercícios
Elabore as árvores sintáticas das fórmulas a seguir:

(a) (p→q)→(r∨q)∧(q∧r→p)
Exercícios
Elabore as árvores sintáticas das fórmulas a seguir:

(b) (x→¬y)→(¬z∧(y→¬x))
Exercícios
Elabore as árvores sintáticas das fórmulas a seguir:

(c) (p∨q)→(¬p→q)
Exercícios
Elabore as árvores sintáticas das fórmulas a seguir:

(h) (p∧q) → ¬¬p