LÓGICA II

Prof. Eduardo Ramos

UFPA – IFCH - FAFIL
2022.4
LÓGICA QUANTIFICACIONAL
• Alfabeto
• Sintaxe
• Semântica
 ALFABETO, SINTAXE E SEMÂNTICA DE LQ
VISÃO GERAL

• ESQUEMA 1: ESQUEMA 3:

• ALFABETO símbolos • ALFABETO:

• SINTAXE gramática (combinação dos símbolos) 1. Letras: A, B, C, ..., a, b, c,...
• SEMÂNTICA interpretação (referência dos símbolos) 2. Conectivos: ∼ , ∧ , ∨ , ⊻ , → , ↔
3. Quantificadores: ∀ , ∃
4. Sinais: ( , )
• ESQUEMA 2: • SINTAXE: (regras de formação)
 letras 1. Regra da fórmula básica
• ALFABETO  conectivos ou operadores 2. Regra dos conectivos (negação e os demais)
 quantificadores 3. Regra dos quantificadores (universal e part.)
 sinais de pontuação
4. Nenhuma regra a mais
 regras de formação (de sentenças)
• SINTAXE  regras de transformação (de inferências) • SEMÂNTICA:
• Estrutura (domínio de objetos e regras
• SEMÂNTICA  estrutura (sistema de referência) associativas)
ALFABETO DA LÓGICA QUANTIFICACIONAL

1. Letras
2. Conectivos
3. Quantificadores
4. Sinais de Pontuação
 1. LETRAS
LETRAS MAIÚSCULAS LETRAS MINÚSCULAS
• Representam as CONSTANTES DE PREDICADOS • Representam as CONSTANTES e VARIÁVEIS DE INDIVÍDUOS
• Há infinitos símbolos de letras maiúsculas em LQ • Há infinitos símbolos de letras minúsculas em LQ
A, B, C, ... , X, Y, Z, ... a, b, c, ...
constantes individuais (indivíduo)
constantes de predicados a1, a2, a3, ...
P1, P2, P3, ... x, y, z, ...
variáveis individuais (indivíduo genérico)
x1, x2, x3, ...

• Cada constante de predicado representa:

1- Propriedade: • Cada letra minúscula representa:
Sócrates é homem 1- Indivíduo: (nome próprio: a, b, c, ...)
Sócrates é homem
P
2- Relação: a
Maria ama João 2- Indivíduo genérico: (pronome: x, y, z, ...)
Ele é homem
R
x
 CLASSIFICAÇÃO DAS CONSTANTES DE PREDICADO
As constantes de predicado são classificadas em grau, peso ou aridade, conforme o número de lugares
disponíveis na fórmula para serem preenchidos pelos objetos

• PREDICADO UNÁRIO OU MONÁDICO: aplica-se a um objeto

.... é feliz

• PREDICADO BINÁRIO OU DIÁDICO: aplica-se a dois objetos

.... é maior que ....

• PREDICADO TERNÁRIO OU TRIÁDICO: aplica-se a três objetos

.... está entre .... e ....

• PREDICADO QUATERNÁRIO OU QUADRIÁDICO: aplica-se a quatro objetos

.... disse a .... que gosta de .... e ....

• PREDICADO N-ÁRIO OU N-ÁDICO: aplica-se a n indivíduos

 2. CONECTIVOS
• Os conectivos ou operadores representam as ligações ou conexões entre as sentenças
• Semelhante à LP, há seis conectivos principais em LQ

PRINCIPAIS CONECTIVOS

CONECTIVOS SIGNIFICADO SÍMBOLOS

1 Negação não .... ∼ , ¬
2 Conjunção ..... e ..... ∧, . , &
3 Disjunção Inclusiva (Fraca) ..... ou ..... ∨
4 Disjunção Exclusiva (Forte) ou ..... ou ..... ⊻ , ⩒ , ⩖ , ∆ ,↓ , ↮ , ≢
5 Implicação se ....., então ..... → , ⇒ , ⊃
6 Dupla Implicação ..... se e somente se ..... ↔ , ⇔ , ≡

# Nota: As reticências “.....” indicam o

lugar de uma sentença (p , q , r , etc.)
 3. QUANTIFICADORES
• Os quantificadores representam o escopo ou a quantidade de indivíduos de um conjunto
• Os quantificadores são exclusivos de LQ, não tem em LP

QUANTIFICADOR UNIVERSAL (∀) QUANTIFICADOR EXISTENCIAL (∃)

