sdfj
Páginas: 4 (794 palabras)
Publicado: 27 de agosto de 2013
MINISTERIO DE EDUCACION
JAFFAR SANTOS
11 CIENCIAS
SEMANA 6
En el siglo XX se han desarrollado varios sistemas lógicos, antiguamenteexistía y aun existe el debate si se habla de una logica o varios sistemas lógicos.
Un sistema lógico está compuesto por:
1.Un conjunto de símbolos primitivos (el alfabeto).
2.Un conjunto de reglas deformación que nos dicen como construir formas a partir de los símbolos primitivos.
3.Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula bien formada.
4.Un conjunto dereglas de inferencia.
Estos cuatro elementos completan la parte sintáctica de un sistemas lógicos. Sin embargo, todavía no se ha dado ningún significado a los símbolos discutidos, y de hecho, unsistema lógico puede definirse sin tener que hacerlo. Tal tarea corresponde al campo llamado semántica formal, que se ocupa de introducir un quinto elemento:
5.Una interpretación formal. En los lenguajesnaturales, una misma palabra puede significar diversas cosas dependiendo de la interpretación que se le dé
MATERIA: LOGICA
2013MINISTERIO DE EDUCACION
JAFFAR SANTOS
11 CIENCIAS
SEMANA6
MATERIA: LOGICA
2013MINISTERIO DE EDUCACION
JAFFAR SANTOS
11 CIENCIAS
SEMANA 6
En el siglo XX se han desarrollado varios sistemas lógicos, antiguamente existía y aun existe el debatesi se habla de una logica o varios sistemas lógicos.
Un sistema lógico está compuesto por:
1.Un conjunto de símbolos primitivos (el alfabeto).
2.Un conjunto de reglas de formación que nos dicencomo construir formas a partir de los símbolos primitivos.
3.Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula bien formada.
4.Un conjunto de reglas de inferencia.Estos cuatro elementos completan la parte sintáctica de un sistemas lógicos. Sin embargo, todavía no se ha dado ningún significado a los símbolos discutidos, y de hecho, un sistema lógico puede...
JAFFAR SANTOS
11 CIENCIAS
SEMANA 6
En el siglo XX se han desarrollado varios sistemas lógicos, antiguamenteexistía y aun existe el debate si se habla de una logica o varios sistemas lógicos.
Un sistema lógico está compuesto por:
1.Un conjunto de símbolos primitivos (el alfabeto).
2.Un conjunto de reglas deformación que nos dicen como construir formas a partir de los símbolos primitivos.
3.Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula bien formada.
4.Un conjunto dereglas de inferencia.
Estos cuatro elementos completan la parte sintáctica de un sistemas lógicos. Sin embargo, todavía no se ha dado ningún significado a los símbolos discutidos, y de hecho, unsistema lógico puede definirse sin tener que hacerlo. Tal tarea corresponde al campo llamado semántica formal, que se ocupa de introducir un quinto elemento:
5.Una interpretación formal. En los lenguajesnaturales, una misma palabra puede significar diversas cosas dependiendo de la interpretación que se le dé
MATERIA: LOGICA
2013MINISTERIO DE EDUCACION
JAFFAR SANTOS
11 CIENCIAS
SEMANA6
MATERIA: LOGICA
2013MINISTERIO DE EDUCACION
JAFFAR SANTOS
11 CIENCIAS
SEMANA 6
En el siglo XX se han desarrollado varios sistemas lógicos, antiguamente existía y aun existe el debatesi se habla de una logica o varios sistemas lógicos.
Un sistema lógico está compuesto por:
1.Un conjunto de símbolos primitivos (el alfabeto).
2.Un conjunto de reglas de formación que nos dicencomo construir formas a partir de los símbolos primitivos.
3.Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula bien formada.
4.Un conjunto de reglas de inferencia.Estos cuatro elementos completan la parte sintáctica de un sistemas lógicos. Sin embargo, todavía no se ha dado ningún significado a los símbolos discutidos, y de hecho, un sistema lógico puede...
Leer documento completo
Regístrate para leer el documento completo.