Bienvenido, Invitado
Nombre de Usuario: Contraseña: Recordarme
  • Página:
  • 1

TEMA: Simbolización de Predicados con Nombre Propios en LC

Simbolización de Predicados con Nombre Propios en LC 24 Jul 2013 02:38 #15225

  • Iri
  • Avatar de Iri
  • DESCONECTADO
  • Jonio
  • Mensajes: 3
¿Cómo se simboliza un predicado que contiene un nombre propio en lógica cuantificional?

Si tengo una oración como "Shakespeare escribió Hamlet", ¿cómo la debo simbolizar?

¿Tan solo como "Es"? Donde

Ex = x escribió Hamlet
S = Shakespeare
El administrador ha desactivado la escritura pública.

Re: Simbolización de Predicados con Nombre Propios en LC 24 Jul 2013 12:54 #15239

  • milo
  • Avatar de milo
  • DESCONECTADO
  • Socrático
  • Mensajes: 157
  • Gracias recibidas 124
Hola, hace tiempo que no veo lógica pero intentaré ayudar:

Lo primero es diferenciar si es monádico o políadico: 'Quevedo ERA escritor' es monádico; 'Quevedo ESCRIBIÓ el Bufón' es poliádico; también hay que diferenciar si lleva cuantificador 'Quevedo escribió ALGUNAS obras'; o no 'Quevedo lee el Quijote'.

En tu enunciado: Shakespeare escribió Hamlet, sabemos que es políadico y no lleva cuantificador. Así que tenemos:
Shakespeare= 'a' nombre del individuo
Escribió= 'E' como núcleo
Hamlet= 'b' como nombre del predicado.
COn todo sería: Eab porque Es sería igual a 'Shakespeare es escritor'.

Todo esto lo he sacado del libro Nau que me fue muy útil cuando cursé la asignatura, de todas formas espera confirmación de compañeros por si estoy equivocado.

UN saludo y disfruta de esta asignatura que es muy bonita.
Alumno grado de filosofía
Jorge Juan Montalbán Cañadas
Esta dirección electrónica esta protegida contra spam bots. Necesita activar JavaScript para visualizarla
El administrador ha desactivado la escritura pública.

Re: Simbolización de Predicados con Nombre Propios en LC 24 Jul 2013 18:50 #15244

  • Iri
  • Avatar de Iri
  • DESCONECTADO
  • Jonio
  • Mensajes: 3
¡Tienes toda la razón! ¡Gracias!:)
El administrador ha desactivado la escritura pública.
  • Página:
  • 1
Tiempo de carga de la página: 0.274 segundos