Duda anotación. - Githubissues

IIC1253 / IIC1253-2024-2

131 stars 3 forks source link

Duda anotación. #67

Open SrGarZito opened 2 weeks ago

SrGarZito commented 2 weeks ago

¡Buenas tardes! La pregunta es breve, ¿Es legal usar una fórmula dentro de otra fórmula? Por ejemplo:

Sea x,y,z iguales, entonces: '((x=y)=z)' en vez de '(x=y) $\wedge$ (y=z) $\wedge$ (z=x)'

♠️♥️ ¡Saludos cordiales! ♦️♣️

tdsilva1 commented 2 weeks ago

Hola! No se puede. El predicado binario "=" toma como argumento dos elementos del dominio de la interpretación (o sea, usuarios), mientras que (x=y) es un predicado, no un usuario.