Usuario:Rafagarcia/ejercicio 5

Página 21, Ejercicio 3.

3)Identifique las proposiciones átomicas de las siguientes oraciones y remplácelas por símbolos preposicionales. Desués, tradzca las oraciones al cálculo preposicional.

• a) Si no te vas, llamaré a la policía.

• b) Dos niños tienen los mismos tíos si y sólo si tienen la misma madre yel mismo padre.

• c) Es un día agradable si está soleado, pero sólo si no hace calor.

• d)Si i>j, entonces i-1>j, sino j=3.

Solución: Para la resolución del siguente problema, se tomaran las frases dadas, y las reduciremos al máximo para obtener sus prepociciones átomicas, para luego traducirlas al cálculo preposicional.

• a) P(x)= " Si no te vas" ; Q(x)= " Llamaré a la policía"

   P(x)$\Rightarrow \;$Q(x)

• b) P(x)= "Dos niños, con los mismos tíos" ; Q(x)= "Misma madre" ; R(x)= "Mismo padre"

   [P(x)$\Leftrightarrow \;$[Q(x)$\wedge \;$R(x)]]

• c) P(x)= "Hace sol" ; Q(x)= "Día agradable" ; R(x)= "Hace calor"

   [[P(x)$\Rightarrow \;$Q(x)]$\Leftrightarrow \;$ $\sim \;$R(x)]

• d) P(x)= " i>j " ; Q(x)= " i-1>j " ; R(x)= " j=3 "

   [[P(x)=$\Rightarrow \;$Q(x)]$\Rightarrow \;$ R(x)]