Expresar en lógica de primer orden:

Alrededor de los satélites no giran objetos:

(∀x)[satélite(x) → ¬(∃y)gira(y, x)]
Hay exactamente un satélite:
(∃x)[satélite(x) ∧ (∀y)[satélite(y) → x = y]]
La Luna es un satélite de la Tierra:
satélite(Luna, Tierra)
gira(Luna,Tierrra)
La tierra no tiene satélites:
¬(∃x)satélite(x, Tierra)
Algún planeta no tiene satélites:
(∃x)[planeta(x) ∧ ¬(∃y)satélite(y, x)]
Solo los planetas tienen satélites:
(∀x)[(∃y)satélite(y, x) → planeta(x)]
Todo satélite es satélite de algún planeta:
(∀x)[satélite(x) → (∃y)(planeta(y) ∧ satélite(x, y)]
La Luna no gira alrededor de dos planetas diferentes:
¬(∃x)(∃y)[planeta(x) ∧ planeta(y) ∧ gira(Luna, x) ∧ gira(Luna, y) ∧ x ≠ y]
Hay exactamente dos planetas:
(∃x)(∃y)[planeta(x) ∧ planeta(y) ∧ x≠ y ∧ (∀z)[planeta(z) → (z = x ∨ z = y)]]

2. Considere un vocabulario con sólo cuatro proposiciones, A, B, C, y D. ¿Cuántos

modelos hay para las siguientes sentencias?
a) (A B) (B  C)
( A  B )  ( B  C ) V=13 x 2 = 6
1 1 1 1 1 1 1
1 1 1 1 1 0 0
1 0 0 0 0 0 1
1 0 0 0 0 0 0
0 1 1 1 1 1 1
0 1 1 1 1 0 0
0 0 0 0 0 0 1
0 0 0 0 0 0 0

b) A ∨B
A v B
1 1 1
1 1 0
0 1 1
 0 0 0 V=2  3 x 4 = 16

c) A ⇔B ⇔C
( A ⇔ B ) ⇔ C V= 1  4 x 2 = 8
1 1 1 1 1
1 1 1 0 0
1 0 0 0 1
1 0 0 1 0
0 0 1 0 1
0 0 1 1 0
0 1 0 1 1
0 1 0 0 0

4. Demuestre cada una de las siguientes sentencias, si es válida, insatisfacible o ninguna de

las dos cosas. Verifique su decisión usando tablas de verdad o las equivalencias.

a) Smoke = s
s s
s
valida
b) Smoke = s Fire = f
sf
svf
 s v f
0 1 1
0 0 0
1 1 1
 1 1 0

No valida
c) Smoke = s Fire= f
( s  f )  (  s   f )
1 1 1 1 0 1 0
1 0 0 1 0 1 1
0 1 1 0 0 0 0
0 1 0 1 0 1 1

Invalida
d) Smoke = s Fire= f

s v ( f v  f )
1 1 1 1 0
1 1 0 1 1
0 1 1 1 0
0 1 0 1 1

Valida
e) Smoke= s Heat = h fire = f
(( s  h )  f ) ⇔ (( s  f ) v ( h  f))
(  ( s  h) v f ) ⇔ (svf)v(hvf)
(  s v  h ) v f) ⇔ svh vfvf
svh vf ⇔ svh vf
Valida
f) Smoke= s Heat = h fire = f
( ( s  f )  ( ( s  h )  f )
1 1 1 1 1 1 1 1 1
1 1 1 1 1 0 0 1 1
1 0 0 1 1 1 1 0 0
1 0 0 1 1 0 0 1 0
0 1 1 1 0 0 1 1 1
0 1 1 `1 0 0 0 1 1
0 1 0 1 0 0 1 1 0
0 1 0 1 0 0 0 1 0
Valida
g) Big= b Dumb= d

b v d v ( b  d )
1 1 1 1 1 1 1
1 1 0 1 1 0 0
0 1 1 1 0 1 1
0 0 0 1 0 1 0

Valido
h) Big= b Dumb= d
( b  d ) v  d
1 1 1 1 0
1 0 0 1 1
0 0 1 0 0
0 0 0 1 1

Invalido