1)todos suizos son europeos
Todos los suizos= "x
Europeos=H
"xHx
2. Todos los europeos son suizos
Son suizos=H
Todos los Europeos= "y
"yHx
3.Ningún orco es vegetariano
Ningún orco= $x
Es vegetariano=H
¬$xH
4.El mayor número primo es impar
El mayor numero primo= $x
Es impar =H
$xHx
5.El padre del padre del padre de Gimli era elfo
El padre=x
El padre=y
El padre=z
Gimli=a
Era elfo=H
Hxyza
6.Todo es de color de rosa
Todo es="x
Color de rosa=H
"xH
7.Todo el mundo teme a Sauron
7.Todo el mundo teme a Sauron
Todo el mundo="x
Teme a=H
Sauron=a
"xHa
8. Todos los elfos aman la
poesía
Todos los elfos="x
Aman la=A
Poesía=x
"xAx
9. Los elfos aman la poesía
Los elfos="x
Aman la=A
Poesía=y
"xAx
10.Todo aquel que odia a Sauron, ama a Frodo
Todo aquel="x
Que odia a=O
Sauron=a
Ama a=A
Frodo=b
"xOaAb
11.Cualquier enano desprecia a los elfos
Cualquier=$
Enano=x
Despresia a=O
Los elfos="x
$xO"x
12.Quien ama a Frodo, no odia a Sam
Quien=$
Ama a=H
Frodo=a
Odia a=O
Sam=b
$xHaO¬b
13.Alguien no teme a Sauron
Alguien=$
Teme a=B
Sauron=a
$xBa
