A linguagem da Lógica

Proposicional

Profa. Franciny Medeiros

Lógica Proposicional
» Quando fazemos declarações, podemos, ou não, apresentar provas que
apoiam o que estamos dizendo.

» Essas provas podem ser dadas por análise lógica, pois para se provar
algo é preciso raciocinar.

» As técnicas da Lógica podem ser aplicadas para compreendermos o

raciocínio, a prova.

» Um dos objetivos fundamentais da Lógica é proporcionar uma

capacidade crítica que permita distinguir os argumentos, as
inferências e as provas corretas.

2
Lógica Proposicional
» Para desenvolver a capacidade crítica, é possível começar o
estudo da Lógico pelo sistema lógico mais simples: a Lógica
Proposicional.

» O estudo dessa lógica segue três passos:

» Especificação de uma linguagem, a partir da qual o conhecimento é
representado.
» Estudo de métodos que produzam ou verifiquem as fórmulas ou os
argumentos válidos.
» Definição de sistemas de dedução formal em que são consideradas as
noções de prova e consequência lógica.

3
Especificação da linguagem
da Lógica Proposicional (LP)

4
Alfabeto da LP
» Assim como qualquer linguagem, a linguagem da LP pode ser
definida por meio de um alfabeto.

» A concatenação de símbolos desse alfabeto forma palavras, de

acordo com as regras gramáticais da linguagem.
» Uma sentençã é formada por um conjunto de palavras.

» Na LP, uma sentença é declarativa e não ambígua.

» A LP preocupa-se com a proposição.

» Proposição pode ser usada como sinônimo de conteúdo.
Alfabeto da LP
José come o bolo e José comeu o bolo
São setenças que possuem a mesma representação. Neste caso, o tempo verbal não é
considerado

Eu vi José com uma luneta

É uma sentença ambígua

Se está chovendo, então a rua está molhada

É uma sentença que apresenta argumentos que são colocados em uma forma específica e
induzem a uma conclusão
A proposição pode ser interpretada como verdadeiro ou falso

Está chovendo
José é uma pessoa legal
A rua está molhada
O céu é azul

Todas são proposições que podem ser verdadeiras ou falsas

7
 Qual é o seu nome?

Lave as panelas agora.

José estuda Lógica.

8
Alfabeto da LP
Definição 1: o alfabeto da Lógica Proposicional é constituído por:

1. símbolos de pontuação: ( e )
2. símbolos de verdade: TRUE e FALSE
3. símbolos proposicionais: P, Q, R, S, P1, Q1, R1, S1, P2, Q2...
4. conectivos proposicionais: ¬ (não), ˄ (e), ˅ (ou), → (implica), ↔ (se e
somente se)

9
Fórmulas da LP
Definição 2: as fórmulas da linguagem da Lógica Proposicional são
construídas, de forma indutiva, a partir dos símbolos do alfabeto conforme as
regras a seguir. O conjunto das fórmulas é o menor conjunto que satisfaz as
regras:

1. Todo símbolo proposicional é uma fórmula;

2. Todos símbolo de verdade é uma fórmula;
3. Se H é uma fórmula, então (¬H), a negação de H, é uma fórmula;
4. Se H e G são fórmulas, então a disjunção de H e G, dada por (H ˅ G) é uma fórmula;
5. Se H e G são fórmulas, então a conjunção de H e G, dada por (H ˄ G) é uma fórmula;
6. Se H e G são fórmulas, então a implicação de H em G, dada por (H → G) é uma
fórmula;
7. Se H e G são fórmulas, então a bi-implicação de H e G, dada por (H ↔ G) é uma
fórmula.

10
Fórmulas da LP
» (H ˅ G) = disjunção de G e H
» (H ˄ G) = conjunção de G e H
» (H → G) = implicação de H em G, onde H é o antecedente e G é
o consequente
» (H ↔ G) = bi-implicação de H em G, onde H é o lado esquerdo e
G é o lado direito da fórmula

11
Exemplo de construção de fórmula
» Conforme a definição de fórmula, os símbolos P, Q e TRUE são
fórmulas.
» (P ˅ Q)
» (P → Q)
» ((P ˅ Q) → TRUE)

12
Exemplo de não fórmulas
» PR
» PR¬
» PQ˄
» (R TRUE ↔)
» (TRUE ↔ (R TRUE))

13
Ordem de precedência
Definição 3: Na Lógica Proposicional, a ordem de precedência dos
conectivos proposicionais é definida por:
1. maior precedência: ¬
2. precedência intermediária: → e ↔
3. menor precedência: ˄ e ˅

* Muitas vezes, quando não há problema de interpretação, os parentêses são omitidos das
fórmulas, e então saber a precedência dos conectivos é importante.

14
Variáveis
» Os símbolos proposicionais são representados por variáveis.

» As variáveis A, B, C, D, E, H e G são elementos que

representam símbolos proposicionais e fórmulas da LP
» H = (P → Q)
» G = (P → Q) ↔ (P → Q)

15
Elementos sintáticos das fórmulas
Definição 4: seja H uma fórmula da LP. O comprimento de H, denotado por
comp[H] é definido como se segue:

• Se H = P por símbolo de verdade, então comp[H] = 1;

• comp [¬H] = comp[H] + 1;
• comp [H ˅ G] = comp [H] + comp [G] + 1;
• comp [H ˄ G] = comp [H] + comp [G] + 1;
• comp [H → G] = comp [H] + comp [G] +1;
• comp [H ↔ G] = comp [H] + comp [G] + 1.

*O comprimento de uma fórmula da LP é um conceito frequentemente utilizado em

demonstrações que utilizam indução finita.

16
Subfórmulas
Definição 5: seja H uma fórmula da LP, então:
• H é uma subfórmula de H;
• Se H é uma fórmula do tipo (¬G) então G é uma subfórmula
de H;
• Se H é uma fórmula do tipo (G ˅ E), (G ˅ H), (G → E) ou (G ↔
E), então G e E são subfórmulas de H;
• Se G é subfórmula de H, então toda subfórmula de G é
subfórmula de H.

17
Exercícios de fixação
Lista 01 - disponível no SIGAA

18
Dúvidas?

franciny@ufj.edu.br