Considere el lenguaje de primer orden L de tipo <-;1 ;1> con conectivos ¬, → y ∀,
únicamente.
a) Defina L.
Se refiere a definir TERM y FORM?
Muchas gracias,
Verónica
Segundo parcial 2008, Ejercicio 1 parte a
Número de respuestas: 5
En respuesta a Veronica Viviana Pintos Fernandez
Re: Segundo parcial 2008, Ejercicio 1 parte a
Creo que no, solo que en la definición tenes que referirte a ellos como TERML y FORML
Saludos
En respuesta a Diego Pereira Barneche
Re: Segundo parcial 2008, Ejercicio 1 parte a
Igual yo en el parcial los definiría por las dudas jaja.
En respuesta a Diego Pereira Barneche
Re: Segundo parcial 2008, Ejercicio 1 parte a
Pero qué harías? Definir inductivamente TERML y FORML?
(No me quedó clara tu respuesta. Perdón que insista.)
En respuesta a Veronica Viviana Pintos Fernandez
Re: Segundo parcial 2008, Ejercicio 1 parte a
Sisi, jaja, los definiría por las dudas.
Puntos no va a restar
En respuesta a Diego Pereira Barneche
Re: Segundo parcial 2008, Ejercicio 1 parte a
Jaja.
Si seguro no resta!
Gracias!