EXERCÍCIOS LÓGICA DE PRIMEIRA  requisitos, também cursou os pré­requisitos.

Se fossemos representar estas sentenças em LP, 
ORDEM ­ MODELOS 7. Construa uma teoria em Lógica clássica de  teríamos: p, q ╞r e não poderíamos
Lógica – Prof. Tacla (UTFPR/Curitiba) primeira ordem que permita representar as demonstrar que a conclusão r é consequência 
assuntos: expressividade LP x LPO; modelos categorias de objetos, suas relações e funções de  lógica de p e q.
Conceituais acordo com os requisitos abaixo
1. Explique a diferença em expressividade da  (observe que cada item abaixo não é  questão 2
Lógica Proposicional da Lógica de Primeira necessariamente uma sentença em LPO). Teoria é Em LP, um modelo (ou avaliação) de uma 
Ordem. Mostre, num exemplo, o ganho de  o fórmula ϕ é uma associação de um valor lógico a
expressividade da LPO em relação à LP. conjunto de símbolos funcionais e de predicados  cada proposição atômica presente em φ (Huth e 
2. O que é um modelo em Lógica Proposicional?  (colocar uma explicação em português ao Ryan, 2008, pg. 29).
Exemplifique os conceitos de lado de cada símbolo).
satisfazibilidade, insatisfazibilidade e validade  todo professor é uma pessoa; questão 3
utilizando tabelas­verdade. todo professor titular é um professor; Um modelo em LPO permite avaliar ou valorar as
3. O que é um modelo em Lógica de Predicados?  todo departamento é uma organização; fórmulas. Modelos são uma
É possível comparar um modelo LP com um disciplinas tem pessoas matriculadas; caracterização negativa da LPO enquanto as 
de LPO? todo estudante é uma pessoa que está matriculada  demonstrações são uma caracterização
Construção de Modelos em ao menos uma disciplina; positiva da LPO (Huth e Ryan, 2008, pg. 93). 
4. Construa um modelo de acordo com o que for  todo departamento tem um e somente um chefe e  Modelos são caracterizações negativas pois é
pedido. A figura representa um mundo este chefe deve ser um professor titular. mais fácil encontrar um modelo que não satisfaça 
formado por pessoas e cachorros bem como pelas  8. Defina formalmente um modelo consistente  uma teoria do que encontrar todos os
relações apresentadas, construa uma com a teoria construída na questão anterior. modelos que satisfaçam um teoria.
teoria em LPO que represente pessoas e cachorros Modelo envolve a definição de objetos, das  Basicamente, um modelo em LP consistem em 
como objetos distintos; extensões dos predicados, dos mapeamentos atribuir valorações às proposições. Em
• a relação Dono entre pessoas e cachorro; funcionais e dos contextos que tornam as  LPO, um modelo consistem em definir um 
• melhor amigo: alguém só tem um melhor amigo fórmulas verdadeiras (para cada uma delas).  domínio (um conjunto de valores) e o 
• Somente pessoas são donas de algo.
• Somente cachorros podem pertencer a outrem. RESPOSTAS 4
• Há alguém cujo melhor amigo é um cão. significado extensional dos símbolos de 
Construa o modelo que represente o mundo ao  questão 1: predicados, funções e constantes. São
lado e diga se ele é consistente com a teoria Em LP podemos fazer proposições acerca do  comparáveis pois ambos consistem em fazer 
(explique porque é ou não é). Caso não seja,  mundo mas com um refinamento menor do avaliações das proposições/fórmulas.
mude o modelo para que se torne consistente e que as sentenças declarativas que podemos  QUESTÃO 4
vice­versa. Demonstre que entendeu a diferença  utilizar em LPO, notadamente, em razão do ­­X­­
entre termo e fórmula por meio de exemplo. emprego dos quantificadores, variáveis e  QUESTÃO 5
5. Construa uma teoria em lógica de primeira  constantes que representam indivíduos ou ­­X­­
QUESTÃO 6:
ordem que dê conta de representar o desenho objetos de um domínio.
dos cubos utilizando os predicados  TEORIA Γ
Exemplo:
• g(x) que significa x é green e  1) ∃x∃y∃z (o(x,y) ∧ o(y,z) ∧ x=a ∧ x=b ∧ x=c )
1) fonte:
• o(x, y) que significa cubo x está sobre cubo y. 2) ∃x (g(x) ∧ x=a)
http://www.dsc.ufcg.edu.br/~lbmarin 3) ∃x ((g(x) or ¬g(x)) ∧ x=b)
• As constantes a, b e c para representar os cubos
ho/slides/mdl_2011_1/logica.pdf 4) ∃x ( ¬g(x) ∧ x=c)
A teoria deve ser restritiva, isto é, só pode 
A lógica proposicional possui expressividade  Há um cubo verde sobre um não verde?
permitir a construção de modelos com 3 cubos
limitada, por exemplo: α = ∃x ∃y (g(x) ∧ o(x,y) ∧ ¬g(y))
onde eles estão sempre um em cima do outro; um 
“x > 3", “x = y + 3", “x + y = z " não possuem  Só é possível construir dois modelos que 
cubo sempre tem cor verde, outro, não,
valor verdade (a menos que as variáveis satisfaçam todas as fórmulas da teoria Γ:
e um terceiro tem cor desconhecida sempre 
assumam valores específicos). MODELO 1: 
dispostos como na figura.
Na lógica de predicados, consegue­se  om = {(a, b), (b,c)}
representar estas expressões facilmente. Seja P gm = {a}
(x ) a sentença “x > 3". Quais os valores verdade  a ­> cubo superior
2
de b ­> cubo do meio
Depois de construir a teoria, demonstre pela 
P (4) e P (2) para o domínio dos números  c ­> cubo inferior
construção de modelos que a sentença α = Há
inteiros? Como P (4) corresponde a “4 > 3", MODELO 2: 
um cubo verde sobre um não verde é 
então P (4) é verdadeira e P(2) é falsa.  om = {(a, b), (b,c)}
consequência lógica da teoria e é válida
2) fonte: gm = {a, b}
Passos: 
http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplin a ­> cubo superior
• Construa a teoria em sentenças da LPO
as/ComputacaoI/Material/SolucaoP b ­> cubo do meio
• Represente a sentença α em LPO
roblemas/Logica,%20Raciocinio c ­> cubo inferior
• Encontre e represente os modelos e contextos 
%20Automatizado%20e%20Prolog%20­ 1) Para α ser consequência lógica de Γ, para 
necessários para construir a
%20Silvio%20do%20Lago%20Pe.pdf todo modelo M e em todos os
demonstração. 
Há vários tipos de argumentos que não podem ser contextos l, toda vez que as fórmulas de Γ são 
6. Construa uma teoria e a represente em lógica 
expressos em LP. Como exemplo, satisfeitas, α também é satisfeita.
de primeira ordem que dê conta da seguinte
considere o seguinte argumento:
situação. Um curso de graduação possui várias  Γ╞ α ?
Sócrates é homem.
disciplinas. Algumas destas disciplinas Temos que α é consequência lógica da teoria:
Todo homem é mortal.
possuem um ou mais pré­requisitos. Um aluno  Modelo 1 (contexto para as 4 fórmulas da teoria e 
Logo, Sócrates é mortal.
que cursou uma disciplina que tem pré­ para a fórmula alfa):
1. l(x) = a, l(y) = b, l(z) =c 2. l(x) = a concluir que α é verdadeira.
2. l(x) = a 3. l(x) = b QUESTÃO 7.
3. l(x) = b 4. l(x) = c Uma alternativa seria definir chefe como uma 
4. l(x) = c 5. l(x) = b, l(y) = c satisfaz a fórmula α função:
2) Para α ser válida, α deve ser verdadeira para  Chefe: depto → prof // função MAPEIA 
todo modelo M e em todos os departamentos para professores
5 contextos l. Neste caso, a fórmula 5 ficaria:
5. l(x) = a, l(y) = b satisfaz a fórmula α M ╞ α ? Ax Ey (dep(x) → tit(chefe(x)) 
Modelo 2 (contexto para as 4 fórmulas da teoria e Como só é possível definir os MODELOS 1 E 2 e http://www.dainf.ct.utfpr.edu.br/~tacla/logica/Exe
para a fórmula alfa): αé verdadeira para os dois, podemos rcicios/ExLPO­05­modelosSol.pdf
1. l(x) = a, l(y) = b, l(z) =c