• Indica que o escopo da sentença ou a quantidade • Indica que o escopo da sentença ou a quantidade
de indivíduos é tomada na totalidade (todo) de indivíduos é tomada na parcialidade (parte)
• Exemplo: • Exemplo:
Tudo é ser Existe o ser
Todos são mortais Algo é mortal

• Símbolo do Quantificador Universal: • Símbolo do Quantificador Existencial:

∀x ∃x
• Leitura do símbolo: • Leitura do símbolo:
Para todo x ... Existe um x que ...
Todo x ... Algum x ...
Qualquer x ... Há um x que ...
Todo ... Alguém ...
Tudo ... Há ...
  SENTENÇA E FUNÇÃO SENTENCIAL
SENTENÇA
• SENTENÇA OU PROPOSIÇÃO:
A fórmula contém uma constante de indivíduo
Sócrates é homem
a P
Pa
• SEMÂNTICA DA SENTENÇA OU PROPOSIÇÃO:
Toda sentença fechada ou proposição é decidível
como VERDADEIRA (V) ou FALSA (F)
FUNÇÃO SENTENCIAL
• FUNÇÃO SENTENCIAL OU FUNÇÃO PROPOSICIONAL:
A fórmula contém uma variável de indivíduo
Ele é homem
x P
Px
• SEMÂNTICA DA FUNÇÃO SENTENCIAL OU PROPOSICIONAL:
- Toda sentença aberta ou função proposicional é
indecidível como VERDADEIRA (V) ou FALSA (F)
- A sentença aberta transforma-se em sentença fechada
através de dois procedimentos:
i- A substituição da variável x por uma constante individual
Pa
ii- O uso dos quantificadores nas fórmulas abertas (∀ , ∃)
∀x Px ou ∃x Px
 4. SINAIS DE PONTUAÇÃO

SÍMBOLOS SIGNIFICADO
• Os sinais de pontuação conferem precisão às sentenças e
eliminam ambiguidades da linguagem
• Há apenas dois símbolos de pontuação em LP
• Exemplos:
1) O professor disse o aluno é inteligente (frase ambígua)
• Parênteses: ( , ) O professor, disse o aluno, é inteligente
O professor disse: o aluno é inteligente

2) 2 x 3 + 5 (expressão incorreta/ambígua)
(2 x 3) + 5 = 11
2 x (3 + 5) = 16

3) p ∧ q → r (expressão incorreta/ambígua)
(p ∧ q) → r
p ∧ (q → r)
SINTAXE DA LÓGICA QUANTIFICACIONAL

1. Regras de Formação (sentenças)

2. Regras de Transformação (inferências)
3. Consequência Semântica
 1. REGRAS DE FORMAÇÃO

 VISA A CONSTRUÇÃO DE SENTENÇAS EM LQ (fbf)

  REGRAS DE FORMAÇÃO
• As regras de formação produzem as expressões bem construídas em LQ (as sentenças)
• As sentenças são também chamadas de fórmulas bem formadas (fbf)

REGRAS SIGNIFICADO
1. REGRA DA SENTENÇA BÁSICA
• Há apenas 4 regras de formação em LQ A reunião de uma constante de predicado com uma constante ou
variável individual (letra maiúscula + minúscula) é uma sentença básica
ou fbf
• As regras de formação são geradas por definição recursiva Pa , Pb , Pc , ... (constantes individuais: a, b, c, ...)
ou indutiva: Px , Py , Pz , ... (variáveis individuais: x, y, z, ...)
Pt1 , Pt2 , Pt3 , ... (termos - constantes ou variáveis individuais: t1, t2, ...)
2. REGRA DOS CONECTIVOS
1. REGRA DA SENTENÇA BÁSICA
Se α e β são sentenças ou fbf, então:
2. REGRA DOS CONECTIVOS
∼ α , α ∧ β , α ∨ β , α ⊻ β , α → β , α ↔ β são fbf
3. REGRA DOS QUANTIFICADORES
3. REGRA DOS QUANTIFICADORES
4. REGRA DO ENCERRAMENTO Se α e β são sentenças ou fbf, então:
∀x α e ∃x α são fbf
4. REGRA DO ENCERRAMENTO
Todas as sentenças ou fbf de LQ são formadas só pelas regras 1 , 2 e 3
  QUANTIFICADORES: ESCOPO, VARIÁVEL LIVRE E VARIÁVEL LIGADA
• Os quantificadores determinam a sentença de três modos distintos: escopo, variável livre e variável ligada
• O escopo refere-se às fórmulas e as variáveis livres e ligadas referem-se às variáveis individuais das fórmulas

