Logica Aula 2

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.
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.
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 '.

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…
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?
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
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...)
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
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.
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
(b) (x→¬y)→(¬z∧(y→¬x))
Exercícios
(c) (p∨q)→(¬p→q)
Exercícios
(h) (p∧q) → ¬¬p

Logica Aula 2

Enviado por

Direitos autorais:

Formatos disponíveis

Logica Aula 2

Enviado por

Dados do documento

Descrição original:

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

Logica Aula 2

Enviado por

Direitos autorais:

Formatos disponíveis

Bem vindos à

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

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

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

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

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

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

Não é o caso que ele seja fumante.

Variações gramaticais da negação:

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

Chove e faz calor

Chove mas faz calor

Chove ou faz calor

Se antecedente então consequente

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

Se antecedente então consequente

Se Adamastor é juiz então Adamastor é advogado

Se houver fumaça então haverá fogo

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

Uma condicional também pode ser expressa na ordem

ʻSe sentir frio, visto o casacoʼ

ʻSe sentir frio então visto o casacoʼ

ʻClara vai à praia a menos que chovaʼ ou

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!

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

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

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.

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

Hoje vamos começar a estudar o item 1 e

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

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

(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

(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.

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

Você também pode gostar