Qu es un sistema formal 1
Páginas: 2 (350 palabras)
Publicado: 15 de agosto de 2015
¿QUÉ ES UN SISTEMA
FORMAL?
DEFINICIÓN
• En lógica, un sistema formal es una estructura
abstracta con la cual se pretende dar cuenta del
concepto de “deducción”. Todo sistema formal
tiene unvocabulario primitivo que, junto con una
sintaxis, determina qué tipo de cosas pueden
hacer parte de él. A esto último, se le denomina
“fórmulas bien formadas del sistema”. Además, un
sistema formal tienetambién un conjunto de
reglas que permiten producir (deducir) nuevas
fórmulas bien formadas. Por otra parte, un sistema
formal quiere dar cuenta de alguna estructura
análoga; esto es, quiere analizar laestructura de
otra cosa diferente al sistema formal mismo.
VEAMOS UN EJEMPLO: SISTEMA ABC
• [A, B, C]
• (XY)n -> Z |X
• AB -> C
• AC -> B
• BC -> A
Vocabulario
Sintaxis
ReglasFórmulas
bien
formadas
• ¿?
¿CUÁLES DE LAS SIGUIENTES SON FÓRMULAS
BIEN FORMADAS DEL SISTEMA ABC?
•
•
•
•
•
•
•
•
•
•
BA -> C
(AC)(BC) -> C
((BC) (AC)) (AB)
((AC) (AB)) (AC)
(AC) (AB) -> C
AB -> C
((AC)(AB)) (AC)
AC -> B
((AC) (AB)) (AB)
((AC) (AB)) (AB)
-> C
-> C
-> B
-> C
-> B
¿EXISTEN LAS SIGUIENTES FÓRMULAS
EN EL SISTEMA?
•
•
•
•
•
Tres términos cuyo resultado sea A
Dos términos cuyoresultado sea A
Cuatro términos
Cinco términos
Seis términos
LAS LENGUAS NATURALES SON
SISTEMAS FORMALES COMPLEJOS
• Palabras y categorías
• Dada por las reglas
• Determinan las
combinaciones
posibles ygramaticales
Vocabulario
Sintaxis
Reglas
Fórmulas
bien
formadas
• Gramaticales
¿CUÁLES DE LAS SIGUIENTES SON
FÓRMULAS BIEN FORMADAS EN ESPAÑOL?
•
•
•
•
•
•
La facultad
El facultad
Pedro Perézconfiero poder a José Rodríguez.
Pedro Peréz confiere poder a José Rodríguez.
Las ideas rojas verdes de múltiples colores
La facultad de comunicación son muy escasas en el
país.
• La transformación dela materia prima extraída de
las mimas nacionales no se hace en nuestro país,
sino en otros, los cuales se ven mayormente
beneficiados con tal proceso.
• El exceso de alcohol que se comprobará en...
FORMAL?
DEFINICIÓN
• En lógica, un sistema formal es una estructura
abstracta con la cual se pretende dar cuenta del
concepto de “deducción”. Todo sistema formal
tiene unvocabulario primitivo que, junto con una
sintaxis, determina qué tipo de cosas pueden
hacer parte de él. A esto último, se le denomina
“fórmulas bien formadas del sistema”. Además, un
sistema formal tienetambién un conjunto de
reglas que permiten producir (deducir) nuevas
fórmulas bien formadas. Por otra parte, un sistema
formal quiere dar cuenta de alguna estructura
análoga; esto es, quiere analizar laestructura de
otra cosa diferente al sistema formal mismo.
VEAMOS UN EJEMPLO: SISTEMA ABC
• [A, B, C]
• (XY)n -> Z |X
• AB -> C
• AC -> B
• BC -> A
Vocabulario
Sintaxis
ReglasFórmulas
bien
formadas
• ¿?
¿CUÁLES DE LAS SIGUIENTES SON FÓRMULAS
BIEN FORMADAS DEL SISTEMA ABC?
•
•
•
•
•
•
•
•
•
•
BA -> C
(AC)(BC) -> C
((BC) (AC)) (AB)
((AC) (AB)) (AC)
(AC) (AB) -> C
AB -> C
((AC)(AB)) (AC)
AC -> B
((AC) (AB)) (AB)
((AC) (AB)) (AB)
-> C
-> C
-> B
-> C
-> B
¿EXISTEN LAS SIGUIENTES FÓRMULAS
EN EL SISTEMA?
•
•
•
•
•
Tres términos cuyo resultado sea A
Dos términos cuyoresultado sea A
Cuatro términos
Cinco términos
Seis términos
LAS LENGUAS NATURALES SON
SISTEMAS FORMALES COMPLEJOS
• Palabras y categorías
• Dada por las reglas
• Determinan las
combinaciones
posibles ygramaticales
Vocabulario
Sintaxis
Reglas
Fórmulas
bien
formadas
• Gramaticales
¿CUÁLES DE LAS SIGUIENTES SON
FÓRMULAS BIEN FORMADAS EN ESPAÑOL?
•
•
•
•
•
•
La facultad
El facultad
Pedro Perézconfiero poder a José Rodríguez.
Pedro Peréz confiere poder a José Rodríguez.
Las ideas rojas verdes de múltiples colores
La facultad de comunicación son muy escasas en el
país.
• La transformación dela materia prima extraída de
las mimas nacionales no se hace en nuestro país,
sino en otros, los cuales se ven mayormente
beneficiados con tal proceso.
• El exceso de alcohol que se comprobará en...
Leer documento completo
Regístrate para leer el documento completo.