ESCOPO DO QUANTIFICADOR VARIÁVEL LIGADA VARIÁVEL LIVRE

• O escopo do quantificador indica o • A variável ligada indica o conjunto das • A variável livre indica o conjunto das
conjunto das fórmulas determinadas ou variáveis individuais dependentes ou variáveis individuais independentes ou
submetidas a um quantificador submetidas ao quantificador não submetidas ao quantificador
• Definição: Dado o quantificador x ou x • Definição: Chama-se variável ligada x de • Definição: Chama-se variável livre x de
e a fórmula α, diz-se que o escopo do
quantificador é toda fórmula escrita a uma fórmula α, se a variável individual x uma fórmula α, se a variável individual
seguinte forma: está no escopo de um quantificador x não está no escopo de um
quantificador
∃x α ou ∀x α
Exemplos: Exemplos:
x Ax
Exemplos: xy Axy
Ax
x Hx xAxy
x (Ax ∧ Bx)
x Hx x Ax ∧ Bx
xy (Ax ∨ By) → z Cz
x Px ∨ Qx xy (Ax ∨ By) → Cx
Rxz → x Pxy

Nota:
As fórmulas Qx e Rxz estão fora do escopo
de qualquer quantificador
  CLASSIFICAÇÃO SINTÁTICA DAS FÓRMULAS EM LQ
• As sentenças ou fbf em LQ são classificadas em seis espécies: atômica e molecular; geral e elementar; aberta e fechada

FÓRMULA ATÔMICA E MOLECULAR FÓRMULA GERAL E ELEMENTAR FÓRMULA ABERTA E FECHADA

• FÓRMULA ATÔMICA OU SIMPLES: • FÓRMULA GERAL: • FÓRMULA ABERTA:
Não contém conectivos O primeiro símbolo é ∀ ou ∃ Sintaticamente: contém ao menos a
ocorrência de uma variável livre
Exemplos: Exemplos: Semanticamente: é indecidível – nem
Hs x Tx verdadeira (V) ou falsa (F)
Hx x Fx Exemplos:
Pxy x ∼ Fx Px x Px ∨ Qx
x Pxy xy Pxy ∧ z(Pz → Qxz)
xy Pxyz
• FÓRMULA MOLECULAR OU COMPOSTA:
Contém conectivos • FÓRMULA ELEMENTAR:
É qualquer fórmula atômica ou geral • FÓRMULA FECHADA:
Exemplos: Sintaticamente: não contém a
∼ Sx Exemplos: ocorrência de uma variável livre, mas
Rs só de variável ligada
Cs ∧ Sp Semanticamente: é decidível como
Cx ⊻ Sx Rx verdadeira (V) ou falsa (F)
x Lx
x Cxs Exemplos:
x Px x Px ∨ x Qx
xy Pxy xy Pxy ∧ zx(Pz → Qx)
xyz Pxyz
SIMBOLIZAÇÃO EM LQ

ALFABETO + SINTAXE DE LQ
  SIMBOLIZAÇÃO EM LQ
• Pode-se fazer a simbolização da linguagem natural para LQ – e vice-versa

• Exercícios:

DA LINGUAGEM NATURAL PARA LQ DE LQ PARA A LINGUAGEM NATURAL

Simbolizar para LQ as sentenças do português: Dadas as sentenças em LQ:
j: João S: ..... é solteiro/a
1) Maria ama João 12) Todos gostam de filosofia
m: Maria C: ..... é casado/a
2) João ama Ana 13) Nem todos gostam de filosofia a: Ana M: ..... é mãe de .....

3) Ela ama João 14) Tudo é ser p: Pedro P: ..... é pai de .....
F: ..... é filho/a de .....
4) Ela o ama 15) Todos gostam de alguém

5) José não ama Maria 16) Alguém gosta de todos Traduzir para o português:
6) Ele não a ama 17) José ama Ana e fica com Maria a) Sa ∧ Sp g) ∀x∃y Fxy

7) Alguém ama Maria 18) Se Maria ama João, então ela é fiel b) Mma ∧ ∼Fpm h) ∼∃x∀x Mxy
c) Fpj → Pjp i) ∼∀x Cx
8) Maria ama alguém 19) Todo homem é animal
d) ∼Faj ∧ Pjp j) ∃x ∼Cx
9) Alguém não gosta da Ana 20) Nenhum homem é vegetal
e) Cx → ∼Sx l) ∀x (Sx → ∼Cx)
10) Alguém é ateu 21) Algum homem é sábio f) ∃x (Fxm ∨ Fxj) m) ∃x (Sx ∧ ∼Cx)

