INSTITUTO SUPERIOR POLITÉCNICO SUPERIOR DA CAÁLA

CIÊNCIAS DA COMPUTAÇÃO

IA:
Lógica de Primeira Ordem
Regras de Inferência
Exercícios 2
Eng. Aguinaldo Sachitue
aguinaldosachitue@gmail.com
7ª Regra- Dilema Constructivo(DC) Exemplos
Exemplos ~r p
s (q ʌ t)
p r s v ~r
q ~s p v (q ʌ t)
p v q
r v ~s
7ª Regra- Dilema Constructivo(DC) Exemplos
Exemplos ~r p
s (q ʌ t)
p r s v ~r
q ~s p v (q ʌ t)
p v q
r v ~s
Exercicio 1 : Determina (p ʌ q)

1- (q ʌ p) v r P
2- s ~r P
3- t ~r P
4- s v t P
5- ~r v ~r DC 2,3,4
6- ~r LSD 5
7- (q ʌ p) MTP 1,6
8- (p ʌ q) Comutatividade7
8ª Regra- Ley da Adição(LA)
Exemplos
Exemplos
~r
~r v ( t ʌ s)
p
p v ~q
Exercicio 2 : Determina (s v t)

1- (p r) (~a v b) P
2- p q P
3- b s P
4- q r P
5- ~a s P
6- p r SH 2,4
7- ~a v b MP 1,6
8- s v s DC 3,5,7
9- s LSD 8
10-s v t LA 9
 Demostração Condicional

9ª Regra- Ley da
Exemplos
Bicondicional(LA)
p <-> q
Exemplos
q p
p <-> q
p q
Exercicio 3 : Determina (p t)
Demostração Condicional
1- p q P
2- q <-> s P
3- t v (r ʌ ~s) P
4- p P
5- q s LB 2
6- p s SH 1,5
7- s MP 4,6
8- (t v r) ʌ (t v ~s) Distrib 7
9- t v ~s S8
10- t MTP 7,9
11- p t Dem C 4,10
Exercicio 4: Determina (f)
Contradição
Demostração Indirecta
1- g h P p ʌ ~p
2- ~g s ~(~f) P ~q ʌ q
3- ~h ʌ q P h ʌ ~h
4- ~f P
5- ~g f Dupla N 2 etc...
6- ~h S3
7- ~g MTT 1,6
8- f MP 5,7
9- f ʌ ~f Adj. 4,8
 Inferência Lógicas- Problemas
Si a baleia é um mamifero então toma oxigénio do ar.
Si toma Oxigénio do ar, então não necesita branquias.
A baleia é um mamifero e habita no oceáno.
Por tanto habita no oceáno e não necesita branquias.

Dem: s ʌ ~r
p=“A baleia é um mamifero ”
q=“ A baleia toma oxigénio do ar” 1) p q
r=“ A baleia necesita branquias ” 2) q ~r
s=“ A baleia habita no oceáno ” 3) p ʌ s
 Si o relojo esta adiantado, então João chegou antes das dez e viu partir
o carro de André.
Si André disse a verdade, entao João não viu partir o carro de Andre .
Andre disse a verdade ou estava no edificio no momento do crime.
O relojo esta adiantado.
Por tanto, Andre estava no edificio no momento do crime.

Dem: t
p=“ O relojo esta adiantado”
q=“João chegou antes das dez”
1) p (q ʌ r)
r=“João viu o carro partir”
2) s ~r
s=“ Andre disse a verdade”
3) svt
t=“ Andre estava no edificio no momento do crime”
4) p