domingo, 11 de septiembre de 2011

Formalización Tercera

FORMALIZACIÓN EN LENGUAJE FORMAL

Podemos asociar cada dato con una letra.Por ejemplo:

F(forestales),A(agricolas),E(aeronauticos),I(informatica),N(industriales)//R(hab. roja),Z(hab. azul),M(hab. amarilla),V(hab. verde),B(hab. blanca)//P(primera hab.),S(segunda hab.),T(tercera hab.),C(cuarta hab.),Q(quinta hab.)//U(tuenti),W(twiter),K(facebook),G(google+),L(linkedin)//Rg(rugby),Ba(baloncesto),Tn(tenis),Cu(curling),Pt(petanca).

Con los datos que nos dan podemos asociar las diferentes letras entre sí mediante símbolos del lenguaje formal:
^(y),v(o),  ¬(no),  ®(si...entonces)

Como sabemos que el de informática vive en la primera habitación y que vive al lado de la habitación azul, entonces sabemos que la habitación azul está al lado de la primera, es decir, que es la segunda.Estas deducciones se pondrían en lenguaje formal de la siguiente manera:

(I^P) ®Z=S
(V^B) ®V¬Q
(M^R) ®G¬M

Hacerlo de esta manera tendría muchas complicaciones, porque habría que pasar por alto la situación espacial de las habitaciones, lo que causaría confusión a la hora de colocar los datos, pasando por alto el hecho de que con tantos datos como disponemos nos quedaríamos sin letras por los que sustituirlos.

No hay comentarios:

Publicar un comentario