11) Alguém não é ateu 22) Algum homem não é sábio

 A– SIMBOLIZAÇÃO DA LINGUAGEM NATURAL PARA LQ ❶
1) Maria ama João 7) Alguém ama Maria 13) Nem todos gostam de filosofia
Amj ∃x A m ∃x Axm ∼ ∀x Gxf
m A j ∼ ∀x G f

2) João ama Maria 8) Maria ama alguém 14) Tudo é ser

j A m
Ajm m ∃x ∃x Amx ∀x Sx
A ∀x S

3) Ela ama João 9) Alguém não gosta da Ana 15) Todos gostam de alguém

x A j
Axj ∃x ∼ Gxa ∀x ∃x Gxx
∃x ∼ G m ∀x G ∃x

4) Ela o ama 10) Alguém é ateu 16) Alguém gosta de todos

Axy ∃x Ax ∃x ∀x Gxx
x y A ∃x A ∃x G ∀x

5) José não ama Maria 11) Alguém não é ateu 17) José ama Ana e fica com Maria

∼ Ajm ∃x ∼ Ax Aja ∧ Fjm

j ∼ A m ∃x ∼ A j A a ∧ F m

12) Todos gostam de filosofia 18) Se Ana ama João, então ela é fiel
6) Ele não a ama
∼ Axy ∀x Gxf a A j → a F Aaj → Fa
x ∼ y A ∀x G f
A– SIMBOLIZAÇÃO DA LINGUAGEM NATURAL PARA LQ ❷

SIMBOLIZAÇÃO DAS PROPOSIÇÕES ARISTOTÉLICAS

 UNIVERSAL AFIRMATIVA (A) Todo S é P  PARTICULAR AFIRMATIVA (I) Algum S é P

19) Todo homem é animal 21) Algum homem é sábio
Para todo x, se x é homem, então x é mortal Existe um x, tal que x é homem e x é sábio

∀x x H → x A ∃x x H ∧x S

∀x (Hx → Ax) ∃x (Hx ∧ Sx)

 UNIVERSAL NEGATIVA (E) Todo S não é P  PARTICULAR NEGATIVA (O) Algum S não é P
20) Nenhum homem é vegetal 22) Algum homem não é sábio
Todo homem não é imortal Todo homem não é sábio
Para todo x, se x é homem, então x não é vegetal Existe um x, tal que x é homem e x não é sábio

∀x x H → x∼ V ∃x x H ∧x ∼ S

∀x (Hx → ∼ Vx) ∃x (Hx ∧ ∼ Sx)

 B- SIMBOLIZAÇÃO DE LQ PARA A LINGUAGEM NATURAL
Dadas as expressões em LQ: c) Fpj → Pjp h) ∼∃x∀y Mxy
Não é verdade que algum x é mãe de todo y
Se Pedro é filho de João, então João é pai de Pedro
j: João S: ..... é solteiro/a Não é verdade que alguém é mãe de todos
Ninguém é mãe de todos
m: Maria C: ..... é casado/a
d) ∼Faj ∧ ∼Ppj
i) ∼∀x Cx
a: Ana M: ..... é mãe de ..... Ana não é filha de João e Pedro não é pai de João
Não é verdade que todo x é casado
p: Pedro P: ..... é pai de ..... Não é verdade que todos são casados
Nem todos são casados
F: ..... é filho/a de ..... e) Cx → ∼Sx
Se ele(a) é casado(a), então não é solteiro(a) j) ∃x ∼Cx
Existe um x, tal que x não é casado
Traduzir para o português: f) ∃x (Fxm ∨ Fxj)
Existe alguém que não é casado
Alguém não é casado
Alguém é filho(a) de Maria ou alguém é filho(a) de João
a) Sa ∧ Sp l) ∀x (Sx → ∼Cx)
Alguém é filho(a) de Maria ou é filho(a) de João
Ana é solteira e Pedro é solteiro Para todos x, se x é solteiro, então x não é casado
Alguém é filho(a) de Maria ou de João Se todo x é solteiro, então não é casado
Ana e Pedro são solteiros Todo solteiro não é casado

g) ∀x∃y Fxy m) ∃x (Sx ∧ ∼Cx)

b) Mma ∧ ∼Fpm
Todos os x são filhos(as) de algum y Existe um x, tal que x é solteiro e x não é casado
Maria é mãe de Ana e Pedro não é filho de Maria Existe um x que é solteiro e não é casado
Todos são filhos(as) de alguém
Alguém é solteiro e não é casado
Algum solteiro não é casado